أطلق مختبر “better.codes” تحدياً بحثياً جديداً يركز على فجوة إثبات تشفيرية في نظام “koalaIRS12″، وهو نظام فرعي رئيسي ضمن جهود إثبات المعرفة الصفرية (ZK) لمشروع إيثريوم. هذا التحدي يمنح الباحثين فرصة لتحسين مستويات الأمان من جهتين متعاكستين، مما يجعل القياس أكثر دقة ووضوحاً للجميع.
في الساعة 15:44:47 بتوقيت UTC من يوم 21 أغسطس، أظهرت لوحة المتصدرين المباشرة شهادة أدنى بقيمة 63.99-بت وشهادة أعلى بقيمة 116.13-بت لنظام “koalaIRS12”. النتيجتان تركتا فجوة مقدارها 52.14-بت دون حل بعد تسعة عروض مُعتمدة من سبعة باحثين.
ما الذي يثبته المتصدرون في لوحة التحدي؟
يستخدم التحدي مسارين رئيسيين لتقليص هذه الفجوة:
– مسار الإثبات (Soundness Track): يرفع الشهادة الدنيا عن طريق إثبات أن خطأ التنفيذ الفعلي يلبي الهدف المشفر عند نصف قطر محدد.
– مسار الهجوم (Attack Track): يخفض الشهادة العليا عن طريق إثبات وجود جزء غير آمن من النظام وفق شروط محددة.
المهم هنا أن صيغة “koalaIRS12” هي ملف تعريف ثابت لمعاملات نظام “Reed-Solomon” المتداخل المستخدم في أبحاث أنظمة الإثبات. لكن التحدي يوضح بوضوح أن النتيجة لا تمثل الأمان الكامل للنظام، بل هي مجرد قياس لتلك القطعة المحددة فقط.
دور مؤسسة إيثريوم والتحديات البحثية
مؤسسة إيثريوم تؤكد أن التحدي يعمل في بيئة مثبتة بالكامل. كل إثبات مُرسل يتم التحقق منه عبر مُقارن آلي ونواة “Lean” الرياضية قبل قبوله. هذا يعني أن النتائج موثوقة وقابلة للمقارنة بين الباحثين.
لكن المؤسسة تنبه إلى أن الإنتاج الفعلي يتطلب طبقات إضافية من الضمانات، مثل:
– اكتمال النموذج الرياضي
– الافتراضات المضمنة في التعريفات
– مطابقة التنفيذ البرمجي للمواصفات
– كيفية تجميع الأجزاء المختلفة في نظام واحد متكامل
ورقة بحثية حديثة من جال أرنون ودون بونيه وجياكومو فينزي حددت عدة أسئلة مفتوحة في أنظمة الإثبات المختصرة، بما فيها هذه الفجوات بالذات، مما يبرز أهمية هذا التحدي للبحث الأكاديمي.
الفجوة نحو هدف ديسمبر
خطة مؤسسة إيثريوم لشهر ديسمبر 2025 طالبت بأمان قابل للإثبات بمستوى 128-بت، وحجم إثبات نهائي لا يتجاوز 300 كيلوبايت، وحجة إثبات رسمية لبنية العودية. لكن تحديثاً في فبراير أرجأ الموعد النهائي للمرحلة الثالثة إلى أوائل ديسمبر 2026.
بالنسبة لـ “koalaIRS12″، الوصول بشهادة الدنيا إلى مستوى 128-بت سيحسم الجانب الإثباتي لهذا المعيار تحديداً. لكن لتطبيق نظام zkEVM فعلياً في الإنتاج، ستحتاج الفرق إلى محاسبة أمان شاملة لكل المكونات، وضمان مطابقة المواصفات للتنفيذ، وتوثيق كامل لبنية النظام.
الأثر على إيثريوم حالياً
تقرير مايو حول إثباتات التنفيذ الاختيارية يشير إلى أن هذه المرحلة ليست حرجة للتوافق. إثباتات zkEVM تكمل اختبارات الشبكة الرئيسية، بينما تستمر إعادة تنفيذ عميل التنفيذ العادي في إدارة الإثبات.
هذا يعني أن تأثير لوحة المتصدرين يبقى حالياً في نطاق البحث فقط، لكنه يبني الأدلة التي ستحتاجها الشبكة في المستقبل لأي تحديثات أمان جوهرية.
باختصار، الفجوة البالغة 52.14-بت هي مقياس حي للعمل غير المكتمل على “koalaIRS12”. المستوى المطلوب 128-بت للإنتاج النهائي سيعتمد على كيفية دمج هذا المكوّن في حجة الأمان الأكبر، والسياق المحيط به يصر على أن القياس الحالي يخص جزءاً محدداً، لا الأمان الكامل لشبكة إيثريوم.
أسئلة شائعة
ما هي فجوة “koalaIRS12” المذكورة في التحدي؟
هي الفرق بين شهادة الأمان الدنيا (63.99-بت) والشهادة العليا (116.13-بت) لحساب مخاطر خطأ نظام معين، والفجوة الحالية تقدر بـ 52.14-بت يمكن للباحثين تقليصها من الجانبين.
هل هذا يعني أن إيثريوم غير آمنة حالياً؟
لا، هذا التحدي يخص بحثاً أكاديمياً لمكوّن محدد في أنظمة الإثبات، وهو لا يؤثر على أمان الشبكة الفعلي. إيثريوم تواصل عملها بنظام إثبات التنفيذ الحالي الآمن.
متى سيكون نظام zkEVM بالمستوى المطلوب 128-بت؟
الموعد المؤجل هو ديسمبر 2026، لكن ذلك يتطلب إغلاق الفجوة في هذا التحدي وغيره، وتوفير وثائق أمان شاملة لجميع المكونات، وضمان مطابقة البرمجيات للمواصفات الرسمية.
