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łówExploity 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
Przesłanie repozytorium
E-mail i link.
- 2
Stała cena
W mniej niż 12 godzin.
- 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.