الكثير من الناس عندما يتحدثون عن zkEVM، يسهل عليهم اعتباره مجرد علامة تسويقية. ولكن في بعض حلول Layer2، هذه تحدٍ هندسي حقيقي - كيفية تحويل كل عملية من عمليات آلة الإيثريوم الافتراضية إلى لغة إثبات يمكن التحقق منها رياضيًا.

تقوم العديد من حلول ZK في السوق بتبسيط تصميم الآلة الافتراضية من أجل السرعة، مما يؤدي إلى استبدال نسخة مختصرة من EVM. ماذا كانت النتيجة؟ يتعين على المطورين تعديل المنطق عند نقل الكود، مما يؤدي إلى تفكيك النظام البيئي إلى جزر منعزلة. بينما تتبنى zkEVM مسار التوافق الكامل، حيث يتم "إثبات" كل تعليمات بيئة التنفيذ واحدة تلو الأخرى، مما يسمح بالتحقق من جميع التغيرات في الحالة على السلسلة الرئيسية. أي كود تكتبه باستخدام Solidity يمكن تحويله دون فقدان إلى قيود الإثبات. هذه ليست تنازلاً، بل مقاومة صلبة.

تقنيا، يتكون هذا النظام من ثلاث طبقات. الطبقة السفلية هي عميل التنفيذ، المسؤول عن تشغيل منطق معاملات المستخدم؛ والطبقة الوسطى هي المثبت، الذي يقوم بضغط مسار التنفيذ إلى بيانات إثبات مضغوطة عبر zkEVM؛ والطبقة العليا هي المنظم، الذي يقوم بتجميع عدة إثباتات ثم إرسالها إلى الشبكة الرئيسية لإيثريوم. جوهر العملية بالكامل ليس في "السرعة"، بل في "الكمال" - ستتحقق الدوائر ذات المعرفة الصفرية من تحويل حالة كل رمز عملية EVM، مما يجعل توسيع Layer2 لا يعتمد بعد الآن على "الثقة في عقدة معينة"، بل يعتمد على المنطق الرياضي البحت.

نقطة突破 أخرى هي في عملية توليد الإثباتات. تكلفة الإثباتات في zkEVM التقليدي مرتفعة للغاية، مما يجعل DApp الكبيرة غير قابلة للتشغيل. من خلال تصميم الدوائر على مراحل، يمكن فصل أنواع العمليات المختلفة ومعالجتها - هذه التحسينات الهندسية تحدد مباشرة ما إذا كان يمكن تنفيذ الحل في السيناريوهات الحقيقية.