مؤسسة إيثيريوم تحدد ديسمبر 2029 موعدًا لتحوّل إيثيريوم (ETH) إلى تشفير ما بعد الكمي

التحقق الشكلي لـleanVM ما زال قائمًا

يواجه المشغّلون والمدققون الذين يؤمّنون شبكة إيثيريوم (ETH) عملية هجرة للتوقيعات، تسعى مؤسسة إيثيريوم إلى إنجازها بحلول ديسمبر 2029، وهو التاريخ الذي حدّته مجموعة البروتوكولات التابعة لها لنقل الطبقة الأولى بالكامل إلى التشفير المقاوم للحاسوب الكمي. جاء هذا الهدف في خطة نُشرت يوم الاثنين 7 سبتمبر، تلتزم بموجبها طبقات التنفيذ والإجماع والبيانات بالانتقال إلى مخطط مقاوم للكم في خطوة واحدة. وتقدّم المؤسسة ذلك كهدف اختارته ذاتها، لا كترقية مؤكدة للشبكة الرئيسية، وتضيف إرشاداتها الخاصة بما بعد الكمي أن خارطة الطريق قد تتغير تبعًا لأحوال البحث والتنفيذ والحوكمة.

الأدوات التي ستجعل هذا التحول ميسور التكلفة غير جاهزة بعد. فـleanVM، وهي آلة افتراضية مبسّطة من نوع zkVM، أي آلة يثبت تنفيذها إثباتًا مختصرًا، معنيّة بحزم توقيعات ما بعد الكمي ضمن إثباتات موجزة، وتدرج في مستودعها العام التحقق الشكلي من البداية إلى النهاية بوصفه هدفًا أمنيًا في التصميم. ويقرر المستودع نفسه أن هذا التحقق ما يزال جاريًا وأن leanVM غير جاهزة بعد لبيئات الإنتاج. والتحقق الشكلي يثبت أن البرنامج يستوفي مواصفة رياضية ثابتة، بدل اجتيازه اختبارات على مدخلات مختارة، وهو منهج واسع الانتشار في تدقيق العقود الذكية. والفرق هنا جوهري: تبنّي التحقق الشكلي غاية لا يعني إتمامه، والمشروع لا يدّعي سوى الأول. فالاختبار قد يفوّت الحالات الحدّية، بينما الإثبات المكتمل يغطي كل مدخل مسموح به.

تشغّل آلية إثبات الحصصة الحالية على الشبكة توقيعات BLS، ينتجها المدققون في كل فتحة زمنية ويمكن دمجها بتكلفة زهيدة. أما المخططات القائمة على التجزئة، مثل عائلة XMSS، فلا تستطيع وحدها دمج التوقيعات، ما يجعل طبقة تجميع قائمة على SNARK إلزامية. وهذه هي الفجوة التي وُجدت leanVM لسدّها: تلتفّ حول مجموعات التوقيعات الكبيرة لتنتج إثباتات موجزة من النوع الذي تعتمده أنظمة الطبقة الثانية أصلًا. وعليه، فإن خارطة الطريق الكمية لـإيثيريوم برنامج هندسة برمجيات بقدر ما هو برنامج تشفير، ولا يمسّ هذا التحديث سعر إيثيريوم (ETH) تأثيرًا مباشرًا.

اختبارات الأداء وLean 4 ومراجعة يناير 2027

الأساس البحثي موثّق للعموم. فقد اقترحت ورقة صدرت عام 2025، ومن بين مؤلفيها باحثون في مؤسسة إيثيريوم، توقيعات عائلة XMSS المبنية على التجزئة بديلًا ما بعد الكمي، وتناولت تجميعها في إثباتات موجزة. ويحمل مستودع leanVM أول أرقام الأداء: على معالج M4 Max جمّعت 1,400 توقيع leanXMSS بمعدل مسجل بلغ 1,191.353 توقيعًا في الثانية، واستغرق توليد الإثبات 1.175 ثانية. ويضع المستودع نفسه تنبيهًا بأن هذه النتيجة تعكس بيئة معالج استهلاكي واحد ولا يمكن تعميمها على عمليات التدقيق، التي تتفاوت أجهزتها تفاوتًا واسعًا.

يمرّ إلى جانب الأداة الرئيسية مساران عمليان. الأول leanerVM، وهو مشروع منفصل بلغة Lean 4 يهدف إلى التحقق الشكلي من leanVM: أنجز بنيته الأساسية، وبدأ اختبارًا تفاضليًا يقارن تنفيذ Rust بنسخة ثابتة، وطرح إمكانية تمديد التحقق الشكلي إلى الشيفرة ذاتها. والثاني منشور بتاريخ الخميس 8 أكتوبر على منتدى أبحاث إيثيريوم، قارن فيه مجموعات التعليمات المرشحة للإثباتات موازنةً بين EVM وRISC-V وتصميم خاص بإيثيريوم؛ إذ يحدد هذا الاختيار سرعة الإثباتات وجاهزية التنفيذ وعبء الدعم على المدى الطويل.

نقاط القرار مؤرّخة. تعتزم المؤسسة إعادة تقييم التقدم في الحوسبة الكمية في يناير 2027 بالاستناد إلى مشورة خبراء خارجيين، فيما لم تنشر أي مواعيد لتفعيل شبكة الاختبار أو الشبكة الرئيسية، ما يترك تسلسل مراحل التجريب مفتوحًا. والإلحاح وراء هذا البرنامج ليس نظريًا: فقد ألمح الشريك المؤسس فيتاليك بوترين إلى أن الذكاء الاصطناعي قد يختصر خمسين عامًا من الرياضيات ويكسر تشفير إيثيريوم، وهو سيناريو تُعدّ أدوات التجميع لاستباقه. ومن يشغّل عمليات التخزين بكسب العوائد سيتحمل التكلفة التشغيلية لأي هجرة للمفاتيح أو البرامج متى وُجد جدول تفعيل. وينبغي أيضًا قراءة خطة سبتمبر وحالة الأدوات كلٍّ على حدة: هدف التحول الكلي، ومرحلة تطوير كل أداة، وجدول التفعيل الفعلي للشبكة مسارات متمايزة، ولم يحمل منها سوى الأول تاريخًا.

في الفجوة بين هدف مؤرّخ وشيفرة موثّقة شكليًا تكمن مخاطر هذه الخطة. فمخططات التوقيع ما بعد الكمي موجودة أصلًا، أما ما لا يوجد بعد فهو مجمّع مُتحقق منه شكليًا يجعلها ميسورة على مستوى الطبقة الأولى. والمعالم الحاسمة ملموسة: إتمام التحقق الشكلي الشامل لـleanVM، والحسم بين EVM وRISC-V ومجموعة التعليمات الخاصة بإيثيريوم، ومراجعة الخبراء في يناير 2027. ويتشابه تحول بهذا الحجم مع ترقية إيثيريوم 2.0 الممتدة لسنوات أكثر من تشابهه مع تحديث شبكي اعتيادي، لذا ستتأجل المواعيد الوسيطة. وإلى أن تكتمل تلك المعالم، يبقى العمل المتبقي على عاتق فرق البحث في المؤسسة ومطوّري الأدوات، ولا ينتقل عبء الهجرة إلى المدققين إلا بعد إغلاق التحقق وتثبيت موعد للشبكة الرئيسية.