في قمة علماء 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، وتم الانتهاء من أكثر من 10,000 سطر من رموز Coq لإثبات الآلية، حيث بلغ حجم رموز التحقق من الأمان 4,000 سطر وحجم رموز التحقق من النشاط 1,700 سطر. أكد البروفيسور شاو تشونغ في حديثه: "في الوقت الحالي، تواجه بروتوكولات توافق PoS عمومًا صعوبة في تحقيق الأمان والنشاط واللامركزية في نفس الوقت. تم اقتراح نموذج LiDO كحل تصميمي منهجي لكسر هذه المعضلة."

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

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

في نهاية الخطاب، أكد الأستاذ شاو تشونغ: "ستكون البروتوكولات الشبكية القابلة للثقة والأمان والتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."