مؤسسة إيثريوم تفصل تقدم zkEVM وخارطة الطريق لعام 2026

ملخص سريع

أبلغت مؤسسة إيثريوم عن تحسينات في أداء zkEVM خلال العام الماضي، وتُعطي الآن الأولوية للأمان والتحقق الرسمي، وتحدد معالم لتحقيق أمان قابل للإثبات بقوة 128 بت بحلول نهاية عام 2026.

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

ووفقًا للتقرير، انخفضت زمن الاستجابة لإثبات الوقت الحقيقي بشكل كبير من 16 دقيقة إلى 16 ثانية، وتراجعت التكاليف بمقدار 45 ضعفًا، وتتحقق zkVMs الآن من صحة 99% من كتل إيثريوم في أقل من 10 ثوانٍ على الأجهزة المستهدفة. وبينما تعالج هذه التحسينات الأداء وتحد من الاختناقات الرئيسية، يظل الأمان مصدر قلق رئيسي.

لا تزال العديد من zkEVMs المعتمدة على STARK تعتمد على افتراضات رياضية غير مثبتة، وقد تحدت الأبحاث الأخيرة بعض هذه الافتراضات، مما قلل من هامش الأمان الفعلي. تؤكد مؤسسة إيثريوم أن الأمان القابل للإثبات لا يزال ضروريًا، مع استهداف أمان بقوة 128 بت كما توصي به الهيئات المعيارية ويتم التحقق منه من خلال معايير حسابية، خاصة مع إمكانية استغلال المهاجمين لعيوب في الصلاحية في zkEVMs الطبقة 1، والتي قد تعرض كميات كبيرة من الأموال للخطر.

إن موازنة الأمان وحجم الإثبات أمر حاسم، حيث أن زيادة الأمان عادةً ما تزيد من حجم الإثبات، والذي يجب أن يظل manageable لنشره عبر شبكة إيثريوم. لمعالجة ذلك، حددت المؤسسة ثلاث معالم رئيسية:

تسلط مؤسسة إيثريوم الضوء على أنه بحلول نهاية فبراير 2026، من المتوقع أن تدمج فرق zkEVM أداة SoundCalc، وهي أداة لتقدير الأمان بشكل مستمر استنادًا إلى الحدود التشفيرية الحالية ومعايير الإثبات. بحلول نهاية مايو 2026، يهدف النظام البيئي إلى تحقيق أمان قابل للإثبات بقوة 100 بت مع حجم إثبات نهائي أقل من 600 كيلوبايت ووصف مضغوط لبنية التكرار. بحلول نهاية 2026، الهدف هو أمان قابل للإثبات بقوة 128 بت، وحجم إثبات أقل من 300 كيلوبايت، وحجة أمان رسمية للبنية التكرارية.

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

مؤسسة إيثريوم تحوّل التركيز إلى أمان zkEVM والتحقق الرسمي قبل معلم H-star

هناك سبب استراتيجي للتركيز على أمان zkEVM في هذه المرحلة. تأمين نظام لا يزال يتطور يمثل تحديًا، ولكن بمجرد استقرار بنية zkVM ووصول الفرق إلى الأهداف الرئيسية، يمكن تحقيق جهود التحقق الرسمي بشكل كامل. بحلول معلم H-star، من المتوقع أن يكون طبقة نظام الإثبات قد استقرت إلى حد كبير — ليست ثابتة بشكل دائم، ولكنها مستقرة بما يكفي لتمكين التحقق الرسمي من المكونات الحيوية، وإنهاء إثباتات الأمان، وتوحيد المواصفات مع الكود المنشور. هذا الاستقرار ضروري لتحقيق zkEVMs آمنة للطبقة 1.

قبل عام، كان السؤال الرئيسي هو ما إذا كانت zkEVMs يمكنها إثبات المعاملات بسرعة كافية، وقد تم التعامل مع هذا التحدي الآن. التركيز الحالي هو على ما إذا كانت يمكنها القيام بذلك بشكل موثوق وآمن، والثقة عالية بأنها تستطيع. تخطط مؤسسة إيثريوم لنشر منشور في يناير يوضح هذه المعالم، يليه تحديث تقني يوضح تقنيات نظام الإثبات لتحقيق مستويات الأمان وحجم الإثبات المستهدفة. كما سيتم تحديث Ethproofs لتعكس التحول نحو التركيز على الأمان جنبًا إلى جنب مع الأداء. سيكون فريق التشفير في المؤسسة متاحًا لدعم هذه العملية على مدار الوقت. مع اكتمال سباق الأداء، يتحول الاهتمام الآن إلى تعزيز الأسس.