Moonwell sun'iy intellekt tomonidan yaratilgan kod bilan bog'langan aqlli shartnoma xatosi tufayli 1.78 million dollar yo'qotdi
Qisqacha
Moonwellning bu hiyla-nayrangi qisman sun'iy intellekt tomonidan yaratilgan kod orqali joriy etilgan muhim aqlli shartnoma narxlari xatosidan kelib chiqqan bo'lib, u cbETHni noto'g'ri baholagan va tajovuzkorlarga mablag'larni sarflashga imkon bergan, natijada protokol taxminan 1.78 million dollarlik yomon qarzga aylangan.
Moonwell, a DeFi kreditlash protokoli, o'sha haftada jiddiy moliyaviy zarba oldi, o'shanda muhim aqlli shartnoma xatosi Coinbase Wrapped Staked Ether tokenini (cbETH) noto'g'ri baholadi, bu esa hujumchilar va likvidatsiya botlariga hamyonni bo'shatib, taxminan 1.78 million dollarlik yomon qarzni to'plashga imkon berdi.
Dastlabki o'limdan keyingi tahlil shuni ko'rsatadiki, sun'iy intellekt modeli Claude Opus 4.6 tomonidan birgalikda yozilgan kodga mantiqiy xato qo'shilgan, bu esa kodni inson tomonidan intensiv tekshirishsiz to'g'ridan-to'g'ri ishlab chiqarishga o'tish xavfi haqida xavotirlarni yana bir bor oshirdi.
Narxlash xatosi Moonwellning zanjir ichidagi oracle protokolini yangilagan boshqaruv yangilanishidan so'ng sodir bo'ldi, bu protokol zanjirdan tashqari bozor narxlarini kreditlash mantig'ida ishlatilishi mumkin bo'lgan ma'lumotlarga aylantirdi. Tizim cbETH ning dollar qiymatini noto'g'ri hisoblab chiqdi, bu ikkalasining ham valyuta kursini joriy qiymatga ko'paytirish orqali hisoblanishi kerak. ETH/USD narxiva shuning uchun noto'g'ri ravishda faqat ikkalasi o'rtasidagi nisbatdan foydalanilgan, bunda cbETH narxi bozordagi haqiqiy narx o'rniga taxminan 1.12 dollarga ko'rsatilgan, bu taxminan 2,200 dollarni tashkil etgan. Bunday nomuvofiqlik 2,000 baravar past bahoga olib keldi, bu esa darhol likvidatsiya botlari va fursatparast treyderlar tomonidan qo'llanildi.
Aqlli shartnoma savdogarlari va botlar bir necha daqiqada bir oz pul to'lab, minglab dollarlik to'liq cbETH garovini olishdi. Umuman olganda, Moonwell 1,096 dan ortiq cbETH ning buzilgan narxi tufayli yomon qarz ko'rinishidagi qaytarib bo'lmaydigan kreditlarning katta miqdorini yo'qotdi, ular likvidatsiya qilindi.
Muammo aniqlangandan so'ng, Moonwell jamoasi tezda javob berdi va qo'shimcha ekspluatatsiyadan qochish uchun cbETH bozorlarining qarz olish va yetkazib berish limitlari sonini sezilarli darajada kamaytirdi. Shunga qaramay, tuzatish besh kunlik boshqaruv ovoz berish va vaqtni blokirovka qilish davrini olganligi sababli, likvidatsiyalar shu vaqt ichida to'planib bordi. O'shandan beri protokolda oracle noto'g'ri konfiguratsiyasi va xavf tekshiruvlarini kuchaytirish bilan shug'ullanishga mo'ljallangan boshqaruv taklifi taklif qilindi.
Tekshiruv ostidagi sun'iy intellektning roli
Garchi o'tmishdagi ekspluatatsiyalarning aksariyati DeFi Bu sektor oracle narxlari kanallarining buzilganligi yoki tezkor kreditlar tufayli yuzaga kelgan bo'lsa-da, tahlilchilarning fikricha, bu noyob holat, chunki u sun'iy intellekt tomonidan yaratilgan kodga bog'liq. Ilg'or generativ model bo'lgan Klod Opus 4.6 tomonidan hammualliflik qilingan GitHub commitlari aqlli shartnoma xavfsizligi auditori Pashov tomonidan ijtimoiy tarmoqlarda noto'g'ri oracle mantig'ini qo'shgan pull so'rovi haqida ta'kidlangan. Bu blokcheyn va sun'iy intellekt doiralarida muhim moliyaviy infratuzilmani rivojlantirishda sun'iy intellektning roli borasida tortishuvlarga sabab bo'ldi.
Ishlab chiquvchilarning ishlab chiqarish darajasidagi kodni yozish jarayoni sun'iy intellekt takliflari yoki ko'rsatmalariga asoslanadi, bu sanoat kuzatuvchilari tomonidan vibe-kodlash deb nomlanadi. Bu holda, oraliq valyuta kursini to'g'ri AQSh dollari qiymatiga ko'paytirmaslikning asosiy narxlash hisob-kitobini boshqarish jonli pul bozori sharoitida halokatli bo'ldi.
Tanqidchilar sun'iy intellekt vaqt talab qiladigan odatiy vazifalarni tezlashtirishda foydali bo'lishiga qaramay, avtomatlashtirishda kod yaratish iqtisodiy invariantlarning murakkab bilimlari va foydalanish uchun mo'ljallangan chekka mantiqni yetarlicha o'zlashtirmaganligini ta'kidlaydilar. DeFi protokollar. Narxlarni aniqlashda oddiy birlik konvertatsiyasi yoki arifmetik xato, ayniqsa, tizimning to'lov qobiliyati bozorning to'g'ri narxiga bog'liq bo'lgan yuqori darajada kreditlangan garovga qo'yilgan kredit tizimlarida, miqyosda qo'llanilgandan so'ng, katta tizimli xavfga aylanishi mumkin.
Dasturiy ta'minotni ishlab chiqishda sun'iy intellekt tarafdorlari, shuningdek, Klod yoki boshqa generativ modellar kabi tizimlardan foydalanganda erishilgan samaradorlik o'sishini tan olishadi, ammo rasmiy tekshirish tizimlari va inson auditorlari hali ham zarurligini ta'kidlashadi. Bu odamlar sun'iy intellekt xavfsizlikni, ayniqsa milliardlab zanjirli likvidlikka ega protokollarda sinchkovlik bilan ko'rib chiqish jarayonlarini to'ldira olmaydi, lekin to'ldirishi kerakligini ta'kidlaydilar.
uchun kengroq oqibatlar DeFi va AI rivojlanishi
Moonwellning mag'lubiyati allaqachon kengroq miqyosda munozaralarga sabab bo'ldi DeFi Jamoatchilik vositalari, audit standartlari va boshqaruv himoyasi haqida. Taxminan 1.78 million dollarlik umumiy yo'qotish katta protokollardagi tarixiy ekspluatatsiyalar nuqtai nazaridan nisbatan kichik deb hisoblanishi mumkin bo'lsa-da, bu voqea narxlar oqimidagi kichik mantiqiy xatolar ham jonli bozorlarda yanada katta ko'p million dollarlik natijalarga olib kelishi mumkinligini ta'kidlaydi.
Xavfsizlik bo'yicha mutaxassislarning fikriga ko'ra, oracle hali ham keng tarqalgan zaiflik nuqtasi hisoblanadi DeFiKredit platformalari garov ma'lumotlarining aniq baholanishiga tayanadi. Ushbu asosiy ma'lumot tashqi yoki ichki narxlarni manipulyatsiya qilish bilan zaharlangandan so'ng, protokolning butun xavf modeli ishlamay qolishi mumkin. Ushbu hodisa xatoning arxetipik sababini, arifmetik va ma'lumotlar oqimlarining yomon tasdiqlanishini sun'iy intellektga bog'lash orqali qo'shimcha burilish yasaydi.
Ushbu ekspluatatsiyadan beri Moonwell boshqaruv forumlari faolroq bo'ldi, chunki hamjamiyat a'zolari xavfni kamaytirish choralarini, jumladan, hamyon qarzlarini maksimal miqdorda olish, qo'shimcha likvidatsiya to'lovlari buferlari va oracle qayta konfiguratsiyalari amalga oshirilishidan oldin zanjir ichidagi sinovlarni taklif qilishdi. Protokol insayderlarining so'zlariga ko'ra, zarar ko'rgan foydalanuvchilarga kompensatsiya to'lash bo'yicha tiklanish rejalari muhokama qilinmoqda, ammo tafsilotlar hali ham muhokama qilinmoqda.
Aqlli shartnoma muhandisligida bu sun'iy intellekt uchun nimani anglatadi
Moonwell avariyasi tizimning muhim qismlariga sun'iy intellektni joriy etishni istagan ishlab chiquvchilar va protokol dizaynerlari uchun ogohlantiruvchi misollardan biridir. Aqlli shartnomalarning to'g'rilik kafolatlari oddiy dastur kodlariga qaraganda ancha yuqori, chunki aqlli shartnomalarning moliyaviy yaxlitligi xavf ostida. Avtomatlashtirilgan kod yaratish orqali shablonlar va ishlab chiquvchilarning unumdorligiga yordam berilishi mumkin bo'lsa-da, rasmiy tasdiqlash, inson tekshiruvi va iqtisodiy qarama-qarshiliklarga qarshi qat'iy sinovlar juda muhimdir.
Sun'iy intellekt yordamidagi toifadagi ko'proq vositalar joylashtirilmoqda Web3 muhandislik jarayonlari bilan bir qatorda, sanoat sun'iy intellektning kelib chiqishi, qaror qabul qilish mantig'i va raqamli to'g'rilikni aniq ko'rib chiqadigan yangi audit tizimlarini talab qilmoqda. Bunga avtomatlashtirilgan sinov dasturlari, ramziy bajarilish va shartnoma ishlab chiqarishga kirishdan oldin uning mantig'ini juda past darajada tekshirishi mumkin bo'lgan fuzzing usullari kiradi.
Keyingi bir necha hafta ichida Moonwellning boshqaruv samaradorligi va jamoatchilikning munosabati, ehtimol, kengroq sifatni belgilaydi. DeFi sanoat AI tomonidan yaratilgan kod xavfini oldini olishni ko'rib chiqadi va ishlab chiqarish uchun muhim bo'lgan moliyaviy dasturlarga generativ modellarni kiritish bo'yicha yanada qat'iy ko'rsatmalarni ishlab chiqadi.
Masʼuliyatdan voz kechish
Bunga javoban Ishonch loyihasi bo'yicha ko'rsatmalar, iltimos, ushbu sahifada taqdim etilgan ma'lumotlar yuridik, soliq, investitsiya, moliyaviy yoki boshqa har qanday maslahat shakli sifatida talqin qilinmasligi va talqin qilinmasligini unutmang. Faqat yo'qotishingiz mumkin bo'lgan narsaga investitsiya qilish va agar shubhangiz bo'lsa, mustaqil moliyaviy maslahat olish muhimdir. Qo'shimcha ma'lumot olish uchun biz shartlar va emitent yoki reklama beruvchi tomonidan taqdim etilgan yordam va qo'llab-quvvatlash sahifalariga murojaat qilishni tavsiya qilamiz. MetaversePost to'g'ri, xolis hisobot berish majburiyatini oladi, lekin bozor sharoitlari ogohlantirilmasdan o'zgarishi mumkin.
Muallif haqida
Alisa, ixtisoslashgan jurnalist MPost, kripto, AI, investitsiyalar va keng ko'lamli sohalarga ixtisoslashgan Web3. Rivojlanayotgan tendentsiyalar va texnologiyalarni diqqat bilan kuzatib, u o'quvchilarni raqamli moliyaning doimiy rivojlanayotgan manzarasi haqida xabardor qilish va jalb qilish uchun keng qamrovli yoritishni taqdim etadi.
Boshqa maqolalar
Alisa, ixtisoslashgan jurnalist MPost, kripto, AI, investitsiyalar va keng ko'lamli sohalarga ixtisoslashgan Web3. Rivojlanayotgan tendentsiyalar va texnologiyalarni diqqat bilan kuzatib, u o'quvchilarni raqamli moliyaning doimiy rivojlanayotgan manzarasi haqida xabardor qilish va jalb qilish uchun keng qamrovli yoritishni taqdim etadi.
