قمة علماء 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 هو بالضبط الحل التصميمي النظامي المقترح لتجاوز هذا القيد."

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

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

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