Nyu-York shahri, Nyu-York, 2026-yil 5-fevral, Chainwire
Certora, Web3 sohasida eng ilg‘or jamoalar ishonadigan to‘liq stekli xavfsizlik kafolati platformasi, Ethereum Foundation tomonidan autoprecompiles to‘g‘riligini tekshirish uchun tadqiqot granti bilan taqdirlandi. Autoprecompiles - bu Ethereum Foundation’ning zkEVM tashabbusi uchun Powdr Labs tomonidan ishlab chiqilgan ZK hisoblashdagi muhim optimallashtirish hisoblanadi.
zkEVM Ethereum tarmog‘ining kengayuvchanligini massiv optimallashtirishni ochib beradi, bunda aqlli shartnomalar uchun hozirgi bajarish modeli optimallashtirilgan, ZK imkoniyatiga ega alternativaga almashtiriladi. zkEVM’ning bajarish mexanizmining to‘g‘riligini ta’minlash ushbu tashabbus muvaffaqiyati uchun juda muhimdir.
Autoprecompiles - bu avtomatik tarzda aniqlanadigan, past darajadagi ZK zanjir komponentlari bo‘lib, ular ishlashni optimallashtirish va zkEVM’da kriptografik va arifmetik amallarni tezroq bajarish uchun qayta ishlatiladi. Ushbu optimallashtirish yuqori samarali zkEVM yaratishda muhim ahamiyatga ega bo‘lib, ushbu grant orqali Certora va Powdr Labs bu optimallashtirish usulining to‘g‘riligiga kafolat berish uchun yangi verifikatsiya usullarini ishlab chiqish uchun hamkorlik qilmoqda.
zkEVM EVM uchun nol bilimli kelajagining asosi bo‘lib, kamroq gaz, ko‘proq tezlik, ko‘proq xavfsizlik va katta kengayuvchanlikni ta’minlaydi. Maqsad - butun ekotizim uchun foydali bo‘lgan ancha samarali model yaratishdir.
“Autoprecompiles zkEVM bajarish qatlamini amalga oshirish mumkin qiladi, lekin ular butun vositalar zanjirining to‘g‘riligini tekshirish muhimligini ham oshiradi,” dedi Seth Hallem, Certora bosh direktori. “Ethereum Foundation’ga ushbu ishni qo‘llab-quvvatlagani uchun minnatdormiz, bu esa ZK hisoblashning o‘ziga matematik verifikatsiyani olib keladi. Certora’ning ZK’dagi tajribasi va Powdr Labs bilan hamkorligimiz ushbu optimallashtirish usuli zkEVM vositalar zanjirida xavfsizlik va to‘g‘rilikdan voz kechmasdan muhim rol o‘ynashini ta’minlaydi.”
Certora ushbu tashabbus doirasida ishlab chiqilgan spetsifikatsiyalar, isbotlar va verifikatsiya ramkalarini ochiq manba sifatida taqdim etadi, bu esa barcha zkEVM implementatsiyalari, rollup yaratuvchilari va ZK protokol tadqiqotchilari uchun qayta foydalaniladigan infratuzilmani taqdim etadi.
“Precompiles zkEVM samaradorligi uchun muhim bo‘lib keldi, va autoprecompiles bu borada yanada oldinga boradi, chunki ular optimallashtirishlarni avtomatik tarzda ishlab chiqilganda verifikatsiya qilish imkonini beradi,” dedi Alexander Hicks, Ethereum Foundation tadqiqotchisi. “Biz, shuningdek, qo‘lda yaratilgan precompiles’ni tekshirish zaruratini kamaytiramiz va umuman boshqa sohalarga tatbiq etilishi mumkin bo‘lgan foydali verifikatsiya usullarini ishlab chiqamiz degan umiddamiz.”
Certora haqida
Certora - Web3’ning eng ilg‘or jamoalari ishonadigan xavfsizlik kafolati bo‘yicha hamkor. 2018-yilda dasturlash tillari va formal metodlar bo‘yicha pionerlar tomonidan asos solingan Certora, Lido, Aave, Uniswap va Compound kabi yetakchi protokollarga milliardlab qiymatni ishonch bilan himoya qilishda yordam beradi.
Ethereum Foundation haqida
Ethereum Foundation Ethereum va unga aloqador texnologiyalarni qo‘llab-quvvatlashga bag‘ishlangan notijorat tashkilotdir. Grantlar va tadqiqot tashabbuslari orqali EF markazlashmagan infratuzilmaning ochiq manba rivojlanishini ilgari suradi.
Powdr Labs haqida
Powdr Labs yuqori darajadagi dasturlar uchun samarali nol bilimli isbotlar ishlab chiqaruvchi kompilyator texnologiyasini yaratadi. Kompilyatsiya va optimallashtirish quvurlarini ixtisoslashtirish orqali Powdr maxsus ZK zanjirlar va zkVM’larning ishlashidagi tafovutni bartaraf etadi, foydalanish qulayligidan voz kechmagan holda.
