مؤسسة إيثيريوم تغير أولوياتها: الأمان بدلاً من السرعة، و 128-بت كمتطلب غير قابل للإلغاء بحلول عام 2026

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

من السرعة إلى الموثوقية: لحظة التحول

بدأت العديد من هياكل STARK المبنية على الرياضيات تتفكك خلال الأشهر الأخيرة. الافتراضات التي استند إليها المصممون تبين أنها غير قابلة للتحقيق. خاصة فيما يتعلق بـ “proximity gap” في بروتوكولات SNARK و STARK المعتمدة على التجزئة — وهي الافتراضات التي أثبتتها الأوساط الأكاديمية خطأ. النتيجة: تراجعت الأمان الفعلي لبعض المعلمات بشكل كبير عن المعلن.

تخلص مؤسسة إيثريوم إلى أن عدم الثقة المخفية في الرياضيات غير مقبول لنظام L1. بدلاً من استراتيجية “الأمان بشرط”، وضعوا متطلبًا قاطعًا: أمان مثبت، بمجموعة من البتات لا تقل عن 128. هذا يتماشى مع المعايير الأكاديمية والممارسات التشفيرية الدائمة — مستوى لا يمكن حتى نظريًا أن يهاجمه حتى المهاجمون الأكثر خبرة.

المنطق بسيط: إذا قام أحدهم بتزوير إثبات zkEVM، فإنه يعيد كتابة الحالة الكاملة لـ L1، ويخلق رموزًا من لا شيء، ويجبر البروتوكول على الكذب. هذا ليس مجرد ثغرة في العقد — إنه انهيار الثقة في النظام بأكمله. ولهذا تصر مؤسسة إيثريوم على وجود “احتياطي” غير قابل للنقاش من الأمان.

ثلاث مراحل للتنفيذ مع مواعيد نهائية صارمة

المرحلة الأولى — فبراير 2026: يجب على كل فريق zkEVM ربط نظام إثباتاته بـ “soundcalc” — أداة حساب موثوقة تدعمها مؤسسة إيثريوم. بدلاً من أن يعلن كل مشروع عن أمانه البتّي استنادًا إلى افتراضاته الخاصة، يعمل الجميع على منصة واحدة. سيتم تحديث soundcalc عند اكتشاف هجمات جديدة، مما يضمن تحديث التقييمات باستمرار.

المرحلة الثانية — مايو 2026 (“Glamsterdam”): متطلب أدنى من الأمان المثبت بـ 100 بت، وحجم الأدلة النهائية يصل إلى 600 كيلوبايت، بالإضافة إلى شرح علني لبنية التكرار لكل مكدس. هذا مدخل أسهل قبل المتطلب النهائي — هدف وسيط يميز بين الأنظمة الموثوقة بشكل مشروط وتلك غير الكافية بشكل واضح.

المرحلة الثالثة — ديسمبر 2026 (“H-star”): الهدف الكامل: أمان مثبت بـ 128 بت، وأحجام الأدلة لا تتجاوز 300 كيلوبايت، وتبرير رياضي رسمي لبنية التكرار. في هذه المرحلة، يتحول الهندسة إلى التحقق الرسمي — عالم الأدلة، وليس الافتراضات.

الأدوات التقنية لتحقيق المستحيل

لم تصدر مؤسسة إيثريوم فقط متطلبات — بل أشارت إلى الأدوات التي تجعل الأدلة ذات 128 بت و300 كيلوبايت واقعية.

WHIR — اختبار جديد لقرب Reed-Solomon، وهو في ذات الوقت مخطط التزام متعدد الحدود. مقارنة مع هياكل FRI السابقة: الأدلة أصغر بمقدار 1.95 مرة مع نفس مستوى الأمان، والتحقق أسرع بعدة مرات. يضمن مقاومة ما بعد الكم دون تكاليف إضافية على الحجم.

JaggedPCS — تقنية تتجنب الإفراط في التعبئة عند ترميز المسارات كمحددات متعددة الحدود. يقلل المصدقون من العمل غير الضروري، مع الحفاظ على اختصار الالتزامات.

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

فرق مستقلة، مثل Whirlaway، تختبر بالفعل WHIR لمكدسات STARK متعددة الحدود بكفاءة محسنة. الرياضيات تتطور بسرعة، لكنها تتراجع أيضًا عن الافتراضات التي كانت تعتبر مضمونة قبل نصف سنة.

رهانات كبيرة وأسئلة لم تُحل بعد

إذا كانت الأدلة تُعد في أقل من 10 ثوانٍ وتظل أقل من 300 كيلوبايت، يمكن لإيثريوم أن يزيد بشكل جذري من حد الـ gas دون الحاجة إلى أن يعيد المدققون المحليون تنفيذ كل معاملة. بدلاً من ذلك، سيفحصون إثباتًا مضغوطًا — طريق نحو استثمار فعلي مع قدرة نقل عالية.

لكن الواقع يتخلف عن بيئات الاختبار لـ EthProofs. الإثبات في الوقت الحقيقي — لا يزال معيارًا خارج السلسلة، يعتمد على الأجهزة المُعدة مسبقًا والأحمال المُتحكم فيها. الفجوة بين ذلك و1000 مدقق مستقل يحتاجون إلى تشغيله في منازلهم لا تزال كبيرة.

الأصعب قد يكون ليس الرياضيات ذاتها، بل صياغة المعمارية الكاملة للتكرار. العديد من zkEVM تتكون من عشرات المخططات، مجمعة بواسطة “كود لاصق”. توثيق والتحقق من أمان مثل هذه المكدسات هو مهمة كاملة لمشاريع مثل Verified-zkEVM، التي لا تزال في مراحل مبكرة.

بالإضافة إلى ذلك، يمكن أن يُعاد النظر في مجموعة البتات الحالية البالغة 100 غدًا، إذا ظهرت هجمات جديدة. soundcalc يتطور باستمرار، ويتم تحديثه مع تقدم التحليل التشفيري.

من سباق السرعة إلى سباق الموثوقية

قبل عام، كان السؤال: هل يمكن لـ zkEVM إثبات بسرعة كافية؟ الجواب الآن موجود. السؤال الحقيقي الآن: هل يمكنها إثبات موثوقية كافية — بمستوى أمان لا يعتمد على افتراضات يمكن أن تُخترق، مع أدلة صغيرة لنشر P2P، ومع بنى يمكن التحقق منها رسميًا لمئات المليارات من الدولارات؟

سباق القدرة على النقل انتهى. سباق الأمان غير القابل للنقاش يبدأ الآن.