اختر منطقتك 
شركة تكنولوجيا المعرفة الصفرية = لا شيء؛ قامت Foundation بتطوير مترجم جديد من نوع 1 لآلة Ethereum Virtual Machine (zkEVM) لمعالجة المخاوف الأمنية التي تم تحديدها في حلول توسيع نطاق Ethereum المماثلة التي تعمل بنظام ZK.
وفي التحدث حصريًا إلى كوينتيليغراف، =nil؛ يقول ميشا كوماروف، الرئيس التنفيذي للمؤسسة والمؤسس المشارك، إن التكنولوجيا تعطي الأولوية للأمن وتسمح بتجميع كود البرمجة عالي المستوى تلقائيًا في دوائر صفر المعرفة المختصرة غير التفاعلية للمعرفة (zk-SNARKS).
تم تصميم zkEVM الخاص بالشركة ليكون متوافقًا مع evmone، وهو إصدار C++ من بيئة التنفيذ الأساسية لـ Ethereum. الفكرة الرئيسية هي أن كود الطلبات تتم معالجته وتجميعه كإثباتات يتم تقديمها إلى Ethereum بنفس تنسيق EVM الخاص به.
ذات صلة: تهدف Ethereum L2 Starknet إلى تحقيق اللامركزية في المكونات الأساسية لشبكة التوسع الخاصة بها
يتم الترويج للتوافق لضمان أمان أفضل وتنفيذ أسرع، نظرًا لأن الرمز الثانوي هو نفسه ويلغي الحاجة إلى عمليات تدقيق طويلة ومكلفة للكود. يوفر هذا النهج أيضًا المعاملات والعقود الذكية المتوافقة مباشرة مع جهاز Ethereum الظاهري.
تم طرح العديد من وحدات zkEVM رفيعة المستوى في السوق في عام 2023. وتهدف بروتوكولات الطبقة الثانية هذه إلى مساعدة Ethereum على معالجة أحمال المعاملات الكبيرة ووظائف العقود الذكية. وقد قام كوينتيليغراف بتغطية هذه الأمور بإسهاب، حيث قامت شركات مثل كونسنسيس وبوليجون وستارك وير وماتر لابز بإصدار حلول ZK-rollup لتوفير إنتاجية عالية وقدرات منخفضة الرسوم للتطبيقات والخدمات اللامركزية ومستخدمي الشبكة.
ذات صلة: تتراجع Matter Labs عندما تطلق zkSync بوابة النظام البيئي التي تديرها DappRadar
كما يشرح كوماروف، =nil; يعتمد حل Foundation على مترجم آلي يتناقض مع تصميم أجهزة zkEVMs الأخرى، والتي تحدد الدوائر يدويًا. ويصف الأساليب الحالية بأنها “تستغرق وقتًا طويلاً” و”مفرطة في التعقيد”، الأمر الذي ينطوي أيضًا على خطر إدخال خطأ بشري.
كانت هذه المخاوف واضحة في اكتشاف خطأ في السلامة في دوائر ZK المستخدمة في شبكة zkSync Era الرئيسية الخاصة بشركة Matter Labs. تلقت شركة الأمن ChainLight مكافأة قدرها 50000 دولار أمريكي (USDC) من الشركة لتحديد الثغرة الأمنية في سبتمبر 2023.
ذات صلة: المؤسس المشارك لـ Polygon: رهان بقيمة مليار دولار على ZK-rollups يؤتي ثماره
كان من الممكن أن يسمح هذا الخطأ للمهاجم بإنتاج أدلة للكتل التي تم تنفيذها بشكل غير صحيح، وهو ما كان سيقبله مدقق العقد الذكي على شبكة إيثريوم الرئيسية. نشرت شركة Matter Labs إصلاحًا ومنحت ChainLight مكافأة خطأ، وهي أول مكافأة تتم المطالبة بها بسبب خلل في دائرة ZK في عصر zkSync.
يشرح كوماروف قائلاً: “بدأ فيتاليك بوتيرين يتحدث عن المخاوف الأمنية، مثل ماذا لو تعطلت الدائرة الكهربائية”.
“لقد بدأنا في الحفر فيه. أصبحت المشكلة واضحة أن هذه الدوائر تتم كتابتها يدويًا. لقد أمضى الناس سنوات في بنائه، ولكنه في الأساس يعيد إنشاء نفس المنطق الذي يفعله EVM، يدويًا في تمثيل الدائرة.
ويضيف كوماروف أن هذه الطريقة تجعل تدقيق التعليمات البرمجية أمرًا صعبًا للغاية. يعد خطأ zkSync مثالاً على احتمالية حدوث خطأ في الدوائر المحددة يدويًا. = لا شيء؛ يتمثل نهج المؤسسة في أتمتة المترجم من EVM الخاص بـ Ethereum باستخدام مترجم الدائرة الذي تم تطويره على مدار العامين الماضيين.
“هذا هو أقرب ما يمكن أن نحصل عليه من أن تتمتع الدائرة بنفس الأمان الذي يتمتع به التنفيذ الأصلي لـ Ethereum. إذا تم كسر ذلك، فستكون الدائرة مكسورة.”
تم تصميم الحل أيضًا ليكون قابلاً للتكيف مع تغييرات EVM مع استمرار خريطة طريق Ethereum، مما يوفر مترجم zkEVM “مقاوم للمستقبل” ولا يتطلب موارد كبيرة ووقتًا للترقية، نظرًا لتصميمه الآلي. يسمح هذا لـ zkEVM بدمج أحدث مقترحات تحسين Ethereum عند دخولها حيز التنفيذ.
نشرت المؤسسة مستودع الكود الأولي والمواصفات الخاصة بها في 12 ديسمبر.
المجلة: إليك كيف يمكن أن تصبح مجموعات ZK الخاصة بـ Ethereum قابلة للتشغيل المتبادل
