Butikové audity.S pomocí AI, ověřené lidmi.
Náš vlastní model nejdřív přečte každý řádek. Senior výzkumníci každý nález prokážou a podepíšou. Pevná cena za méně než 12 hodin, zpráva za 3 dny.
- Pevná cena
- Kontrola oprav v ceně
- 7 dní v týdnu
Pět skutečných exploitů se přehrává postupně: každý kontrakt se sám napíše, sken označí chybu a poznámka řekne, kolik stála a jak se opravuje.
- The DAO, 2016-06-17: Vysáto 3,6 mil. ETH. splitDAO vyplácelo odměnu externím voláním dřív, než vynulovalo zůstatek, takže útočník vstupoval znovu a dělil tytéž tokeny pořád dokola. Vynulovat zůstatek před každým externím voláním.
- Parity Multisig, 2017-11-06: Zmrazeno 513 774 ETH. Sdílená knihovna nebyla nikdy inicializována, takže kdokoli mohl zavolat initWallet, stát se vlastníkem a zničit ji přes kill. Každá peněženka, která na ni delegovala, zamrzla. Inicializovat knihovnu při nasazení a nedávat jí sebezničení.
- Wormhole, 2022-02-02: 120 000 wETH, cca 325 mil. $. verify_signatures četlo ověření podpisů z účtu, který zvolil volající, a nikdy neověřilo, že jde o sysvar instrukcí. Podvržený prošel jako plné schválení strážců. Použít load_instruction_at_checked, které ověřuje adresu sysvaru.
- Nomad Bridge, 2022-08-01: Vysáto cca 190 mil. $. Upgrade nastavil důvěryhodný root na 0x00. Neprokázaná zpráva dává 0x00, takže process přijímal každou zprávu a stovky napodobitelů zopakovaly tu první. Nikdy nepotvrzovat nulový root a odmítat neprokázané zprávy.
- Euler Finance, 2023-03-13: Vysáto cca 197 mil. $. donateToReserves pálilo eTokeny bez kontroly, zda dárce zůstává solventní. Útočník se darem dostal do špatného dluhu a pak se sám zlikvidoval se slevou. Po daru ověřit likviditu, stejně jako u jiných výběrů.
- auditů
- 180
- kritických nálezů
- 63
- do nabídky
- 12 hodin
- do zprávy
- 3 dny
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
Co auditujeme
- 19 // Burn DAO Tokens20 Transfer(msg.sender, 0, balances[msg.sender]);22 totalSupply -= balances[msg.sender];24 paidOut[msg.sender] = 0;25 return true;VysokáH-01Zůstatek zapsán až po externím volání
- EVM1-3 dny
- Solana2-3 dny
- Move1-3 dny
- Reakce na incidentyNejpozději za 2 hodiny
Náš vlastní model
Doladili jsme DeepSeek-V4.1 na 2 140 skutečných exploitech a 380 vlastních pentestech. Čte každý řádek dřív než výzkumník; každý jeho nález výzkumník prokáže a podepíše.
- Základní model
- DeepSeek-V4.1
- Trénováno na
- 2 140 exploitů a 380 pentestů
- V auditu
- První průchod, pak člověk
Dva 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.