Przejdź do treści

Usługi

Audyt smart kontraktów

Zamrożony commit, czytany linia po linii przez starszych badaczy po pierwszym przejściu naszego modelu. Stała cena, przegląd poprawek w cenie, publiczny raport, jeśli chcesz.

Zapytaj o wycenę

Dwa rodzaje audytu

Ta sama metoda, ci sami badacze. Zaawansowany dowodzi błędów na rzeczywistym stanie.

  • Kod źródłowy

    Każdą linię czyta 2 badaczy.

    od 1000 USD

    • 2 starszych badaczy
    • Pentest AI modelem nonce-sc-1 na każdej linii
    • 404 punkty listy kontrolnej w 10 sieciach
    • Analiza statyczna i fuzzing w piaskownicy
    • Każde znalezisko potwierdzone 3 przeglądami
    • Dowód offline dla każdego krytycznego i wysokiego
    • Przegląd poprawek w cenie
    • PDF, markdown dla agentów, portal
  • Zaawansowany

    Dla wdrożonych protokołów

    Exploity udowodnione na stanie mainnetu.

    od 2000 USD

    • Wszystko z Kodu źródłowego
    • 3 starszych badaczy
    • nonce-sc-1 pentestuje wdrożone kontrakty
    • Exploity EVM udowodnione na forku mainnetu
    • Symulacja ataków na wyrocznie i płynność
    • Fuzzing niezmienników na stanie mainnetu
    • Przegląd skryptów wdrożenia i kluczy admina
    • Wdrożony kod porównany, codziennie sprawdzany

Cena końcowa zależy od liczby linii kodu, sieci i terminu, a przychodzi w mniej niż 12 godzin.

Trzy kroki

  1. 1

    Przesłanie repozytorium

    E-mail i link.

  2. 2

    Stała cena

    W mniej niż 12 godzin.

  3. 3

    Poprawki w portalu

    Weryfikujemy każdą poprawkę.

Sieci, które audytujemy

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
  • ObwodyCircom, Noir

Inne sieci3

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

Zanim kod zostanie zamrożony

Przegląd bezpieczeństwa sprawdza projekt, architekturę i ekonomię, póki ich zmiana jest tania.

Przegląd bezpieczeństwa