مؤسسة Ethereum تضع خارطة طريق لبراهين zkEVM على الشبكة الرئيسية L1

نشرت مؤسسة الإيثريوم خطة تفصيلية للسماح للسلسلة الرئيسية لـ Ethereum بالتحقق من صحة الكتل باستخدام إثباتات zkEVM، مما يقلل من حاجة المدققين إلى إعادة تشغيل كل عملية حسابية بأنفسهم. تحدد المقترحة، التي شاركها عبر X في 15 يناير توماش ك. ستانتشاك، المدير التنفيذي المشارك في مؤسسة الإيثريوم، العمل الهندسي المطلوب عبر عملاء التنفيذ والإجماع في Ethereum، بالإضافة إلى بنية تحتية جديدة للإثبات وعمليات الحماية.

Ethereum L1 يتجه نحو التحقق القائم على إثبات zk

بالفعل في يوليو من العام الماضي، أعلنت مؤسسة الإيثريوم عن نهج "zk-first" الخاص بها. اليوم، يقوم مدققو Ethereum عادةً بفحص الكتلة من خلال إعادة تنفيذ المعاملات ومقارنة النتائج. تقترح الخطة بديلاً: يمكن للمدققين التحقق من إثبات تشفيري يفيد بأن تنفيذ الكتلة كان صحيحاً.

تلخص الوثيقة خط الأنابيب المقصود بمصطلحات بسيطة: ينتج عميل التنفيذ حزمة "شاهد" مدمجة للكتلة، ويستخدم برنامج zkEVM موحد تلك الحزمة لإنشاء إثبات للتنفيذ الصحيح، ويتحقق عملاء الإجماع من هذا الإثبات أثناء التحقق من صحة الكتلة.

المعلم الأول هو إنشاء "ExecutionWitness"، وهو بنية بيانات لكل كتلة تحتوي على المعلومات اللازمة للتحقق من صحة التنفيذ دون إعادة تشغيله. تدعو الخطة إلى تنسيق شاهد رسمي في مواصفات التنفيذ الخاصة بـ Ethereum، واختبارات المطابقة، ونقطة نهاية RPC موحدة. وتلاحظ أن نقطة نهاية debug_executionWitness الحالية "تُستخدم بالفعل في الإنتاج من قبل Kona من Optimism"، بينما تشير إلى أنه قد تكون هناك حاجة إلى نقطة نهاية أكثر ملاءمة لـ zk.

الاعتماد الرئيسي هو إضافة تتبع أفضل للأجزاء من الحالة التي تلمسها الكتلة، عبر قوائم الوصول على مستوى الكتلة (BALs). تقول الوثيقة إنه اعتباراً من نوفمبر 2025، لم يتم التعامل مع هذا العمل على أنه عاجل بما يكفي لنقله إلى تفرعات سابقة.

المعلم التالي هو "برنامج ضيف zkEVM"، الموصوف بأنه منطق التحقق عديم الحالة الذي يتحقق مما إذا كانت الكتلة تنتج انتقالاً صالحاً للحالة عند دمجها مع شاهدها. تؤكد الخطة على الإنشاءات القابلة للتكرار والتجميع إلى أهداف موحدة بحيث تكون الافتراضات صريحة وقابلة للتحقق.

بالإضافة إلى الرمز الخاص بـ Ethereum، تهدف الخطة إلى توحيد الواجهة بين zkVMs وبرنامج الضيف: أهداف مشتركة، وطرق مشتركة للوصول إلى التجميعات المسبقة والإدخال/الإخراج، والافتراضات المتفق عليها حول كيفية تحميل البرامج وتنفيذها.

على جانب الإجماع، تدعو خريطة الطريق إلى إجراء تغييرات بحيث يمكن لعملاء الإجماع قبول إثباتات zk كجزء من التحقق من صحة كتلة المنارة، مع المواصفات المصاحبة ومتجهات الاختبار وخطة الطرح الداخلي. كما تشير الوثيقة إلى توافر حمولة التنفيذ على أنه مهم، بما في ذلك نهج قد يتضمن "وضع الكتلة في blobs".

يعامل المقترح توليد الإثبات كمشكلة تشغيلية بقدر ما هو مشكلة بروتوكول. يتضمن معالم لدمج zkVMs في أدوات EF مثل Ethproofs و Ere، واختبار إعدادات GPU (بما في ذلك "zkboost")، وتتبع الموثوقية والاختناقات.

يتم تأطير المعايير المرجعية كعمل جارٍ، مع أهداف صريحة مثل قياس وقت توليد الشاهد، ووقت إنشاء الإثبات والتحقق منه، وتأثير الشبكة لنشر الإثبات. يمكن أن تغذي هذه القياسات مقترحات إعادة تسعير الغاز المستقبلية لأعباء العمل الثقيلة لـ zk.

كما تم وضع علامة على الحماية على أنها دائمة، مع خطط للمواصفات الرسمية والمراقبة وضوابط سلسلة التوريد مثل الإنشاءات القابلة للتكرار وتوقيع القطع الأثرية، ونموذج موثق للثقة والتهديد. تقترح الوثيقة "إطار عمل الانطلاق/عدم الانطلاق" لتحديد متى تكون أنظمة الإثبات ناضجة بما يكفي لاستخدام أوسع.

يبرز اعتماد خارجي واحد: ePBS، الذي تصفه الوثيقة بأنه ضروري لمنح المثبتين مزيداً من الوقت. بدونه، تقول الخطة إن المثبت لديه "1-2 ثانية" لإنشاء إثبات؛ معه، "6-9 ثوانٍ". تضيف الوثيقة إطاراً من جملتين يلتقط الإلحاح: "هذا ليس مشروعاً نعمل عليه. ومع ذلك، إنه تحسين نحتاجه". تتوقع نشر ePBS في "Glamsterdam"، المستهدف لمنتصف عام 2026.

إذا تحققت هذه المعالم، فإن Ethereum سيتحرك نحو التحقق القائم على الإثبات كخيار عملي على L1، بينما يظل التوقيت والتعقيد التشغيلي للإثبات العوامل المقيدة.

في وقت الطباعة، تم تداول ETH عند 3,300 دولار.