Qligħ:
- Kapaċità li tifhem li l-intelliġenza artifiċjali tespandi l-ambitu tal-awditur, iżda ma tissostitwixha, u hija utli fl-iskannjar tal-kategorija u s-sejba tal-abbozzar.
- Li tkun kapaċi tagħraf li l-intelliġenza artifiċjali tilfet il-vulnerabbiltà oriġinali u l-iżball tal-loġika tan-negozju, u li dikjarazzjoni fluwenti "sikura" mhix assigurazzjoni
- Kapaċità li tikklassifika s-sejbiet skont il-livell ta’ serjetà tagħhom u tifhem li l-approvazzjoni finali u r-responsabbiltà professjonali huma tal-awditur kompetenti.
Il-verifika tas-sigurtà (eżami sistematiku ta 'kuntratt intelliġenti għall-vulnerabbiltajiet) huwa l-aktar xogħol responsabbli ta' Web3. Linja waħda mitlufa minn awditur tista 'tirriżulta f'miljuni ta' dollari f'telf. F'din l-unità titgħallem kif tuża l-AI bħala assistent tal-awditjar; Se nitgħallmu mill-ġenerazzjoni ta’ ħjiel sal-kitba ta’ abbozz tas-sejbiet. Iżda l-aktar sentenza kritika hija din: AI ma tikkontrollax; Huwa assistent li tiffoka l-għajn tal-awditur. L-approvazzjoni finali hija tal-awditur kompetenti li jassumi r-responsabbiltà professjonali.
Għaliex l-awditjar huwa kritiku għas-sigurtà
Rapport tal-awditjar jassigura lill-proġett u lill-investituri li "dan il-kodiċi ġie rivedut." Jekk din l-assigurazzjoni hija falza, il-konsegwenzi huma diżastrużi: protokoll sfruttat, finanzjament mitluf, proġett imġarraf. Għalhekk, l-użu tal-AI fl-ispezzjoni huwa l-aktar parti bir-reqqa ta 'dan il-modulu. L-AI tespandi l-ambitu tal-awditur (tfakkar aktar mudelli, taqra aktar malajr) iżda ma tissostitwixxix lill-awditur.
Għaliex ma jgħaddix? Minħabba li:
- L-AI ma tistax tara l-vulnerabbiltà unika/ġdida li mhix fid-dejta tat-taħriġ.
- L-AI ħafna drabi taqbeż id-difett fil-loġika tan-negozju tal-protokoll—li l-kodiċi huwa teknikament korrett iżda ekonomikament sfruttabbli.
- L-AI tista' tagħti serħan il-moħħ falz billi tgħid "sikur" b'lingwaġġ fluwenti; Dan huwa l-aktar riżultat perikoluż.
Saffi ta 'użu ta' AI fil-kontroll
1. Skennjar inizjali u tfakkira tal-mudell. L-AI tgħaddi minn mudelli ta’ vulnerabbiltà magħrufa bħal lista ta’ kontroll: dħul mill-ġdid, kontroll tal-aċċess, manipulazzjoni tal-oraklu, tmexxija ta’ quddiem. Dan jiżgura li l-awditur ma jitlef l-ebda kategorija.
2. Spjegazzjoni tal-kodiċi. L-ispjegazzjoni ta 'funzjoni kumplessa lill-AI f'lingwaġġ sempliċi tippermetti lill-awditur jifhem malajr il-loġika; iżda d-deskrizzjoni hija dejjem imqabbla mal-kodiċi.
3. Kitba ta' abbozz tas-sejbiet. Meta l-awditur isib vulnerabbiltà, l-AI tiffranka l-ħin fil-kitba tal-abbozz tar-rapport (deskrizzjoni, impatt, soluzzjoni proposta).
4. Ġenerazzjoni ta 'kontro-ipoteżi. Staqsi lill-AI "kif tista' tiġi abbużata din il-funzjoni?" Staqsi " ifakkarna fil-perspettiva aggressiva.
Attenzjoni: Sempliċement għax l-AI tgħid "Ma sibt l-ebda vulnerabbiltajiet f'dan il-kodiċi" MA jfissirx "dan il-kodiċi huwa sigur". Evidenza ta' assenza mhix assenza ta' evidenza. Il-fatt li l-AI ma tistax issib xi ħaġa ma jagħmilhiex bla bżonn għall-awditur li jeżamina dik iż-żona.
Tfittxija livelli ta' severità
Is-sejbiet tal-awditjar huma kklassifikati skont il-livell ta’ severità tagħhom. L-IA għandha tuża dan il-qafas meta tiġġenera abbozzi:
Livell
Tifsira
eżempju
kritika
Telf tal-fond/lockout direttament possibbli
Irtirar ta' fondi b'dħul mill-ġdid
għolja
Impatt serju f'ċerti kundizzjonijiet
Stampar mhux awtorizzat (mint)
medju
Impatt limitat jew kundizzjoni diffiċli
Telf żgħir b'devjazzjoni Oracle
baxx
Riskju minuri, ksur ta' prattika tajba
Xandira ta' avveniment nieqsa
Informazzjoni
Mhux sigurtà, leġibbiltà
Nuqqas ta' NatSpec
Pront dgħajjef / Pront qawwi
Pront dgħajjef:
Dan il-kuntratt huwa sigur?
Din il-mistoqsija ġġiegħel lill-AI tagħmel ġudizzju assolut u mhux ġustifikat bħal "iva/le" - eżattament dak li ma rridux.
Pront qawwi:
Ir-rwol tiegħek: assistent għall-awditur anzjan tal-kuntratt intelliġenti. Skennja l-kuntratt li ġej għas-sigurtà. Mur mill-kategoriji li ġejjin waħda waħda: dħul mill-ġdid, kontroll tal-aċċess, operazzjonijiet interi, validazzjoni tal-input, data oracle/esterna, front-running, limitu tal-gass. Għal kull SEJBA: (1) linja ta' kodiċi rilevanti, (2) riskju ta' kawża, (3) severità stmata (Kritika/Għolja/Medju/Baxxa), (4) proposta ta' soluzzjoni. Dawn huma HYPOTESI LI GĦANDHOM JIĠU KKONFERMATA; Tagħtix verdett "sikur". Immarka l-oqsma li m'intix ċert li tgħid b'mod ċar "ħalli l-awditur jikkonferma".
Erba' mudelli li jistgħu jiġu kkupjati
1) Ibbrawżjar ibbażat fuq kategorija:
Skennja dan il-kuntratt għall-kategoriji li ġejjin: dħul mill-ġdid, kontroll tal-aċċess, overflow integer, validazzjoni tal-input, dipendenza tal-oracle, tmexxija minn quddiem, DoS/gass. Għal kull kategorija, għid "m'hemm/m'hemm l-ebda riskju/M'inix ċert" u qabbad il-ġustifikazzjoni tiegħek mal-linja fil-kodiċi. Tagħmel ġudizzju finali.
2) Kontro-ipoteżi mill-perspettiva tal-attakkant:
Aħseb bħal attakkant: x'inhuma l-modi kif tabbuża minn din il-funzjoni? Ikteb kull xenarju pass pass u indika liema kundizzjonijiet huma meħtieġa. Dawn ix-xenarji huma l-ipoteżijiet li jridu jiġu ttestjati; MA tiġġenerax kodiċi ta' sfruttament attwali, iddeskrivi biss ir-riskju.
3) Abbozz tar-rapport tas-sejbiet:
Irrapporta s-sejba vverifikata li ġejja f'lingwa ta' verifika formali: titolu, severità, deskrizzjoni, impatt, kodiċi affettwat, passi biex tirriproduċi, soluzzjoni proposta. Uża lingwaġġ imkejjel u tekniku; esaġerazzjoni. Assumi li s-sejba hija kkonfermata mill-awditur, ma tagħmel sejba ġdida.
4) Waħħal il-verifika:
Hawn taħt hemm vulnerabbiltà u l-iffissar applikati mill-iżviluppatur. Eżamina jekk it-tiswija fil-fatt tagħlaq il-vulnerabbiltà; immarka jekk toħloqx effett sekondarju ġdid jew vulnerabbiltà. Tgħidx "magħluq" żgur; Tispiċċa b'"għandu jiġi kkonfermat bl-ittestjar".
Tliet kaxxi żgħar (f'numri)
Każ 1 — AI impedixxa l-qbiż tal-kategorija. Awditur kien se jiffoka fuq kuntratt ta’ 400 linja u jaqbeż il-kategorija tal-oraklu. L-iskan tal-kategorija tal-AI ta twissija li "id-dejta tal-prezzijiet hija minn sors wieħed, miftuħa għall-manipulazzjoni". L-awditur eżaminaha u sab li tabilħaqq kien riskju medju. Lezzjoni: AI żżomm dixxiplina ta 'kopertura.
Każ 2 — Assigurazzjoni “sikura” falza. Tim ieħor staqsa lill-AI "dan huwa sigur?" staqsa; "Ma jidhirx li hemm problema sinifikanti," qalet AI. L-ispezzjoni tal-ekwipaġġ kienet ħafifa. Imbagħad l-awditur indipendenti sab difett fil-loġika tan-negozju: kalkolu li kien teknikament korrett iżda li l-inċentivi tiegħu kienu sfruttabbli. Lezzjoni: L-AI taqbeż żball tal-loġika tan-negozju; Huwa ma jistax jiġi fdat li jgħid "safe".
Każ 3 — L-abbozzar tar-rapport iffrankat 3 sigħat. L-awditur kien qed iqatta’ nofs il-ġurnata jirrapporta manwalment 8 sejbiet. Ladarba tajt is-sejbiet verifikati lill-AI u stampajt l-abbozz uffiċjali, il-ħin niżel b'~3 sigħat; L-awditur iddedika ħin għall-approfondiment. Lezzjoni: L-AI hija sigura u effiċjenti fir-rappurtar minħabba li s-sejbiet diġà ġew ivverifikati umanament.
Vulnerabbiltà tal-loġika tan-negozju: il-punt blind tal-AI
Il-vulnerabbiltajiet l-aktar għaljin ħafna drabi ma jiġux minn żball tekniku fil-kodiċi, iżda mill-isfruttabbiltà tal-loġika tan-negozju: l-isfruttament ta 'l-arrotondament ta' kont ta 'premju, il-ħtif ta' self flash ta 'vot, manipulazzjoni istantanja ta' prezz. Dawn huma każijiet fejn il-kodiċi jaħdem "b'mod korrett" iżda l-protokoll jista' jiġi mqarraq b'mod ekonomiku. L-AI x'aktarx li titlef żbalji bħal dawn—speċjalment dawk speċifiċi għall-protokoll. Għalhekk, ir-reviżjoni tal-loġika tan-negozju hija l-qasam tal-awditur l-aktar intensiv għall-bniedem u l-inqas dipendenti fuq l-AI.
Ħjiel: Staqsi lill-AI "kif jistgħu jiġu sfruttati l-inċentivi ekonomiċi ta' dan il-protokoll?" u uża x-xenarji li joħorġu bħala punt tat-tluq — imma ftakar li int u t-tim tiegħek għandek tagħmel l-analiżi reali.
Żbalji komuni
- Staqsi lill-AI "huwa sikur?" Tistaqsi u tafda l-iva tiegħek. Mhuwiex meħtieġ ġudizzju assolut.
- Twaqqaf ir-reviżjoni meta l-AI tgħid "Ma stajtx insibha". Assenza mhix evidenza.
- Id-delega tar-reviżjoni tal-loġika tan-negozju lill-AI. Huwa l-akbar blind spot tiegħu.
- Ma tużax għodda indipendenti (Slither eċċ.). AI waħedha mhix biżżejjed.
- It-tqegħid tas-sejba magħmula mill-AI fir-rapport mingħajr ma tivverifikaha. Riskju ta' alluċinazzjonijiet.
- Jippruvaw ipoġġu r-responsabbiltà tal-kontroll fuq l-AI. Ir-responsabbiltà hija tal-espert.
Fil-qosor
- Il-verifika hija kritika għas-sikurezza; L-AI tespandi l-ambitu tal-awditur iżda ma tissostitwihx.
- AI titlef il-vulnerabbiltà oriġinali u l-bug tal-loġika tan-negozju; Li tgħid "sikur" mhix assigurazzjoni.
- Is-sejbiet huma kklassifikati skond il-livell ta' severità; L-AI hija utli biex tiġġenera abbozzi.
- Il-kontro-ipoteżi u l-iskrinjar tal-kategoriji jippreservaw id-dixxiplina tal-inklużjoni.
- L-approvazzjoni finali u r-responsabbiltà professjonali dejjem ikunu f'idejn l-awditur kompetenti.
Kompitu ta' applikazzjoni
Sib kampjun ta' kuntratt li fih vulnerabbiltà magħrufa (għal skopijiet edukattivi, eżempji ta' "kuntratti vulnerabbli" huma disponibbli f'sors miftuħ). Applika l-"skanjar ibbażat fuq kategorija" fil-pront għall-AI. Innota jekk l-AI: (1) sabitx il-vulnerabbiltà reali, (2) ipproduċietx sejbiet iffabbrikati/foloz, (3) għamilx ġudizzji assoluti bħal "sikur." Imbagħad qabbilha ma 'għodda ta' analiżi statika.
lista ta' kontroll
- [ ] Staqsi lill-AI "huwa sigur?" Minflok, kelli skan ibbażat fuq kategorija.
- [ ] I ttrattat kull sejba bħala ipoteżi.
- [ ] Għamilt ir-reviżjoni tal-loġika tan-negozju jien/tim.
- [ ] Ikkonvalidajtha b'għodda ta' analiżi statika indipendenti.
- [ ] Ikkonfermajt li l-AI ma tiffabbrikax sejbiet.
- [ ] Ikklassifikat is-sejbiet skont il-livell ta' severità.
- [ ] Jien aċċettajt li l-approvazzjoni finali hija tal-awditur kompetenti.