أستاذ ييل يكشف لأول مرة عن نموذج LiDO: يوفر التحقق الآلي لبروتوكول الإجماع BFT

robot
إنشاء الملخص قيد التقدم

في قمة العلماء Web3، قدم أستاذ ييل نموذج LiDO للجمهور لأول مرة

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

حضور البروفيسور شاو تشونغ المؤسس المشارك لشركة CertiK في قمة علماء Web3، وكشف نموذج LiDO لأول مرة

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

شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
  • أعجبني
  • 8
  • مشاركة
تعليق
0/400
SilentAlphavip
· 07-12 19:53
لا يزال POW رائعًا!
شاهد النسخة الأصليةرد0
FlashLoanLordvip
· 07-12 05:31
يا له من فخ هذا التحقق!
شاهد النسخة الأصليةرد0
WhaleWatchervip
· 07-10 21:00
أليس مجرد تحقق من خلال الاستنفاد العنيف؟
شاهد النسخة الأصليةرد0
DAOdreamervip
· 07-10 14:27
أوه ، لقد أتيت بأفكار جديدة مرة أخرى
شاهد النسخة الأصليةرد0
ResearchChadButBrokevip
· 07-10 14:24
هذه الدراسة كانت قوية جدًا
شاهد النسخة الأصليةرد0
TaxEvadervip
· 07-10 14:22
عالم الأكاديميين مثير حقًا~
شاهد النسخة الأصليةرد0
SchrodingersPapervip
· 07-10 14:14
يجب أن يكون هناك مسودة على الورق للإجماع.
شاهد النسخة الأصليةرد0
NFTRegretfulvip
· 07-10 14:14
هل يمكن لتقنية BFT القديمة أن تلعب بأفكار جديدة؟
شاهد النسخة الأصليةرد0
  • تثبيت