Viedo līgumu un Web3 drošības audits

Mūsu galvenais pārklājums ir Solidity un ar EVM saderīgi tīkli, tostarp Ethereum un izplatītas otrā slāņa platformas, piemēram, Arbitrum, Optimism, Base un Polygon. Solana/Rust vai uz Move balstītu tīklu pārklājumu apstiprinām atsevišķi. Tvēruma noteikšanas laikā iesniedziet repozitoriju, fiksēto koda versiju un mērķa tīklus, lai pirms darba sākšanas varētu apstiprināt vajadzīgo kompetenci.

Manuālā pārskate ir audita pamatā. Analizējam līgumu loģiku, privilēģiju robežas un ekonomiskos pieņēmumus, tostarp atkārtotas ieiešanas (re-entrancy), piekļuves kontroles, orākulu manipulācijas, flash-loan uzbrukumu, aritmētikas/precizitātes noapaļošanas, MEV un jaunināmības riskus. Tādi rīki kā Slither un Mythril, kā arī fuzz un invariantu testēšana ar Foundry vai Echidna papildina pārskati un pārbauda robežgadījumus, bet neaizstāj cilvēka analīzi.

Neviens uzticams audits nevar garantēt, ka līgumā nav kļūdu vai ka to nav iespējams izmantot. Audits samazina risku saskaņotajā koda versijā, tvērumā, pieņēmumos un pieejamajā laikā, identificējot atrastās problēmas un palīdzot tās novērst. Jauns kods, atkarības, integrācijas, pārvaldības izmaiņas vai tirgus apstākļi pēc audita var radīt papildu risku.

MiCA nosaka licencēšanas un pastāvīgus pienākumus attiecīgajiem kriptoaktīvu emitentiem un pakalpojumu sniedzējiem, taču viedo līgumu audits nav universāls regulatīva apstiprinājuma mehānisms. Dokumentēts audits var pamatot IKT un drošības pienācīgu pārvaldību, ja tas ir atbilstoši izmantotajai tehnoloģijai un riska profilam. Projekta tvērumu un ziņojumu var strukturēt piemērojamās atbilstības vajadzībām, neapgalvojot regulatīvu apstiprinājumu.

DORA ir spēkā kopš 2025. gada 17. janvāra un attiecas uz kriptoaktīvu pakalpojumu sniedzējiem, kas licencēti saskaņā ar MiCA, papildinot MiCA ar IKT riska pārvaldības, noturības testēšanas un IKT trešo pušu riska pienākumiem. Viedā līguma audits pats par sevi nav DORA kontrole, taču ziņojumu var strukturēt kā drošības testēšanas pierādījumu jūsu IKT riska ietvarā. Mūsu DORA atbilstības un noturības testēšanas pakalpojums aptver plašāko programmu, tostarp uz draudiem balstītu testēšanu, ja tā attiecas uz jums.

Nē. Koda audits novērtē ķēdē esošo līguma loģiku, nevis operacionālo virsmu ap to – parakstītāju ierīces, multisig apstiprināšanas darbplūsmas, darījumu parakstīšanas saskarnes un atslēgu pārvaldību. Vairāki no 2025. gada lielākajiem zaudējumiem radās šajā virsmā, nevis līguma kļūdas dēļ. To novērtējam ar mūsu Red team un uzbrucēja darbību emulācijas, Sociālās inženierijas novērtējuma un Piegādes ķēdes drošības un SBOM pakalpojumiem, kurus var apvienot ar auditu.