مدينة نيويورك، نيويورك، 5 فبراير 2026، Chainwire
حصلت Certora، منصة ضمان الأمان الشاملة التي تثق بها أكثر الفرق تقدمًا في Web3، على منحة بحثية من Ethereum Foundation للتحقق من صحة autoprecompiles. تعتبر autoprecompiles تحسينًا رئيسيًا في حسابات ZK تم تطويره بواسطة Powdr Labs لمبادرة zkEVM التابعة لـ Ethereum Foundation.
سيتيح zkEVM تحسينًا هائلًا في قابلية التوسع لشبكة Ethereum من خلال استبدال نموذج التنفيذ الحالي للعقود الذكية بنموذج بديل محسّن ومزود بتقنية ZK. ضمان صحة محرك تنفيذ zkEVM أمر بالغ الأهمية لنجاح هذه المبادرة.
تُعد autoprecompiles مكونات دوائر ZK منخفضة المستوى يتم استنتاجها تلقائيًا ويُعاد استخدامها لتحسين الأداء وتمكين عمليات التشفير والحساب بشكل أسرع على zkEVM. يُعد هذا التحسين ضروريًا لبناء zkEVM عالي الأداء، ومن خلال هذه المنحة تتعاون Certora وPowdr Labs لتطوير تقنيات تحقق جديدة لضمان صحة هذه التقنية التحسينية.
يشكل zkEVM أساس مستقبل المعرفة الصفرية لـ EVM، مع غاز أقل، وسرعة أكبر، وأمان أكثر، وقابلية توسع هائلة. الهدف هو إنشاء نموذج أكثر كفاءة بشكل كبير يعود بالنفع على النظام البيئي بالكامل.
قال Seth Hallem، الرئيس التنفيذي لشركة Certora: "تجعل autoprecompiles طبقة تنفيذ zkEVM قابلة للتطبيق، لكنها تزيد أيضًا من أهمية التحقق من صحة سلسلة الأدوات بأكملها. نحن ممتنون لـ Ethereum Foundation لدعمها هذا العمل، الذي يجلب التحقق الرياضي إلى أساس حسابات ZK. ستساعد خبرة Certora في ZK وتعاوننا مع Powdr Labs في ضمان أن تلعب هذه التقنية التحسينية دورًا رئيسيًا في سلسلة أدوات zkEVM دون التضحية بالأمان أو الصحة."
ستقوم Certora بجعل مواصفاتها، وإثباتاتها، وأطر التحقق التي تم تطويرها من خلال هذه المبادرة مفتوحة المصدر، وتساهم في بنية تحتية قابلة لإعادة الاستخدام لجميع تطبيقات zkEVM، وبناة rollup، وباحثي بروتوكولات ZK.
قال Alexander Hicks، باحث في Ethereum Foundation: "كانت precompiles مفتاحًا لأداء zkEVM، ويمكن أن تدفع autoprecompiles هذا الأمر إلى أبعد من ذلك من خلال التحقق تلقائيًا من هذه التحسينات أثناء إنشائها. سنقلل أيضًا من الحاجة للتحقق من precompiles اليدوية ونأمل في تطوير تقنيات تحقق مفيدة بشكل عام ستكون قابلة للتطبيق في حالات استخدام أخرى."
حول Certora
Certora هي شريك ضمان الأمان الذي تثق به أكثر الفرق تقدمًا في Web3. تأسست في عام 2018 على يد رواد في لغات البرمجة والأساليب الشكلية، وتساعد Certora بروتوكولات رائدة مثل Lido وAave وUniswap وCompound على تأمين مليارات من القيم بثقة.
حول Ethereum Foundation
Ethereum Foundation هي منظمة غير ربحية مكرسة لدعم Ethereum والتقنيات ذات الصلة. من خلال المنح والمبادرات البحثية، تعزز EF تطوير بنية تحتية لامركزية مفتوحة المصدر.
حول Powdr Labs
تطور Powdr Labs تقنية المترجمات لإثباتات المعرفة الصفرية الفعّالة للبرامج عالية المستوى. من خلال التخصص في عمليات الترجمة وخطوط التحسين، تقرب Powdr الفجوة بين أداء دوائر ZK المخصصة وzkVMs، دون التضحية بقابلية الاستخدام.
