قمة علماء Web3: البروفيسور من جامعة ييل يكشف عن نموذج LiDO للمرة الأولى
في قمة علماء Web3 لعام 2025 التي عقدت مؤخرًا، ألقى البروفيسور شاو زونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا بعنوان "أمان بروتوكولات الإجماع المعتمدة على التكرير وإثبات النشاط: LiDO وتوسعاتها"، حيث قدم للجمهور لأول مرة نموذج LiDO وإطار التوسع LiDO-DAG الذي طوره فريقه. تهدف هذه النتائج المبتكرة إلى توفير إثباتات أمان ونشاط يمكن التحقق منها بشكل آلي لبروتوكولات الإجماع المقاوِمة للبيزنطية المعقدة (BFT)، مما يضع الأساس التقني لموثوقية وتوسع واسع النطاق في بيئة Web3.
أشار البروفيسور شاو تشونغ في حديثه إلى أنه على الرغم من أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) مستخدمة على نطاق واسع، إلا أن تعقيد التنفيذ العالي غالبًا ما يؤدي إلى وجود مخاطر أمنية محتملة. لحل هذه المشكلة، قدم نموذج LiDO إطار تحقق مفصل من ثلاث طبقات بشكل مبتكر:
طبقة التجريد الآمنة: تحويل البروتوكول إلى آلة حالة خطية، لضمان اتساق السجلات (الأمان)؛
طبقة الضمان النشط: إدخال آلية "Pacemaker"، من خلال بث المهلة والتزامن الدوري لحل مشكلة تأخير الشبكة؛
طبقة توسيع DAG: تدعم بروتوكولات DAG الناشئة مثل Narwhal و Bullshark، مما يتيح تحققاً فعالاً بدون قيادة.
حاليًا، تم تطبيق LiDO بنجاح في بروتوكول صناعي من الدرجة Joltson (BFT ذو مرحلتين) والعديد من بروتوكولات DAG، حيث تم إكمال أكثر من عشرة آلاف سطر من كود Coq لإثبات آلي، وبلغت كمية كود التحقق من الأمان والنشاط 4000 سطر و1700 سطر على التوالي. وأكد الأستاذ شاو تشونغ في خطابه: "حاليًا، تواجه بروتوكولات توافق PoS بشكل عام صعوبة في تحقيق الأمان والنشاط واللامركزية في آن واحد. إن نموذج LiDO هو الحل التصميمي المنهجي المقترح لكسر هذه المعضلة."
من الجدير بالذكر أن البروفيسور شاو جون قد قاد فريقًا لتطوير أول نظام تشغيل "خالي من الثغرات" في العالم يتم التحقق منه بشكل رسمي، المعروف باسم CertiKOS، والذي أشيد به في الصناعة باعتباره "معلمًا في أمان الأنظمة الفيزيائية الشبكية". لا تعرض هذه الإنجاز فقط التراكم العميق لفريقه في مجال أمان الأنظمة، بل وضعت أيضًا أساسًا قويًا للبحث المستقبلي في أمان blockchain. في عام 2017، قام البروفيسور شاو جون مع تلميذه البروفيسور غو رونغ هوي بإدخال تقنية التحقق الرسمي إلى مجال ضمان أمان العقود الذكية والبروتوكولات على السلسلة، مما يوفر حماية أمان لأصول التشفير التي تقدر بمئات المليارات.
لقد اكتمل تصميم نموذج LiDO والتحقق الرسمي منه، وبدأت إمكانية استكشاف التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. وذكر الأستاذ شاو تشونغ أنهم يكرسون جهودهم للتحقق من الآليات الأساسية في Web3.0، لتقديم منتجات وخدمات على مدار دورة كاملة، ودعم استراتيجية التنمية طويلة الأجل للشركات والنظام البيئي في Web3. وأكد الأستاذ شاو تشونغ في نهاية حديثه: "ستكون بروتوكولات الشبكة القابلة للثقة، والأمنة، والقابلة للتحقق، المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 13
أعجبني
13
4
مشاركة
تعليق
0/400
NFTArtisanHQ
· منذ 21 س
آه، أخيرًا يقوم شخص ما بمعالجة النموذج الجمالي للتوافق... يذكرني بصراحة بالأشياء الجاهزة لدوشامب
شاهد النسخة الأصليةرد0
InfraVibes
· 08-04 05:50
مشروع آخر يبيع الوهم
شاهد النسخة الأصليةرد0
StableNomad
· 08-02 01:55
هممم نموذج توافق آخر... أشعر بصدمة من لونا داو الآن
شاهد النسخة الأصليةرد0
ZKProofster
· 08-02 01:50
تقنيًا، هذا الشيء في ليدو ليس حقًا مبدعًا... إنه مجرد غلاف BFT آخر بصراحة.
ظهر أستاذ ييل في قمة Web3: نموذج LiDO يحل أزمة بروتوكول الإجماع
قمة علماء Web3: البروفيسور من جامعة ييل يكشف عن نموذج LiDO للمرة الأولى
في قمة علماء Web3 لعام 2025 التي عقدت مؤخرًا، ألقى البروفيسور شاو زونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا بعنوان "أمان بروتوكولات الإجماع المعتمدة على التكرير وإثبات النشاط: LiDO وتوسعاتها"، حيث قدم للجمهور لأول مرة نموذج LiDO وإطار التوسع LiDO-DAG الذي طوره فريقه. تهدف هذه النتائج المبتكرة إلى توفير إثباتات أمان ونشاط يمكن التحقق منها بشكل آلي لبروتوكولات الإجماع المقاوِمة للبيزنطية المعقدة (BFT)، مما يضع الأساس التقني لموثوقية وتوسع واسع النطاق في بيئة Web3.
أشار البروفيسور شاو تشونغ في حديثه إلى أنه على الرغم من أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) مستخدمة على نطاق واسع، إلا أن تعقيد التنفيذ العالي غالبًا ما يؤدي إلى وجود مخاطر أمنية محتملة. لحل هذه المشكلة، قدم نموذج LiDO إطار تحقق مفصل من ثلاث طبقات بشكل مبتكر:
حاليًا، تم تطبيق LiDO بنجاح في بروتوكول صناعي من الدرجة Joltson (BFT ذو مرحلتين) والعديد من بروتوكولات DAG، حيث تم إكمال أكثر من عشرة آلاف سطر من كود Coq لإثبات آلي، وبلغت كمية كود التحقق من الأمان والنشاط 4000 سطر و1700 سطر على التوالي. وأكد الأستاذ شاو تشونغ في خطابه: "حاليًا، تواجه بروتوكولات توافق PoS بشكل عام صعوبة في تحقيق الأمان والنشاط واللامركزية في آن واحد. إن نموذج LiDO هو الحل التصميمي المنهجي المقترح لكسر هذه المعضلة."
من الجدير بالذكر أن البروفيسور شاو جون قد قاد فريقًا لتطوير أول نظام تشغيل "خالي من الثغرات" في العالم يتم التحقق منه بشكل رسمي، المعروف باسم CertiKOS، والذي أشيد به في الصناعة باعتباره "معلمًا في أمان الأنظمة الفيزيائية الشبكية". لا تعرض هذه الإنجاز فقط التراكم العميق لفريقه في مجال أمان الأنظمة، بل وضعت أيضًا أساسًا قويًا للبحث المستقبلي في أمان blockchain. في عام 2017، قام البروفيسور شاو جون مع تلميذه البروفيسور غو رونغ هوي بإدخال تقنية التحقق الرسمي إلى مجال ضمان أمان العقود الذكية والبروتوكولات على السلسلة، مما يوفر حماية أمان لأصول التشفير التي تقدر بمئات المليارات.
لقد اكتمل تصميم نموذج LiDO والتحقق الرسمي منه، وبدأت إمكانية استكشاف التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. وذكر الأستاذ شاو تشونغ أنهم يكرسون جهودهم للتحقق من الآليات الأساسية في Web3.0، لتقديم منتجات وخدمات على مدار دورة كاملة، ودعم استراتيجية التنمية طويلة الأجل للشركات والنظام البيئي في Web3. وأكد الأستاذ شاو تشونغ في نهاية حديثه: "ستكون بروتوكولات الشبكة القابلة للثقة، والأمنة، والقابلة للتحقق، المسار الرئيسي نحو مستقبل لامركزي حقيقي."