Zum Inhalt springen

Boutique-Audits.KI-gestützt, von Menschen geprüft.

Unser eigenes Modell liest zuerst jede Zeile. Senior-Researcher beweisen und signieren jeden Befund. Festpreis in unter 12 Stunden, 3 Tage bis zum Bericht.

Angebot anfragen

Fünf echte Exploits laufen nacheinander ab: Jeder Vertrag tippt sich selbst, der Scan markiert die Schwachstelle, und eine Notiz sagt, was er gekostet hat und wie er behoben wird.

  • The DAO, 2016-06-17: 3,6 Mio. ETH abgezogen. splitDAO zahlte die Belohnung per externem Aufruf aus, bevor das Guthaben auf null stand. Der Angreifer rief erneut auf und teilte dieselben Token immer wieder. Das Guthaben vor jedem externen Aufruf auf null setzen.
  • Parity Multisig, 2017-11-06: 513.774 ETH eingefroren. Die gemeinsame Bibliothek war nie initialisiert. Jeder konnte initWallet aufrufen, Eigentümer werden und sie mit kill zerstören. Jede Wallet, die an sie delegierte, fror ein. Die Bibliothek beim Deployment initialisieren und ihr kein Selbstzerstören geben.
  • Wormhole, 2022-02-02: 120.000 wETH, ca. 325 Mio. $. verify_signatures las die Signaturprüfung aus einem Konto, das der Aufrufer wählte, und prüfte nie, ob es der Instructions-Sysvar war. Ein gefälschtes galt als volle Guardian-Freigabe. load_instruction_at_checked verwenden, das die Sysvar-Adresse prüft.
  • Nomad Bridge, 2022-08-01: ca. 190 Mio. $ abgezogen. Ein Upgrade setzte den vertrauten Root auf 0x00. Eine unbewiesene Nachricht ergibt 0x00, also akzeptierte process jede Nachricht, und Hunderte Nachahmer spielten die erste erneut ab. Den Null-Root nie bestätigen und unbewiesene Nachrichten ablehnen.
  • Euler Finance, 2023-03-13: ca. 197 Mio. $ abgezogen. donateToReserves verbrannte eTokens, ohne zu prüfen, ob der Spender solvent bleibt. Der Angreifer spendete sich in faule Schulden und liquidierte sich dann mit Rabatt selbst. Nach der Spende die Liquidität prüfen, wie bei jeder anderen Auszahlung.
Audits
180
kritische Funde
63
bis zum Angebot
12 Stunden
bis zum Bericht
3 Tage

Netzwerke, die wir prüfen

EVM9

  • EthereumSolidity, Vyper
  • ArbitrumSolidity, Vyper
  • OptimismSolidity, Vyper
  • BaseSolidity, Vyper
  • PolygonSolidity, Vyper
  • BNB ChainSolidity, Vyper
  • AvalancheSolidity, Vyper
  • LineaSolidity, Vyper
  • ScrollSolidity, Vyper

Solana1

  • SolanaRust, Anchor

Move2

  • SuiMove
  • AptosMove

ZK3

  • zkSyncSolidity, Vyper
  • StarknetCairo
  • Polygon zkEVMSolidity, Vyper
  • SchaltkreiseCircom, Noir

Weitere Chains3

  • CosmosCosmWasm, Rust
  • StellarSoroban, Rust
  • TONTact, FunC, Tolk

Was wir prüfen

  • 19 // Burn DAO Tokens
    20 Transfer(msg.sender, 0, balances[msg.sender]);
    21 withdrawRewardFor(msg.sender); // be nice, and get his rewards
    22 totalSupply -= balances[msg.sender];
    23 balances[msg.sender] = 0;
    24 paidOut[msg.sender] = 0;
    25 return true;
    HochH-01Guthaben erst nach dem externen Aufruf geschrieben
  • EVM1-3 Tage
  • Solana2-3 Tage
  • Move1-3 Tage
  • Incident ResponseBinnen 2 Stunden

Unser eigenes Modell

nonce-sc-1

Wir haben DeepSeek-V4.1 auf 2.140 echten Exploits und 380 eigenen Pentests feinabgestimmt. Es liest jede Zeile vor einem Researcher; jeden Befund, den es meldet, beweist und signiert ein Researcher.

Basismodell
DeepSeek-V4.1
Trainiert auf
2.140 Exploits und 380 Pentests
Im Audit
Erster Durchgang, dann ein Mensch

Zwei Wege zum Audit

Gleiche Methode, gleiche Researcher. Erweitert beweist die Bugs am Live-Zustand.

  • Quellcode

    Jede Zeile von 2 Researchern gelesen.

    ab 1.000 $

    • 2 Senior-Researcher
    • KI-Pentest mit nonce-sc-1 für jede Zeile
    • 404 Checklistenpunkte in 10 Netzwerken
    • Statische Analyse und Fuzzing in einer Sandbox
    • Jedes Finding durch 3 Prüfungen bestätigt
    • Offline-Beweis für jedes kritische und hohe Finding
    • Prüfung der Fixes inklusive
    • PDF, agentenfähiges Markdown, Portal
  • Erweitert

    Für deployte Protokolle

    Exploits am Mainnet-Zustand bewiesen.

    ab 2.000 $

    • Alles aus Quellcode
    • 3 Senior-Researcher
    • nonce-sc-1 pentestet die deployten Contracts
    • EVM-Exploits auf einem Mainnet-Fork bewiesen
    • Oracle- und Liquiditätsangriffe simuliert
    • Invarianten-Fuzzing am Mainnet-Zustand
    • Deploy-Skripte und Admin-Schlüssel geprüft
    • Deployter Code abgeglichen, täglich neu gelesen

Der Endpreis richtet sich nach Codezeilen, Chains und Frist und kommt binnen 12 Stunden.

Drei Schritte

  1. 1

    Repo senden

    Eine E-Mail und ein Link.

  2. 2

    Festpreis erhalten

    In unter 12 Stunden.

  3. 3

    Im Portal beheben

    Wir prüfen jeden Fix.

Ihr Audit im Portal

Funde, sobald wir sie finden.
Fixes, sobald Sie sie liefern.

Anmelden

Festpreis in unter 12 Stunden

Angebot anfragen