Služby
Audit smart kontraktů
Zmrazený commit, který po prvním průchodu našeho modelu čtou řádek po řádku senior výzkumníci. Pevná cena, revize oprav v ceně, veřejná zpráva, pokud ji chcete.
Získat nabídkuDva způsoby auditu
Stejná metoda, stejní výzkumníci. Pokročilý dokazuje chyby na živém stavu.
Zdrojový kód
Každý řádek čtou 2 výzkumníci.
od 1 000 US$
- 2 senior výzkumníci
- AI pentest modelem nonce-sc-1 na každém řádku
- 404 bodů checklistu v 10 sítích
- Statická analýza a fuzzing v sandboxu
- Každý nález potvrzen 3 revizemi
- Offline důkaz pro každý kritický a vysoký nález
- Kontrola oprav v ceně
- PDF, markdown pro agenty, portál
Pokročilý
Pro nasazené protokolyExploity prokázané na stavu mainnetu.
od 2 000 US$
- Vše ze Zdrojového kódu
- 3 senior výzkumníci
- nonce-sc-1 pentestuje nasazené kontrakty
- Exploity EVM prokázané na forku mainnetu
- Simulace útoků na orákula a likviditu
- Fuzzing invariantů na stavu mainnetu
- Revize deploy skriptů a admin klíčů
- Nasazený kód porovnán, denně znovu čten
Konečná cena vychází z řádků kódu, sítí a termínu a dorazí nejpozději za 12 hodin.
Tři kroky
- 1
Pošlete repozitář
E-mail a odkaz.
- 2
Získejte pevnou cenu
Za méně než 12 hodin.
- 3
Opravujte v portálu
Ověříme každou opravu.
Sítě, které auditujeme
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
- ObvodyCircom, Noir
Další sítě3
- CosmosCosmWasm, Rust
- StellarSoroban, Rust
- TONTact, FunC, Tolk
Než se kód zmrazí
Bezpečnostní revize prověří návrh, architekturu a ekonomiku, dokud je jejich změna levná.