Xavfsizlik ekspertlari AI agentlari yordamida Miden zkVM zaifliklarini aniqlashdi
Xavfsizlik mutaxassislari Miden zkVM loyihasini audit qilishdan oldin olti oy davomida sun'iy intellekt agentlaridan foydalanishdi. AI vositasida statik tahlil tizimi, dekompilyator va Lean modeli noldan yaratildi.
Yangi vositalar foydalanuvchilar mablag'larini o'g'irlash imkonini beruvchi jiddiy zaiflikni topishga yordam berdi. Bundan tashqari, agentlar Miden kutubxonasi uchun 95 ta tekshirilgan to'g'rilik isbotini shakllantirdi.
24.09.2026, 23:31 · Manba: Trailofbits
Fikr bildiring va muhokamaga qo'shiling