قمة علماء 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 بشكل أفضل.

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