قمة علماء Web3: أستاذ ييل يكشف عن نموذج LiDO لأول مرة
في قمة علماء Web3 لعام 2025، ألقى البروفيسور شاو تشونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا رئيسيًا بعنوان "دليل على سلامة ونشاط بروتوكول الإجماع المعتمد على التحسين: LiDO وتوسعاته"، حيث قدم للجمهور لأول مرة نموذج LiDO وإطار التوسع LiDO-DAG الذي طوره فريقه. يهدف هذا الإنجاز الابتكاري إلى تقديم دليل يمكن التحقق منه ميكانيكيًا على سلامة ونشاط بروتوكول الإجماع المعقد القائم على تحمل الأخطاء البيزنطية (BFT)، مما يضع أساسًا تقنيًا لموثوقية وتطوير واسع النطاق لبيئة Web3.
أشار البروفيسور شاو تشونغ في خطابه إلى أنه على الرغم من أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) تستخدم على نطاق واسع، إلا أن التعقيد العالي في التنفيذ غالبًا ما يخفي ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO بشكل مبتكر إطار عمل للتحقق ثلاثي المستويات.
طبقة التجريد الآمن: تحويل البروتوكول إلى آلة حالة خطية، لضمان اتساق السجلات (الأمان).
طبقة الضمان النشط: إدخال آلية "Pacemaker" لحل مشكلة تأخير الشبكة من خلال البث المتأخر وتزامن الجولات.
طبقة التوسع DAG: تدعم بروتوكولات DAG الجديدة مثل Narwhal وBullshark، لتحقيق تحقق فعال بدون قائد.
في الوقت الحالي، تم تطبيق LiDO بنجاح على بروتوكول الصناعة Jolteon (BFT ذو الخطوتين) والعديد من بروتوكولات DAG، وتم إنجاز أكثر من عشرة آلاف سطر من إثباتات Coq الميكانيكية، حيث بلغ حجم الشيفرات الخاصة بالتحقق من الأمان والحيوية 4000 سطر و1700 سطر على التوالي. وأكد الأستاذ شاو زونغ في حديثه: "في الوقت الحالي، تواجه بروتوكولات توافق PoS عمومًا صعوبة في تحقيق الأمان والحيوية واللامركزية في آن واحد. نموذج LiDO هو بالضبط方案设计系统ية مقترح للتغلب على هذه المعضلة."
قاد البروفيسور شاو تشونغ فريقه لتطوير CertiKOS، وهو أول نظام تشغيل "خالي من الثغرات" يتم التحقق منه بشكل رسمي على مستوى العالم، وقد تم الإشادة به ك"معلم بارز في أمان الأنظمة الفيزيائية الشبكية". لم يؤسس هذا الإنجاز فقط الأساس للتقنيات ذات الصلة، بل أظهر أيضًا العمق الكبير لفريقه في مجال أمان الأنظمة. في السنوات الأخيرة، قام البروفيسور شاو تشونغ بدراسة أمان blockchain بعمق، وفي عام 2017، أسس شركة أمان مع زملائه، حيث أدخلوا تقنية التحقق الرسمي في ضمان أمان العقود الذكية والبروتوكولات على السلسلة، لتوفير حماية أمان للأصول الرقمية التي تقدر قيمتها بمئات المليارات.
أكملت LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأت في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. قال البروفيسور شاو تشونغ إنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0 لتقديم منتجات وخدمات على مدار الدورة الكاملة، لدعم استراتيجية التنمية طويلة الأجل للشركات والنظام البيئي في Web3 بشكل أفضل. في نهاية حديثه، أكد البروفيسور شاو تشونغ: "ستكون مجموعة بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 12
أعجبني
12
5
إعادة النشر
مشاركة
تعليق
0/400
DegenDreamer
· منذ 26 د
أخيرًا انتظرت رؤى قيمة
شاهد النسخة الأصليةرد0
LayerZeroHero
· منذ 9 س
بعيد عن الواقع! هذا الشخص تمكن من الالتحاق بجامعة ييل.
شاهد النسخة الأصليةرد0
OPsychology
· منذ 9 س
يا لها من قوة يا ييل!
شاهد النسخة الأصليةرد0
wagmi_eventually
· منذ 9 س
فخ آخر من فخاخ ويب 3
شاهد النسخة الأصليةرد0
AltcoinAnalyst
· منذ 9 س
ينصح بالتحذير من عدم اكتمال الإطار الثلاثي، حيث تشير بيانات TVL إلى أن معدل المخاطر للتقنيات المماثلة بلغ 56% خلال 90 يومًا.
أستاذ ييل يكشف لأول مرة عن نموذج LiDO لتوفير التحقق الميكانيكي لبروتوكول الإجماع في Web3
قمة علماء Web3: أستاذ ييل يكشف عن نموذج LiDO لأول مرة
في قمة علماء Web3 لعام 2025، ألقى البروفيسور شاو تشونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا رئيسيًا بعنوان "دليل على سلامة ونشاط بروتوكول الإجماع المعتمد على التحسين: LiDO وتوسعاته"، حيث قدم للجمهور لأول مرة نموذج LiDO وإطار التوسع LiDO-DAG الذي طوره فريقه. يهدف هذا الإنجاز الابتكاري إلى تقديم دليل يمكن التحقق منه ميكانيكيًا على سلامة ونشاط بروتوكول الإجماع المعقد القائم على تحمل الأخطاء البيزنطية (BFT)، مما يضع أساسًا تقنيًا لموثوقية وتطوير واسع النطاق لبيئة Web3.
أشار البروفيسور شاو تشونغ في خطابه إلى أنه على الرغم من أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) تستخدم على نطاق واسع، إلا أن التعقيد العالي في التنفيذ غالبًا ما يخفي ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO بشكل مبتكر إطار عمل للتحقق ثلاثي المستويات.
في الوقت الحالي، تم تطبيق LiDO بنجاح على بروتوكول الصناعة Jolteon (BFT ذو الخطوتين) والعديد من بروتوكولات DAG، وتم إنجاز أكثر من عشرة آلاف سطر من إثباتات Coq الميكانيكية، حيث بلغ حجم الشيفرات الخاصة بالتحقق من الأمان والحيوية 4000 سطر و1700 سطر على التوالي. وأكد الأستاذ شاو زونغ في حديثه: "في الوقت الحالي، تواجه بروتوكولات توافق PoS عمومًا صعوبة في تحقيق الأمان والحيوية واللامركزية في آن واحد. نموذج LiDO هو بالضبط方案设计系统ية مقترح للتغلب على هذه المعضلة."
قاد البروفيسور شاو تشونغ فريقه لتطوير CertiKOS، وهو أول نظام تشغيل "خالي من الثغرات" يتم التحقق منه بشكل رسمي على مستوى العالم، وقد تم الإشادة به ك"معلم بارز في أمان الأنظمة الفيزيائية الشبكية". لم يؤسس هذا الإنجاز فقط الأساس للتقنيات ذات الصلة، بل أظهر أيضًا العمق الكبير لفريقه في مجال أمان الأنظمة. في السنوات الأخيرة، قام البروفيسور شاو تشونغ بدراسة أمان blockchain بعمق، وفي عام 2017، أسس شركة أمان مع زملائه، حيث أدخلوا تقنية التحقق الرسمي في ضمان أمان العقود الذكية والبروتوكولات على السلسلة، لتوفير حماية أمان للأصول الرقمية التي تقدر قيمتها بمئات المليارات.
أكملت LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأت في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. قال البروفيسور شاو تشونغ إنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0 لتقديم منتجات وخدمات على مدار الدورة الكاملة، لدعم استراتيجية التنمية طويلة الأجل للشركات والنظام البيئي في Web3 بشكل أفضل. في نهاية حديثه، أكد البروفيسور شاو تشونغ: "ستكون مجموعة بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."