درجة ثقة المجتمعموثّق
إيثريوم تواجه مشكلة لا يمكن تجاهلها. مسابقة تشفير مباشرة تسمى better.codes وضعت رقماً لها: فجوة أمان تبلغ 52.14 بت تقع في وسط إطار إثبات zkEVM، تم قياسها اعتبارًا من 21 أغسطس.
تأتي الفجوة من شهادتين متنافستين لملف تعريف المعامل koalaIRS12. الشهادة الأدنى تقع عند 63.99 بت. والأعلى عند 116.13 بت. المسافة بينهما — 52.14 بت — هي الفاصل غير المحسوم، وهو في الأساس المنطقة التي لا يمكن للباحثين القول فيها بيقين ما إذا كان نظام الإثبات آمنًا أم لا. ومؤسسة إيثريوم تريد إغلاق هذه المنطقة قبل المراجعة المقررة في أوائل ديسمبر. الهدف الذي تسعى إليه: أمان قابل للإثبات بمقدار 128 بت، وحجم إثبات أقل من 300 KiB، وحجة صوتية رسمية لهندسة التكرار الخاصة بها. لا شيء من ذلك مؤكد بعد.
ليس حتى قريبًا.
كيف تعمل المسابقة فعليًا
تعمل مسابقة better.codes على مسارين متوازيين، ويدفعان في اتجاهين متعاكسين. مسار الصوتية يحاول رفع الشهادة الأدنى — بشكل أساسي تضييق الحدود على ما يمكن إثباته كآمن. مسار الهجوم يفعل العكس: يحاول تقليص الشهادة الأعلى من خلال العثور على ظروف تكشف السلوك غير الآمن داخل المعيار. إذا واصل الجانبان العمل، تضيق الفجوة. إذا توقف أي جانب، فلا يحدث ذلك.
يتم التحقق من كل نظرية مقدمة داخل بيئة ثابتة ومثبتة. هذا متعمد. تريد المؤسسة أن يكون التكرار جزءًا من العملية من البداية، وليس مضافًا بعد ذلك. يهم اكتمال النموذج هنا. وكذلك مطابقة التنفيذ — ما إذا كان الكود الفعلي يطابق ما يقوله الإثبات الرسمي. الفجوة بين هذين الأمرين هي بالضبط نوع الضعف الذي يمكن أن يقوض نظامًا يبدو آمنًا على الورق.
يتم تحديث لوحة المتصدرين مباشرة. وهذا يعني أن الرقم 52.14 بت ليس ثابتًا — يتغير مع تقديم الفرق لأعمال جديدة. ولكن اعتبارًا من 21 أغسطس، هذا هو الوضع الحالي.
ما الذي لا يزال الباحثون يتصارعون عليه
ورقة أكاديمية من الباحثين جال أرنون، دان بونيه، وجياكومو فينزي موجودة في خلفية كل هذا. عملهم يشير إلى أسئلة غير محلولة في أنظمة الإثبات المختصرة — تحديدًا حول فك الشفرات القائمة والفجوات القريبة من ريد-سولومون. هذه ليست حالات حافة غامضة. إنها على الأرجح أصعب المشاكل المفتوحة في المجال حاليًا، وهي ذات صلة مباشرة بما إذا كان zkEVM الخاص بإيثريوم يمكن أن يحقق أهدافه الأمنية.
اختبار القرب من ريد-سولومون هو لبنة أساسية في كيفية تحقق أنظمة إثبات المعرفة الصفرية الحديثة من أن المقدم لا يغش. إذا لم يتم تثبيت فجوة القرب — الهامش بين “قريب بما فيه الكفاية بالتأكيد” و”قد لا يكون” — بشكل رسمي، تصبح الحجة الصوتية بأكملها أكثر هشاشة. هذا هو نوع الأشياء التي تبقي خبراء التشفير مستيقظين في الليل.
صفحة تقدم المؤسسة، اعتبارًا من 20 أغسطس، تذكر جاهزية zkVM والامتثال لـ ISA. لكنها لا تقول إن حزمة ديسمبر قد اكتملت. لم تكتمل.
ما الذي لا يزال بحاجة إلى الحدوث
إغلاق الفجوة ليس مجرد تقديم المزيد من النظريات. تطلب خارطة طريق المؤسسة شيئًا أصعب: محاسبة كاملة على مستوى النظام. وهذا يعني أن أحجام الإثباتات، حجج التكرار، والأدلة على مستوى المكونات يجب أن تتماشى جميعها. يجب أن يكون كل جزء قابلاً للتدقيق. يجب أن يكون كل خطوة قابلة للتحقق من قبل شخص لم يكن في الغرفة عندما تم بناؤها.
هذا معيار عالٍ. وملف تعريف koalaIRS12 هو جزء واحد فقط من دفعة بحثية أوسع لجعل إطار zkEVM يصل إلى أمان من الدرجة الإنتاجية. المسابقة عامة، مما يساعد — يجلب الباحثين الخارجيين إلى العملية ويخلق ضغطًا للتحرك بسرعة. لكن السرعة والصرامة لا يتماشيان دائمًا معًا.
جدير بالملاحظة: لا تمس درجات لوحة المتصدرين التحقق الحاسم الحالي لإيثريوم. مهما كان يحدث في المسابقة لا يغير كيفية تشغيل الشبكة اليوم. إنها أبحاث تطلعية، تهدف إلى نسخة مستقبلية من نظام الإثبات يمكنها أن تدعي بشكل موثوق أمان 128 بت.
لا يزال مستودع التحدي مفتوحًا لتقديمات. تواصل فرق الصوتية دفع الحد الأدنى للأعلى. تواصل فرق الهجوم محاولة سحب الحد الأعلى للأسفل. الفجوة، حاليًا، هي 52.14 بت.
المحور: سعر إيثريوم، الأخبار، والتحليل
الأسئلة الشائعة
ما هي بالضبط فجوة الأمان البالغة 52.14 بت في zkEVM الخاص بإيثريوم؟
إنها المسافة بين شهادة أدنى بمقدار 63.99 بت وشهادة أعلى بمقدار 116.13 بت لملف تعريف المعامل koalaIRS12، تم قياسها اعتبارًا من 21 أغسطس عبر مسابقة better.codes.
ما هي المتطلبات الأمنية الثلاثة الرئيسية لـ zkEVM الخاص بإيثريوم لديسمبر؟
تريد مؤسسة إيثريوم مستوى أمان قابل للإثبات بمقدار 128 بت، وحجم إثبات نهائي أقل من 300 KiB، وحجة صوتية رسمية تغطي هندسة التكرار الخاصة بها.
من هم الباحثون وراء الورقة الأكاديمية ذات الصلة حول فجوات نظام الإثبات؟
Hub: Ethereum : السعر والأخبار والتحليل
جال أرنون، دان بونيه، وجياكومو فينزي هم مؤلفو الورقة التي تشير إلى أسئلة غير محلولة حول فك الشفرات القائمة وفجوات القرب من ريد-سولومون في أنظمة الإثبات المختصرة.
