أبرز أحداث قمة Web3 للعلماء: نموذج التحقق من أمان بروتوكول الإجماع الجديد يتم كشفه علنًا للمرة الأولى

في القمة التي عقدت مؤخرًا حول علماء Web3 لعام 2025، قدم أستاذ من قسم علوم الكمبيوتر بجامعة ييل خطابًا بعنوان "أمان بروتوكول الإجماع القائم على التكرير وإثبات النشاط: LiDO وتوسيعه"، حيث قدم للجمهور لأول مرة نموذج LiDO وإطار التمديد LiDO-DAG الذي طوره فريقه. تهدف هذه النتيجة المبتكرة إلى توفير أمان وإثبات نشاط قابلين للتحقق الآلي لبروتوكولات الإجماع المعقدة المقاومة للبيزنطية (BFT)، مما يضع أساسًا تقنيًا لتطوير موثوقية وقابلية التوسع في نظام Web3.

في الخطاب، أشار الأستاذ إلى أنه على الرغم من أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) تُستخدم على نطاق واسع، إلا أن التعقيد العالي في التنفيذ غالبًا ما يؤدي إلى مخاطر أمنية محتملة. لمعالجة هذه المشكلة، اقترح نموذج LiDO بشكل مبتكر إطار التحقق المفصل ثلاثي المستويات:

1. طبقة التجريد الآمن: تحويل البروتوكول إلى آلة حالة خطية، لضمان توافق السجلات (الأمان)؛
2. طبقة الضمان النشطة: إدخال آلية "Pacemaker"، من خلال بث المهلة والتزامن في الجولات لحل مشكلة تأخير الشبكة؛
3. طبقة التوسع DAG: تدعم بروتوكولات DAG الناشئة مثل Narwhal و Bullshark، مما يحقق تحقيق فعّال للإجماع بدون قائد.

حالياً، تم تطبيق LiDO بنجاح على بروتوكول Jolteon الصناعي (BFT ذو مرحلتين) والعديد من بروتوكولات DAG، حيث تم إكمال أكثر من 10,000 سطر من رموز Coq للبرهنة الميكانيكية، وبلغت كمية الرموز الخاصة بالتحقق من الأمان والنشاط 4,000 سطر و1,700 سطر على التوالي. وأكد المتحدث: "حالياً، تواجه بروتوكولات الإجماع PoS عمومًا صعوبة في تحقيق الأمان والنشاط واللامركزية في آن واحد. نموذج LiDO هو بالضبط الحل التصميمي النظامي المقترح لتجاوز هذه القيود."

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

لقد أكمل LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأ في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات عدم المركزية. وأشار المتحدث إلى أنهم ملتزمون بالتحقق من الآليات الأساسية في Web3.0، لتقديم منتجات وخدمات على مدار الدورة بالكامل، ودعم الاستراتيجية طويلة الأجل لنمو شركات Web3 والبيئة. في نهاية حديثه، أكد: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي الطريق الرئيسي نحو مستقبل لامركزي حقيقي."