في قمة علماء Web3 تم الكشف عن نموذج LiDO لأول مرة، مما يوفر أفكارًا جديدة لأمان بروتوكول الإجماع

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

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

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

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

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

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