في قمة علماء 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، حيث بلغ حجم كود التحقق من الأمان والحيوية 4000 سطر و1700 سطر على التوالي. وأكد البروفيسور شاو تشونغ: "في الوقت الحالي، تواجه بروتوكولات الإجماع PoS عمومًا صعوبة في تحقيق الأمان والحيوية واللامركزية في نفس الوقت. نموذج LiDO هو بالضبط خطة تصميم منهجية تم اقتراحها لكسر هذه المعضلة."

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

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