Langsung ke konten
nonce.

Audit butik.Dibantu AI, diverifikasi manusia.

Model kami sendiri membaca setiap baris lebih dulu. Peneliti senior membuktikan dan menandatangani setiap temuan. Harga tetap dalam kurang dari 12 jam, laporan dalam 3 hari.

Minta penawaran

Lima eksploit nyata diputar bergantian: setiap kontrak mengetik dirinya sendiri, pemindaian menandai celahnya, dan catatan menjelaskan kerugian serta cara memperbaikinya.

  • The DAO, 2016-06-17: 3,6 juta ETH dikuras. splitDAO membayar imbalan lewat panggilan eksternal sebelum mengosongkan saldo, sehingga penyerang masuk kembali dan membagi token yang sama berulang kali. Kosongkan saldo sebelum panggilan eksternal apa pun.
  • Parity Multisig, 2017-11-06: 513.774 ETH dibekukan. Library bersama tidak pernah diinisialisasi, jadi siapa pun bisa memanggil initWallet, menjadi pemiliknya, lalu menghancurkannya dengan kill. Semua dompet yang bergantung padanya membeku. Inisialisasi library saat deploy dan jangan beri fungsi penghancuran diri.
  • Wormhole, 2022-02-02: 120.000 wETH, ~US$325 juta. verify_signatures membaca pemeriksaan tanda tangan dari akun yang dipilih pemanggil dan tidak pernah memastikan akun itu sysvar instructions. Akun palsu lolos sebagai persetujuan penuh guardian. Gunakan load_instruction_at_checked, yang memverifikasi alamat sysvar.
  • Nomad Bridge, 2022-08-01: ~US$190 juta dikuras. Sebuah upgrade menetapkan root tepercaya ke 0x00. Pesan tanpa bukti menghasilkan 0x00, sehingga process menerima pesan apa pun, dan ratusan peniru mengulang pesan pertama. Jangan pernah mengonfirmasi root nol, dan tolak pesan tanpa bukti.
  • Euler Finance, 2023-03-13: ~US$197 juta dikuras. donateToReserves membakar eToken tanpa memeriksa apakah donor tetap solven. Penyerang berdonasi hingga terjerat utang macet, lalu melikuidasi dirinya sendiri dengan diskon. Periksa likuiditas setelah donasi, seperti pada penarikan lainnya.
audit
180
temuan kritis
63
hingga penawaran
12 jam
hingga laporan
3 hari

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

Yang kami audit

  • 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;
    TinggiH-01Saldo ditulis setelah panggilan eksternal
  • EVM1-3 hari
  • Solana2-3 hari
  • Move1-3 hari
  • Respons insidenDalam 2 jam

Model kami sendiri

nonce-sc-1

Kami melakukan fine-tuning DeepSeek-V4.1 dengan 2.140 eksploit nyata dan 380 pentest kami sendiri. Model membaca setiap baris sebelum peneliti; setiap temuan yang diangkatnya dibuktikan dan ditandatangani peneliti.

Model dasar
DeepSeek-V4.1
Dilatih dengan
2.140 eksploit dan 380 pentest
Dalam audit
Model dulu, lalu manusia

Dua 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
    Minta penawaran

  • Lanjutan

    Untuk protokol yang sudah di-deploy

    Eksploit 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
    Minta penawaran

Harga akhir ditetapkan dari jumlah baris kode, chain, dan tenggat, dikirim dalam 12 jam.

Tiga langkah

  1. 1

    Kirim repo

    Satu email dan satu tautan.

  2. 2

    Dapatkan harga tetap

    Kurang dari 12 jam.

  3. 3

    Perbaiki di portal

    Kami verifikasi setiap perbaikan.

Audit Anda di portal

Temuan tampil saat kami menemukannya.
Perbaikan tampil saat Anda merilisnya.

Masuk

Harga tetap dalam kurang dari 12 jam

Minta penawaran