Layanan
Audit smart contract
Satu commit beku, dibaca baris demi baris oleh peneliti senior setelah lintasan pertama model kami. Harga tetap, tinjauan perbaikan sudah termasuk, laporan publik jika Anda mau.
Minta penawaranDua cara audit
Metode yang sama, peneliti yang sama. Lanjutan membuktikan bug pada state langsung.
Kode sumber
Setiap baris dibaca oleh 2 peneliti.
mulai US$1.000
- 2 peneliti senior
- Pentest AI oleh nonce-sc-1 di setiap baris
- 404 butir checklist di 10 jaringan
- Analisis statis dan fuzzing di sandbox
- Setiap temuan dikonfirmasi 3 tinjauan
- Bukti offline untuk setiap temuan kritis dan tinggi
- Tinjauan perbaikan termasuk
- PDF, markdown siap agen, portal
Lanjutan
Untuk protokol yang sudah di-deployEksploit dibuktikan pada state mainnet.
mulai US$2.000
- Semua yang ada di Kode sumber
- 3 peneliti senior
- nonce-sc-1 melakukan pentest pada kontrak yang sudah di-deploy
- Eksploit EVM dibuktikan di fork mainnet
- Simulasi serangan oracle dan likuiditas
- Fuzzing invarian pada state mainnet
- Skrip deploy dan kunci admin ditinjau
- Kode yang di-deploy dicocokkan, dibaca ulang setiap hari
Harga akhir ditetapkan dari jumlah baris kode, chain, dan tenggat, dikirim dalam 12 jam.
Tiga langkah
- 1
Kirim repo
Satu email dan satu tautan.
- 2
Dapatkan harga tetap
Kurang dari 12 jam.
- 3
Perbaiki di portal
Kami verifikasi setiap perbaikan.
Jaringan yang kami audit
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
- SirkuitCircom, Noir
Chain lainnya3
- CosmosCosmWasm, Rust
- StellarSoroban, Rust
- TONTact, FunC, Tolk
Sebelum kode dibekukan
Tinjauan keamanan memeriksa desain, arsitektur, dan ekonomi selagi masih murah untuk diubah.