Web3 investor va dasturchisi Jump Crypto Celer’ning State Guardian Network (SGN) tarmog‘ida zararli validatorlarga tarmoq va uning ilovalarini, jumladan Celer’ning cBridge xizmatini buzish imkonini beradigan zaiflikni aniqladi.
Jump Crypto’ning hodisadan keyingi hisobotiga ko‘ra, SGN EndBlocker kodidagi xatolik tufayli validatorlar bir xil yangilanishga bir necha marta ovoz berishi mumkin edi.
Validatorlarga ko‘p marta ovoz berishga ruxsat berish orqali zararli shaxslar zararli yangilanishlarni ma’qullash imkoniyatini oshirishi mumkin edi. Hisobotda quyidagilar tushuntirilgan:
“[EndBlocker] kodida validatorning bir xil yangilanish bo‘yicha ikki marta ovoz berishiga to‘sqinlik qiladigan tekshiruv yo‘q. Zararli validator bir xil yangilanishga bir necha marta ovoz berish orqali bundan foydalanishi, ovoz kuchini amalda ko‘paytirishi va ovoz berish natijasini yaroqsiz yoki zararli yangilanish foydasiga o‘zgartirishi mumkin edi.”
Hisobotga ko‘ra, Celer — zanjirlararo aloqani qo‘llab-quvvatlaydigan Cosmos asosidagi blokcheyn.
Celer SGNv2 kodining tarmoqdan tashqari ayrim qismlarini GitHub’da e’lon qilganidan so‘ng, Jump skriptni ko‘rib chiqdi.
Shundan so‘ng protokol jamoasiga kamchilik haqida maxfiy tarzda xabar berildi va u zararli maqsadlarda foydalanilmasidan oldin tuzatildi.
Hisobotga ko‘ra, zaiflik zararli validatorga “keng ko‘lamli imkoniyatlar” berishi mumkin edi. Bunga ko‘prik o‘tkazmalari, xabarlar chiqarilishi yoki Celer’ning asosiy SGN shartnomasida steyking va delegatsiya kabi ixtiyoriy zanjir ichidagi hodisalarni soxtalashtirish imkoniyati ham kiradi.
Xatolik sabab validatorlar Celer tarmog‘iga zararli yangilanishlarni kiritishi mumkinligini ko‘rsatuvchi tahlildan keyingi hisobot skrinshoti. Manba: Jump Crypto
Biroq Celer’da ko‘prik mablag‘larining to‘liq o‘g‘irlanishiga qarshi himoya choralari mavjud.
Hisobotda uchta mexanizm ta’kidlangan: muayyan qiymatdan oshadigan o‘tkazmalar bo‘yicha ko‘prik shartnomasi ishga tushiradigan kechikish; tezda chiqarib olinishi mumkin bo‘lgan tokenlar qiymatini cheklovchi hajmni boshqarish vositasi; hamda zararli o‘tkazmalar natijasida garov yetishmasligi holati yuzaga kelganda ishga tushadigan shartnomalarni favqulodda to‘xtatish mexanizmi.
Xavfsizlik choralari mavjud bo‘lsa ham, protokol to‘liq himoyalanmagan bo‘lardi. Jump hisobotiga ko‘ra, tranzaksiya limitlari faqat har bir zanjir va token uchun alohida qo‘llanadi va “qo‘llab-quvvatlanadigan tokenlar hamda zanjirlar soni ko‘pligini hisobga olsak, shartnomalar to‘xtatilishidan oldin hujumchi 30 million dollarlik tokenlarni olib chiqib ketishi mumkinligi ehtimoldan xoli emas”, deyiladi hisobotda.
DefiLlama ma’lumotlariga ko‘ra, yozish vaqtida bu miqdor Celer’da qulflangan 129,28 million dollarlik joriy qiymatning taxminan 23 foizini tashkil etadi.
“Shuni ta’kidlash kerakki, bu o‘rnatilgan mexanizmlar faqat Celer ko‘prigi shartnomalarini himoya qila oladi. Hisobotda davom etiladi: “Celer’ning zanjirlararo xabar almashinuvi asosida qurilgan dApp’lar sukut bo‘yicha ushbu zaifliklarga to‘liq duchor bo‘ladi.”
Celer o‘z ko‘prigidagi zaifliklar uchun 2 million dollarlik xatolar uchun mukofot taklif qiladi. Biroq mukofot dasturlari SGNv2 tarmog‘idagi zaiflik kabi zanjirdan tashqari zaifliklarni qamrab olmaydi.
Jump protokol bilan SGNv2 tarmog‘ini o‘zining xatolar uchun mukofot dasturiga qo‘shish masalasini muhokama qilganini bildirdi. Hozirda Celer jamoasi Jump hisobotiga to‘lanishi mumkin bo‘lgan mukofot miqdorini baholamoqda.