Girdeji:
- Gaýtadan işlemek, elýeterliligi dolandyrmak, oracle manipulýasiýasy we öňe sürmek ýaly umumy gowşaklyk nagyşlaryny tanamak we statiki derňew guraly + emeli intellekt + adam bilen skanirlemek;
- Gurallaryň çykarylyşyny düşündirmekde we MEV-de ýalan pozitiwleri we gowşak taraplary ileri tutmakda AI güýçlerini tapawutlandyrmak ukyby;
- 'Arassa skaneriň' howpsuzlyk şahadatnamasy däldigine, skanirlemegiň diňe bir gözegçilik gatlagydygyna düşüniň
Öňki bölümde auditiň bitewi düzgünini gördük. Bu bölümde has tehniki mowzuga ünsi jemleýäris: gowşak goralanlygy skanirlemek - kodda belli gowşak goralanlyk nagyşlaryny yzygiderli gözlemek. Bu ýerde, AI-ni statiki derňew gurallary bilen bilelikde belli gowşak goralanlyk nusgalaryny gözden geçirýän we suratlandyrýan kömekçi hökmünde ulanarys. Maksat: iň köp ýaýran gowşaklyklary çuňňur öwrenmek we AI-iň ygtybarlydygyny we skanerlemekde ýeterlik däldigini tapawutlandyrmak.
Statik we dinamiki skaner
Skaner iki görnüşde bolýar. Statiki derňew - kody işletmän barlamak: Slither we Mythril ýaly gurallar şertnamanyň koduny we baýdak belli nagyşlaryny gözden geçirýärler. Dinamiki / simwoliki derňew (kody dürli girişler bilen işletmek ýa-da matematiki taýdan öwrenmek): bulaşdyrmak (tötänleýin giriş bilen bombalamak) we simwoliki ýerine ýetiriş (mümkin bolan ähli ýollary öwrenmek) bu topara girýär.
AI bu gurallaryň ýerini tutmaýar, üstüni ýetirýär: ulag duýduryş berende, AI duýduryşy aç-açan düşündirýär; AI guralyň bir nagşy sypdyranda ýatladyp biler; Aloneöne AI diňe näçe skanerleýändigini kepillendirip bilmeýär. Dogry iş tertibi: gural + AI + adam.
Maslahat: AI-e statiki derňew guralynyň çykyşyny beriň (meselem, haýal hasabat) we “her duýduryşy hakyky dilde düşündiriň, hakyky töwekgelçilikler we ýalan pozitiw bolup biler?” sora. AI çig gural önümleriniň düşnükli we adamlar üçin ileri tutulýan bolmagy üçin gymmatlydyr.
Iň köp ýaýran gowşaklyk görnüşleri
1. Gaýtadan işlemek. Eger bir funksiýa ýagdaýyny täzelemezden daşarky şertnama çagyrsa, çagyrylan şertnama yza gaýdyp, şol bir funksiýany täzeden işledip we gaznany birnäçe gezek yzyna alyp biler. Çözgüdi: barlag-effektler-täsir ediş tertibi we täzeden garawul.
2. Giriş gözegçiliginiň bolmazlygy. Möhüm funksiýa (çykarmak, çykarmak, ýokarlandyrmak) tötänleýin köpçülige aýan edilýär. Iň ýaýran we iň gymmat ýalňyşlyklaryň biri.
3. Oracle manipulýasiýasy. Şertnamanyň daşarky baha çeşmesine (oracle) kör bil baglamagy. Hüjümçi bahany derrew dolandyrýar we teswirnamany aldaýar. Çözüw: köp ölçegli ortaça baha (TWAP).
4. Bitewi dolmak / aşmak. Haçan-da bir san iň ýokary rugsat berlen bahadan ýokary bolsa we başyna gaýdyp gelende. Modern Solidity onuň köpüsini awtomatiki usulda tutýar, ýöne töwekgelçilik pes derejeli (gurnama) kodda galýar.
5. Öňe işlemek. Geleşikler tassyklanmanka köpçülikleýin howuzda (mempul) peýda bolýar; Hüjüm eden amalyňyzy görüp, öňünde öz amalyny goýup biler. MEV (Maksimal çykarylýan baha - geleşik yzygiderliliginden alnan baha) bu temanyň umumy ady.
6. Hyzmatdan ýüz öwürmek (DoS). Aýlaw gaty gymmat bolýar we funksiýany ulanyp bolmaýar, ýa-da adrese baglylyk gulplanýar.
7. Töwekgelçilikleri ýokarlandyrmak. Döwrebaplaşdyrylan şertnamalarda ammar çaknyşygy we ygtyýarlykdan hyýanatçylykly peýdalanmak.
gowşak goralanlygy
AI skaner ynamy
Näme üçin
reentrancy
beýik
Belli, düşnükli nagyş
giriş gözegçiligi
beýik
Galyndylary skanirläp bolýar
Bitewi amallar
beýik
standart gözegçilik
Oracle manipulýasiýasy
orta
Konteksti talap edýär
Öňde işleýän / MEV
Orta-pes
protokola mahsus
iş logiki ýalňyşlygy
pes
Hakyky, kontekstli
Gowşak haýyş / Güýçli haýyş
Gowşak haýyş:
Bu kodda kemçilik barmy?
Güýçli haýyş:
Siziň roluňyz: howpsuzlyk barlagçysy. Aşakdaky şertnamany aşakdaky belli nagyşlar üçin skanirläň we her biri üçin "töwekgelçilikli / ýok / ynamsyz": täzeden gözlemek, giriş gözegçiligi, bitewi amallar, birek-birege baglylyk, öň işleýän, DoS, howpsuzlygy ýokarlandyrmak. Her kesgitlemäni degişli setir bilen baglanyşdyryň we töwekgelçiligiň bardygyny düşündiriň. Bular statiki derňew guraly we auditor bilen tassyklanjak gipotezalar. Falsealan pozitiwleriň bolup biljekdigine üns beriň.
Göçürip boljak dört şablon
1) Gurallaryň çykyş beýany:
Aşakda statiki derňew guralynyň hasabaty (Slither). Her duýduryşy sada dilde düşündiriň: bu nämäni aňladýar, bu hakyky töwekgelçilikmi ýa-da bolup biläýjek ýalan polo positiveitel, ileri tutulýan zat näme? Berk karar bermäň; Auditory tassyklamak üçin ileri tutuň.
2) Reentrancy gönükdirilen barlag:
Bu şertnamada daşarky jaň edýän ähli funksiýalary tapyň. Barlaglar-effektler-täsir ediş tertibiniň her biri üçin berjaý edilýändigini ýa-da gaýtadan garawulyň bardygyny barlaň. Töwekgelçilikli adamlary çyzyk bilen görkeziň. Ynanmasaňyz belläň; Ulanyş koduny döretmek.
3) Giriş dolandyryş kartasy:
Bu şertnamadaky ähli daşarky / jemgyýetçilik funksiýalaryny sanaň we her biri üçin "kim jaň edip biljekdigini" (her kim / eýesi / roly) kesgitläň. Möhüm amallary ýerine ýetiriň (yzyna alyň, çap ediň, täzeläň) we ygtyýary gowşak bolanlary belläň. Stol bilen hödürläň.
4) positivealňyş pozitiw ýok etmek:
Bu skaner duýduryşynyň HAKYKAT töwekgelçiligi bolup bilmejekdigine göz aýlaň: haýsy kontekst ýa-da kod ýagdaýy bu duýduryşy ýatyrar? "Öne" düýbünden mesele ýok "diýmäň; Tassyklamaly nokatlary sanaň.
Üç sany kiçi ýagdaý (san boýunça)
1-nji hadysa - Ulag + AI iki esse netijelilik. Bir topar 12 şertnamaly taslama boýunça Slither-e ylgady we 140 sany duýduryş aldy. AI duýduryşlary düşündirip, ileri tutanymyzdan soň, 140 duýduryşyň 95-siniň ýalan pozitiwdigi ýüze çykdy; Topar 45 hakyky dalaşgäre ünsi jemledi. Durmuşa çykmagyň wagty 2 günden 5 sagada çenli azaldy. Sapak: AI ulagyň çykyşyny adamlaşdyrmakda güýçlidir.
2-nji waka - AI MEV-ni ogurlady. DEX (merkezleşdirilmedik alyş-çalyş) şertnamasynda AI adaty nagyşlary arassa tapdy, ýöne öňdäki gowşaklygy ýüze çykaryp bilmedi; sebäbi bu teswirnamanyň iş tertibine mahsusdy. Adam auditory we simulýasiýa ele alyndy. Sapak: MEV / öňünden işlemek ýaly protokol bilen baglanyşykly töwekgelçilikler AI-iň gowşak ýeridir.
3-nji waka - falsealňyş polo positiveitel wagt ýitirmekden saklanyň. AI täzeden serediş duýduryşynyň hakykatdanam ýalan pozitiwdigini düşündirende, gereksiz täzeden ýazmakdan halas edildi (funksiýa eýýäm goralypdy). Emma topar henizem ýekeje synag bilen tassyklady. Sapak: AI ileri tutýar; Tassyklama ýene synag bilen gelýär.
Gözlemegiň çäkleri
Gözlemek belli nagyşlary tapýar. Täze, üýtgeşik ýa-da protokola mahsus gowşaklygy ýüze çykarmak üçin gural ýa-da AI kepillendirilmeýär. Şonuň üçin barlag barlagyň bir bölegidir; özi däl. "Skaner arassa, şonuň üçin howpsuz diýmekdir" diýen pikir bu ugurdaky iň howply ýalňyş pikirlerden biridir. Gazylyp alynýan miweleri alýar; Çuň we üýtgeşik töwekgelçilikler üçin adam tejribesi, synag, bulaşyk we resmi audit zerurdyr.
Üns beriň: Skaner guralynyň ýa-da AI-iň “arassa” hasabaty howpsuzlyk şahadatnamasy däl. Ony şeýle hödürlemek - esasanam maýadarlar üçin - ýalňyş we edepsiz.
Adaty ýalňyşlyklar
- Gözden geçirmek üçin skrini çalyşmak. Skaner tutuş bir däl, bir gatlak.
- AI-ni guralsyz ulanmak. Statik derňew + AI + adam bilelikde işleýär.
- Tassyklamazdan ýalan pozitiwleri ýok etmek. Her bir ekran synagdan geçirilýär / adam barlanýar.
- AI-e bil baglamak bilen protokol bilen baglanyşykly töwekgelçiliklerden (MEV) aýlanyp geçmek. AI-iň gowşak ýeri.
- "Arassa skaner" = "howpsuz" diýip pikir etmek. Näbelli zady tapyp bilmeýär.
- Ulanyş koduny döretmek. Diňe goranyş töwekgelçiliginiň beýany kanuny.
Gysgaça
- Gowşaklygy barlamak, ulag + AI + adam bilen belli gowşak goralanlyk nagyşlaryny gözleýär.
- AI statiki derňew guralynyň çykyşyny düşündirmekde we ileri tutmakda güýçlidir.
- Gaýtadan işlemek we elýeterliligi dolandyrmak ýaly aýdyň nagyşlarda ygtybarly; MEV we iş logikasynda gowşak.
- Hatda ýalan pozitiwleri ýok etmek hem tassyklamagy talap edýär.
- "Arassa skaner" howpsuzlyk şahadatnamasy däl; Gözegçiligiň ornuny tutmaýar.
Programma meselesi
Mysal şertnamasynda statiki derňew guralyny işlediň (mümkin bolsa) ýa-da taýýar Slither hasabatyny tapyň. "Gural çykyş beýany" haýyşyny AI-e ulanyň. AI-e baha beriň: (1) duýduryşlary dogry düşündirýär, (2) ýalan pozitiwleri tapawutlandyrmagyň manysy bar we (3) protokola mahsus töwekgelçiligi sypdyrýar. Tablisa “tapylan ulag / AI düşündirilen / adam tassyklanan” sütünleri dolduryň.
gözegçilik sanawy
- [] Lýugy dolandyryşyň gatlagy hökmünde ýerleşdirdim.
- [] Statiki derňew guralyny + AI + adamy bilelikde ulandym.
- [] Belli nagyşlar üçin kategoriýa boýunça gözledim.
- [] Tassyklamak bilen ýalan pozitiwleri ýok etdim.
- [] MEV / iş logikasy ýaly gowşak ýerlerde adamlara bil bagladym.
- [] Kepillik hökmünde "arassa süpürmek" teklip etmedim.
- [] Men diňe goranyş maksatly işledim; Ekspluatasiýa döretmedim.