Пайдалар:
- AMM, ликвиддүүлүк бассейни, oracle жана флеш кредити сыяктуу DeFi курулуш блокторун түшүнүү жана механизмди түшүндүрүүдө жана сценарийди түзүүдө жасалма интеллектти колдонуу
- Көпчүлүк DeFi тобокелдиктери коддуу мүчүлүштүктөр эмес, экономикалык/бизнес логикасынын алсыздыктары экенин жана жасалма интеллект баштапкы экономикалык аялуулугунда алсыз экенин ажырата билүү.
- Экономикалык коопсуздук ой жүгүртүү менен эмес, симуляция менен далилденерин түшүнө алуу жана көз карандылыктын эң морт жери экенин түшүнүү.
DeFi (Децентралдаштырылган Каржы) Web3тин эң жогорку баалуулугу жана эң көп чабуулга кабылган домени. Биржалар, кредиттөө протоколдору, ликвиддүүлүк пулдары – баары код катары иштейт жана баары душмандык чөйрөдө миллиондогон долларларды жылдырышат. Бул бөлүмдө биз AIди протоколду анализдөөчү жардамчы катары колдонобуз; Биз ликвиддүүлүктү, бааны, MEV жана экономикалык чабуулдарды жана бул контексттик чөйрөдө AI кайсы жерде пайдалуу жана жетишсиз экенин түшүнүүнү үйрөнөбүз.
DeFi'дин негизги курулуш блоктору
- AMM (Automated Market Maker): Бааларды сатып алуучулар менен сатуучуларды эмес, формула боюнча (мисалы, x·y=k) белгилеген алмашуу механизми.
- Ликвиддүүлүк пулу: колдонуучулар Токендерди депозитке салган жана соода жүргүзгөн жалпы фонд.
- Кредиттөө протоколу: Күрөө менен карыз алуу; Жоюу күрөө наркы төмөндөгөндө пайда болот.
- Oracle: Протоколго тышкы дүйнөлүк бааны келтирүүчү маалымат булагы — DeFiдин эң критикалык жана эң морт көз карандылыгы.
- Флеш кредит: Бир бүтүмдө күрөөсүз алынган жана ошол эле транзакцияда кайтарылган кредит; Бул мыйзамдуу пайдалануу жана чабуул куралы да бар.
MEV жана экономикалык чабуулдар
MEV (Maximal Extractable Value — транзакцияларга буйрутма берүү/кошуу/алып салуу үчүн орган тарабынан алынган нарк) DeFi үчүн мүнөздүү тобокелдик классы. Күтүүдөгү транзакциялар коомдук бассейнде пайда болот (мемпул); Бул көрүнүш төмөнкү чабуулдарга жол ачат:
- Front-running: Пайдалуу транзакцияны көрүү жана анын алдына өзүнүн транзакциясын киргизүү.
- Сэндвич чабуулу: Жабырлануучу сатып алганга чейин жана кийин транзакцияларды жайгаштыруу жана баанын айырмасынан пайда табуу.
- Oracle манипуляциясы: Пулдун баасын дароо өзгөртүү менен протоколду алдоо, адатта флеш кредит менен.
Бул чабуулдар кодекстин «катасынан» эмес, экономикалык дизайндын эксплуатацияланышынан келип чыгат. Бул жерде AI эң кыйынга турат: техникалык кодду жакшы сканерлеген AI көп учурда протоколго тиешелүү экономикалык аялуулугун аныктай албайт.
Көңүл буруңуз: DeFi кемчиликтеринин көбү "код мүчүлүштүктөрү" эмес, экономикалык/бизнес логикасынын алсыздыктары. AI стандарттык код сканерлөө буларды өткөрүп жиберет; Бул эң адамдык тажрыйбаны, симуляцияны жана моделдештирүүнү талап кылган тармак.
DeFi анализиндеги AIдын ролу
1. Механизмдин сүрөттөлүшү. AI татаал протоколдун (мисалы, ийри сызыкка негизделген AMM) кантип иштээрин жөнөкөй тил менен түшүндүрүүдө күчтүү. Бул анализге тез кирүүнү камсыз кылат.
2. Сценарий/каршы гипотезаны жаратуу. "Бул карыз протоколу ликвидация кризисине кандай баа кыймылы менен кирет?" AI сыяктуу суроолор менен сценарий долбоорлорун чыгарат; булар симуляция жолу менен текшерилет.
3. Белгилүү чабуул моделдерин эске салуу. AI мурунку DeFi чабуулдарынын үлгүлөрүн (oracle манипуляциясы, кайра киргизүү, жоюу спиралы) текшерүү тизмеси сыяктуу элестетет.
4. Симуляциялык пландын долбоору. AI кандай сценарийлерди сынай турган планды түзө алат; бирок симуляция өзү курал менен (Foundry, Tenderly) жасалат.
Алсыз тездик / Күчтүү тездик
Алсыз билдирүү:
Бул DeFi протоколу коопсузбу?
Күчтүү билдирүү:
Сиздин ролуңуз: DeFi протоколунун талдоочусу. Төмөндө протокол механизмин карап көрүңүз. Төмөнкү экономикалык чабуул векторлорун бир-бирден карап көрөлү: oracle манипуляциясы (флеш кредит менен), сэндвич/фронттук, жоюу спиралы, ликвиддүүлүктү алып салуу эффектиси. Ар бир вектор үчүн: кантип ишке киргизүү керек, кандай шарт талап кылынат, мүмкүн болгон таасир. Бул СИМУЛЯЦИЯ МЕНЕН текшериле турган гипотезалар; "Коопсуз/кооптуу" деп так айтпаңыз. GENERATE Чыныгы чабуул коду; Коргонуу максатында гана тобокелдикти сүрөттөп бериңиз.
Көчүрүү үчүн төрт шаблон
1) механизмдин сүрөттөлүшү:
Бул протоколдун баа түзүү/ликвиддүүлүк механизмин этап-этабы менен жөнөкөй тил менен түшүндүрүп бериңиз: колдонуучу транзакция жасаганда эмне болот, баа кантип аныкталат, кандай тышкы көз карандылыктар бар? Түшүнбөгөн жериңизди белгилеңиз же түшүнүксүз калтырыңыз.
2) Экономикалык чабуулдун бети:
Бул протоколдун экономикалык чабуул бетинин картасын түзүңүз: oracle, ликвиддүүлүк, күрөө, жоюу, башкарууда кандай божомолдорду колдонсо болот? Ар бир тобокелдикти шарт менен жазыңыз ("кандай болсо"). Аны симуляция жолу менен ырастоо үчүн гипотеза катары көрсөтүңүз.
3) Стресс сценарийи:
Төмөнкү сценарийлерди карап көрөлү: эгерде күрөө токен 50% га төмөндөсө, oracle баасы бир азга 30% четтеп кетсе, ликвиддүүлүктүн 80% алынып салынса, протокол кандай болот? Ар бир сценарийдин тийгизген таасирин жазыңыз. Сандык тактыкты талап кылбаңыз; Симуляция талап кылынарын белгилеңиз.
4) Тарыхый чабуул үлгүсүнүн дал келүүсү:
Бул протоколдун дизайны белгилүү DeFi чабуул моделдеринин кайсынысына окшош шарттарды камтыйт (мисалы, бир булактан турган oracle, флеш насыянын ачык баасы)? Коргонуу максатында окшоштуктарды белгилеңиз; Эксплуативдүү кадамга барбаңыз, ал көңүл буруп гана калат.
Үч мини иш (сан менен)
Case 1 - Oracle тобокелдиги эрте байкалган. Бир команда жаңы карыз протоколун иштеп жаткан. Механизмди түшүндүрүү учурунда, YZ гипотезаны белгилеген "баа бир көлмөдөн алынган жана флеш кредиттер менен башкарылышы мүмкүн." Команда муну симуляцияда тастыктады жана TWAP + көп булактарга өттү. Болжолдуу жоготууга жол берилбейт: протоколдун бүтүндөй кулпуланган мааниси. Сабак: AI белгилүү үлгүлөрдү пайда кылууда баалуу.
2-жагдай - AI баштапкы аялуулугун өткөрүп жиберди. Башка протоколдо алсыздык эки механизмдин өз ара аракеттенүүсүнөн келип чыккан уникалдуу экономикалык ката болгон (сыйлык + жоюу). AI ар бир механизмди бирден "кемчиликсиз" тапты; Өз ара аракеттенүү көрүнгөн жок. Адам модели жана симуляциясы тартылган. Сабак: компоненттер туура болгону менен, бүтүндөй экономика AIнын сокур жери.
3-жагдай — симуляция планы убакытты үнөмдөгөн. Бир аналитик кол менен пландаштыруунун ордуна AIга 15 түрдүү стресс сценарийин түзгөн; андан кийин аны куюучу заводдо иштеткен. Пландоо 1 күндөн 2 саатка чейин кыскарды; бирок натыйжаларды чечмелөө жана чечим адамдыкы болгон. Сабак: AI пландары, унаа чаралары, адам чечет.
Симуляциянын зарылчылыгы
DeFiде коопсуздук "ойлоо" менен далилденбейт; Ал симуляция жолу менен сыналат. Протоколдун экономикалык бекемдигин сандык түрдө ар кандай баа, өтүмдүүлүк жана чабуул сценарийлери аркылуу түшүнсө болот. AI бул симуляциялардын кодун пландаштырып, иштеп чыга алат; бирок натыйжаларды чыгарган жана чечмелей турган куралдар жана адамдар. AI тарабынан чыгарылган "балким, бышык" деген билдирүү симуляциянын натыйжасы эмес жана аны мындай көрсөтүү мүмкүн эмес.
Кеңеш: Сиз AIдан DeFi тобокелдигин баалаганыңызда, ар бир гипотезадан "мен муну кандай симуляция менен сынайм?" деп сурашыңыз керек. Аны суроого айлантыңыз. Текшерүүгө болбой турган коопсуздук дооматы DeFiде кепилдик болуп саналбайт.
Жалпы каталар
- Код катасы сыяктуу экономикалык тартыштыкты сканерлөө. DeFi тобокелдиктери көбүнчө бизнес логикасында.
- AI "коопсуз" деп айтууга ишенип, симуляцияны өткөрүп жибериңиз. Сыноо талап кылынат.
- Компоненттерди бирден текшерүү жана өз ара аракеттенүүнү өткөрүп жиберүү. буткул экономика сын.
- Бир булактан Oracle'га ишенүү. Эң кеңири таралган DeFi кырсыгы.
- MEV/алдын ала иштөөнү этибарга алуу. Коомдук мемпулдун фактысын унутуп.
- Эксплуатация коду түзүлүүдө. Бир гана коргонуу талдоо мыйзамдуу.
Кыскача айтканда
- DeFi - бул өтө баалуу жана душмандык мейкиндик; Тобокелдиктер негизинен экономикалык/бизнес логикасында.
- MEV, фронттук, сэндвич жана oracle манипуляциясы - DeFi үчүн мүнөздүү чабуулдардын класстары.
- AI механизмди түшүндүрүүдө жана сценарийди түзүүдө күчтүү; Баштапкы экономикалык тартыштык алсыз.
- Экономикалык коопсуздук ой жүгүртүү менен эмес, симуляция менен далилденет; AI пландары, транспорт чаралары.
- Oracle көз карандылыгы - DeFi'дин эң аялуу жери; бир нече ресурстар жана TWAP талап кылынат.
Колдонмо тапшырмасы
AMM же кредиттөө протоколун тандаңыз (так документтер менен). AIга "механизмдин сүрөттөлүшү" жана "экономикалык чабуулдун бети" сунуштарын колдонуңуз. AI чыгарган ар бир тобокелдик гипотезасы үчүн, "мен муну кандай симуляция менен сынамакмын?" Суроого жооп бер. Андан кийин ошол протоколдун иш жүзүндөгү аудитордук отчетун табыңыз жана анык жыйынтыктарды AI белгилеген тобокелдиктер менен салыштырыңыз: AI эмнени кармады, эмнени өткөрүп жиберди?
текшерүү тизмеси
- [ ] Мен тобокелдиктерди эки өлчөмдө талкууладым: код + экономика.
- [ ] Мен MEV / алдыңкы иштеп жаткан баага баа бердим.
- [ ] Мен ошондой эле Oracle көз карандылыгын карап чыктым.
- [ ] Мен компоненттердин (бүт экономиканын) өз ара аракеттенүүсүнө шек келтирдим.
- [ ] Мен ар бир гипотезаны симуляциялык планга байланыштырдым.
- [ ] Мен AIнын "коопсуздугун" симуляцияга алмаштырдым.
- [ ] Мен коргонуу максатында гана анализ жасадым.