Girdeji:
- AMM, likwidlik basseýni, oracle we fleş karzy ýaly DeFi gurluşyk bloklaryna düşünmek we mehanizm düşündirişinde we ssenariýa taýýarlamakda emeli intellekt ulanmak;
- DeFi töwekgelçilikleriniň köpüsiniň kod ýalňyşlary däl-de, ykdysady / işewür logiki gowşaklyklary we asyl ykdysady gowşaklykda emeli intellektiň gowşakdygyny tapawutlandyryp bilmek.
- Ykdysady howpsuzlygyň pikirlenmek bilen däl-de, simulýasiýa arkaly subut edilýändigine we oracle endikiniň iň gowşak nokadydygyna düşünip bilmek.
DeFi (Merkezleşdirilmedik Maliýe), Web3-iň iň ýokary bahasy we iň köp hüjüm edilýän domeni. Birchangalar, karz bermek protokollary, likwidlik howuzlary - bularyň hemmesi kod hökmünde işleýär we hemmesi duşmançylykly şertlerde millionlarça dollar göçürýär. Bu bölümde protokol derňewiniň kömekçisi hökmünde AI ulanarys; Likwidlilige, bahalara, MEV we ykdysady hüjümlere we AI-iň bu kontekstde peýdaly we ýeterlik däldigine düşünmegi öwreneris.
DeFi-iň esasy gurluş bloklary
- AMM (Awtomatlaşdyrylan bazar ýasaýjy): Bahalary alyjylara we satyjylara laýyk däl-de, formula (meselem x · y = k) bilen kesgitleýän alyş-çalyş mehanizmi.
- Likwidlik howzy: Ulanyjylaryň bellikleri we söwdany amala aşyrýan umumy gaznasy.
- Karz bermek teswirnamasy: Girewden karz almak; Iquatyryş girew gymmaty peselende ýüze çykýar.
- Oracle: Daşarky dünýä bahasyny protokola getirýän maglumat çeşmesi - DeFi-iň iň möhüm we iň gowşak garaşlylygy.
- Fleş karzy: Bir amalda girewsiz alnan we şol bir amalda yzyna gaýtarylan karz; Munuň kanuny ulanylyşy we hüjüm guraly bar.
MEV we ykdysady hüjümler
MEV (Maksimal çykarylýan baha - amallary sargyt etmek / goşmak / aýyrmak üçin ygtyýarlyk tarapyndan çykarylan baha) DeFi üçin töwekgelçilik synpy. Garaşylýan amallar köpçülikleýin howuzda (mempul) peýda bolýar; Bu görünmek, aşakdaky hüjümleriň gapysyny açýar:
- Öňe işlemek: Peýdaly geleşigi görmek we öňünde öz geleşigini goýmak.
- Sandwiç hüjümi: Pidany satyn almazdan ozal we soň amallary ýerleşdirmek we baha tapawudyndan girdeji almak.
- Oracle manipulýasiýasy: Adatça fleş karzy bilen howuzyň bahasyny derrew üýtgedip protokoly aldamak.
Bu hüjümler koduň "näsazlygyndan" däl-de, ykdysady dizaýnyň ulanylyşyndan ýüze çykýar. AI-iň iň kyn ýeri: Tehniki kody skanirlemäge ökde AI köplenç protokola mahsus ykdysady gowşaklygy ýüze çykaryp bilmeýär.
Üns beriň: DeFi gowşak goralanlyklarynyň köpüsi "kod ýalňyşlary" däl-de, ykdysady / işewür logiki gowşaklyklar. AI-iň standart kod skaneri bulary sypdyrýar; Bu, iň köp adam tejribesini, simulýasiýa we modellemegi talap edýän ugur.
DeFi derňewinde AI-iň roly
1. Mehanizmiň beýany AI çylşyrymly protokolyň (meselem, egrilik esasly AMM) işleýşini açyk dilde düşündirmekde güýçli. Bu derňewiň çalt girmegini üpjün edýär.
2. Ssenariýa / garşy gipoteza döretmek. "Bu karz teswirnamasy haýsy bahada ýatyryş krizisine girer?" AI ýaly soraglar bilen ssenariýa garalamalaryny öndürýär; bular simulýasiýa arkaly synag edilýär.
3. Belli hüjüm nagyşlaryny ýatlatmak. AI barlag sanawy ýaly öňki DeFi hüjümleriniň (oracle manipulýasiýasy, reentrancy, ýatyryş spiraly) nusgalaryny döredýär.
4. Simulýasiýa meýilnamasynyň taslamasy. AI haýsy ssenariýalary barlamak üçin meýilnama düzüp biler; ýöne simulýasiýanyň özi gural bilen amala aşyrylýar (Dörediji, Tenderly).
Gowşak haýyş / Güýçli haýyş
Gowşak haýyş:
Bu DeFi protokoly howpsuzmy?
Güýçli haýyş:
Siziň roluňyz: DeFi protokol analitigi. Aşakdaky teswirnama mehanizmini gözden geçiriň. Aşakdaky ykdysady hüjüm wektorlaryny birin-birin gözden geçiriň: oracle manipulýasiýasy (fleş karzy bilen), sendwiç / öňdäki, ýatyryş spiraly, likwidligi yzyna almak. Her wektor üçin: nädip başlamaly, haýsy şert talap edilýär, mümkin täsir. Bular SIMULATION tarapyndan synag edilmeli gipotezalar; Elbetde "howpsuz / howply" diýmäň. UMUMY Hakyky hüjüm kody; Diňe goranyş maksatlary üçin töwekgelçiligi suratlandyryň.
Göçürip boljak dört şablon
1) Mehanizmiň beýany:
Bu protokolyň nyrh / likwidligi mehanizmini ädimme-ädim düşündiriň: ulanyjy geleşik edeninde näme bolýar, bahasy nädip kesgitlenýär, haýsy daşarky baglylyklar bar? Düşünmedik bölegiňizi belläň ýa-da düşnüksiz goýuň.
2) Ykdysady hüjümiň üstü:
Bu teswirnamanyň ykdysady hüjüminiň kartasyny düzüň: oracle, likwidlik, girew goýmak, ýatyrmak, dolandyryşda haýsy çaklamalary ulanyp bolar? Her töwekgelçiligi şert bilen ýazyň ("näme bolsa"). Simulýasiýa bilen tassyklanjak gipoteza hökmünde hödürläň.
3) Stressiň ssenariýasy:
Aşakdaky ssenariýalary gözden geçiriň: girew belgisi 50% peselse, oracle bahasy wagtlaýyn 30% peselse, likwidligiň 80% yzyna alynsa, teswirnama näme bolar? Her ssenariýanyň urulýan täsirini ýazyň. San takyklygyny talap etmäň; Simulýasiýanyň zerurdygyny görkeziň.
4) Taryhy hüjümiň gabat gelýän görnüşi:
Bu teswirnamanyň dizaýny, belli DeFi hüjüm nagyşlarynyň haýsysyna (meselem, bir çeşme oracle, fleş karzyň açyk bahasy) meňzeş şertleri öz içine alýarmy? Goranyş maksatlary üçin meňzeşlikleri görkeziň; Ekspluatasiýa ädimini ätmäň, diňe ünsi çeker.
Üç sany kiçi ýagdaý (san boýunça)
1-nji hadysa - Oracle töwekgelçiligi ir ýüze çykdy. Topar täze karz teswirnamasyny taýýarlaýardy. Mehanizmiň düşündirilişinde YZ "bahasy bir howuzdan alynýar we fleş karzlary bilen dolandyrylyp bilner" diýen çaklamany belledi. Topar muny simulýasiýada tassyklady we TWAP + köp çeşmä geçdi. Takmynan ýitginiň öňüni aldy: teswirnamanyň ähli gulplanan bahasy. Sapak: AI belli nagyşlary oýarmakda gymmatlydyr.
2-nji hadysa - AI asyl gowşaklygy sypdyrdy. Başga bir teswirnamada gowşaklyk, iki mehanizmiň (sylag + ýatyryş) täsiri netijesinde özboluşly ykdysady ýalňyşlyk boldy. AI her mehanizmi ýeke-ýekeden "kemsiz" tapdy; Özara gatnaşygy görüp bilmedim. Adam modeli we simulýasiýa düşürildi. Sapak: Komponentler dogry bolsa-da, tutuşlygyna ykdysadyýet AI-iň kör ýeri.
3-nji waka - Simulýasiýa meýilnamasy wagt tygşytlady. Bir analitik, el bilen meýilleşdirmegiň ýerine AI-de 15 dürli stres ssenarisini taýýarlady; soň ony düýbünde işledi. Meýilnamalaşdyrmak 1 günden 2 sagada çenli azaldy; emma netijeleriň we kararyň düşündirilmegi adamyňkydy. Sapak: AI meýilnamalary, ulag serişdeleri, adam karar berýär.
Simulýasiýanyň aýrylmazlygy
DeFi-de howpsuzlyk “pikirlenmek” bilen subut edilmeýär; Simulýasiýa arkaly synag edilýär. Protokolyň ykdysady berkligine san taýdan dürli bahalar, likwidlik we hüjüm ssenarileri bilen düşünmek bolýar. AI bu simulýasiýalaryň koduny meýilleşdirip we taýýarlap biler; emma netijeleri öndürýän we düşündirýän gurallar we adamlar. AI tarapyndan öndürilen "ähtimal çydamly" jümle simulýasiýa netijesi däl we beýle görnüşde hödürlenip bilinmez.
Maslahat: AI-den DeFi töwekgelçiligini bahalandyranyňyzda, her gipotezadan “muny haýsy simulýasiýa bilen barlaýaryn?” Diýip soramaly. Soraga öwüriň. Synag edip bolmaýan howpsuzlyk talaplary DeFi-de kepillik däl.
Adaty ýalňyşlyklar
- Ykdysady defisiti kod ýalňyşlygy ýaly skanirlemek. DeFi töwekgelçilikleri esasan iş logikasynda.
- AI-e "ygtybarly" diýmek we simulýasiýany taşlamak. Synag hökmanydyr.
- Komponentleri birin-birin barlamak we özara täsir etmek. Tutuş ykdysadyýet ykdysadyýeti möhüm.
- Bir çeşmeden Oracle-a ynanmak. Iň ýaýran DeFi betbagtlygy.
- MEV / öňdäki işe ähmiýet bermezlik. Köpçüligiň ýatlamasyny ýatdan çykarmak.
- Ulanyş koduny döretmek. Diňe goranyş derňewi kanunydyr.
Gysgaça
- DeFi ýokary bahaly we duşmançylykly giňişlikdir; Töwekgelçilikler esasan ykdysady / iş logikasynda.
- MEV, öňe ylgaýan, sendwiç we oracle manipulýasiýasy DeFi-e mahsus hüjümleriň synplary.
- AI mehanizm düşündirişinde we ssenariý taýýarlamakda güýçli; Asyl ykdysady defisit gowşak.
- Ykdysady howpsuzlyk pikirlenmek däl-de, simulýasiýa bilen subut edilýär; AI meýilnamalary, ulag serişdeleri.
- Oracle garaşlylygy DeFi-iň iň gowşak nokady; birnäçe çeşme we TWAP zerur.
Programma meselesi
AMM ýa-da karz bermek protokolyny saýlaň (anyk resminamalar bilen). AI-de "mehanizmiň beýany" we "ykdysady hüjümiň üstüni" ulanyň. AI öndürýän her bir töwekgelçilik çaklamasy üçin “muny haýsy simulýasiýa bilen synap görerin?” Soraga jogap beriň. Soňra şol teswirnamanyň hakyky audit hasabatyny tapyň we hakyky netijeleri AI tarapyndan bellenen töwekgelçilikler bilen deňeşdiriň: AI näme tutdy, näme sypdyrdy?
gözegçilik sanawy
- [] Töwekgelçilikleri iki ölçegde ara alyp maslahatlaşdym: kod + ykdysadyýet.
- [] MEV / öňe işleýänlere baha berdim.
- [] Oracle-a baglylygy hem gözden geçirdim.
- [] Komponentleriň (tutuş ykdysadyýet) özara täsirini sorag etdim.
- [] Her gipotezany simulýasiýa meýilnamasyna bagladym.
- [] AI-iň "ygtybarly" görnüşini simulýasiýa bilen çalyşdym.
- [] Diňe goranyş maksatlary üçin analiz etdim.