في قمة علماء Web3 أستاذ Yale يكشف عن نموذج LiDO لأول مرة
عُقد مؤتمر علماء Web3 لعام 2025 اليوم، حيث ألقى الأستاذ شاو تشونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا رئيسيًا، قدّم فيه نموذج LiDO وإطار LiDO-DAG الذي طوره فريقه. تهدف هذه الإنجاز الابتكاري إلى توفير أمان قابل للتحقق الميكانيكي وإثبات النشاط لبروتوكولات توافق الآراء المعقدة (BFT)، مما يضع الأساس التقني لتطوير موثوقية وقابلية توسيع نظام Web3.
أشار البروفيسور شاو تشونغ في خطابه إلى أنه على الرغم من أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) قد تم تطبيقها على نطاق واسع، إلا أنه بسبب تعقيد تنفيذها، غالبًا ما توجد ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO إطار التحقق المتدرج من ثلاث طبقات:
طبقة التجريد الآمن: رسم البروتوكول كآلة حالة خطية، لضمان اتساق السجلات (الأمان)؛
طبقة ضمان النشاط: إدخال آلية "Pacemaker"، من خلال بث الوقت الزائد والتزامن في الجولات لحل مشكلة تأخير الشبكة؛
طبقة التوسع DAG: تدعم بروتوكولات DAG الناشئة مثل Narwhal و Bullshark، مما يحقق تحققًا فعالًا دون وجود قائد.
تم تطبيق نموذج LiDO بنجاح على بروتوكول Jolteon من المستوى الصناعي (BFT ذو المرحلتين) والعديد من بروتوكولات DAG، حيث تم إكمال أكثر من عشرة آلاف سطر من كود Coq لإثباتات ميكانيكية. ومن بين ذلك، بلغ حجم كود التحقق من الأمان والحيوية 4000 سطر و1700 سطر على التوالي. وقد أكد الأستاذ شاو تشونغ في خطابه: "في الوقت الحالي، تواجه بروتوكولات توافق PoS عمومًا صعوبة في تحقيق الأمان والحيوية واللامركزية في آن واحد. نموذج LiDO هو بالضبط الحل التصميمي الشامل الذي تم اقتراحه لكسر هذه المعضلة."
بصفته المطور الرئيسي لنظام التشغيل "CertiKOS" الذي يعد الأول عالميًا في التحقق الرسمي "خالي من الثغرات"، يمتلك البروفيسور شاو تشونغ خبرة عميقة في مجال أمان الأنظمة. في السنوات الأخيرة، تحول تركيزه البحثي نحو أمان blockchain، حيث يكرس جهوده لتطبيق تقنيات التحقق الرسمي على أمان العقود الذكية والبروتوكولات على السلسلة، مقدمًا حماية أمنية لأصول التشفير التي تقدر بمليارات الدولارات.
نموذج LiDO قد اكتمل تصميمه والتحقق من صلاحيته، وهم يستكشفون إمكانية الدمج مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. أشار الأستاذ شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0 لتقديم منتجات وخدمات على مدار كامل الدورة، لدعم الاستراتيجية التنموية طويلة الأجل لمؤسسات Web3 والبيئة.
أكد الأستاذ شاو تشونغ في نهاية خطابه: "ستكون بروتوكولات الشبكة القابلة للثقة والأمان والتحقق هي الطريق الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 19
أعجبني
19
5
إعادة النشر
مشاركة
تعليق
0/400
SocialFiQueen
· منذ 11 س
ساتوشي ناكاموتو静悄悄在偷学这个模型吧
شاهد النسخة الأصليةرد0
WalletInspector
· 08-12 05:33
هذه التقنية تتطور بسرعة كبيرة
شاهد النسخة الأصليةرد0
SleepyValidator
· 08-12 05:25
آه، نموذج تحقق آخر، احترافي التشفير يتنافسون جميعًا.
شاهد النسخة الأصليةرد0
metaverse_hermit
· 08-12 05:10
الآن أصبح BFT أكثر أناقة بكثير.
شاهد النسخة الأصليةرد0
NotSatoshi
· 08-12 05:05
زجاجة قديمة تحتوي على نبيذ جديد، لا شيء يتجاوز ذلك.
أستاذ ييل يكشف عن نموذج LiDO لتوفير التحقق الأمني الرسمي لنظام Web3 البيئي
في قمة علماء Web3 أستاذ Yale يكشف عن نموذج LiDO لأول مرة
عُقد مؤتمر علماء Web3 لعام 2025 اليوم، حيث ألقى الأستاذ شاو تشونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا رئيسيًا، قدّم فيه نموذج LiDO وإطار LiDO-DAG الذي طوره فريقه. تهدف هذه الإنجاز الابتكاري إلى توفير أمان قابل للتحقق الميكانيكي وإثبات النشاط لبروتوكولات توافق الآراء المعقدة (BFT)، مما يضع الأساس التقني لتطوير موثوقية وقابلية توسيع نظام Web3.
أشار البروفيسور شاو تشونغ في خطابه إلى أنه على الرغم من أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) قد تم تطبيقها على نطاق واسع، إلا أنه بسبب تعقيد تنفيذها، غالبًا ما توجد ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO إطار التحقق المتدرج من ثلاث طبقات:
تم تطبيق نموذج LiDO بنجاح على بروتوكول Jolteon من المستوى الصناعي (BFT ذو المرحلتين) والعديد من بروتوكولات DAG، حيث تم إكمال أكثر من عشرة آلاف سطر من كود Coq لإثباتات ميكانيكية. ومن بين ذلك، بلغ حجم كود التحقق من الأمان والحيوية 4000 سطر و1700 سطر على التوالي. وقد أكد الأستاذ شاو تشونغ في خطابه: "في الوقت الحالي، تواجه بروتوكولات توافق PoS عمومًا صعوبة في تحقيق الأمان والحيوية واللامركزية في آن واحد. نموذج LiDO هو بالضبط الحل التصميمي الشامل الذي تم اقتراحه لكسر هذه المعضلة."
بصفته المطور الرئيسي لنظام التشغيل "CertiKOS" الذي يعد الأول عالميًا في التحقق الرسمي "خالي من الثغرات"، يمتلك البروفيسور شاو تشونغ خبرة عميقة في مجال أمان الأنظمة. في السنوات الأخيرة، تحول تركيزه البحثي نحو أمان blockchain، حيث يكرس جهوده لتطبيق تقنيات التحقق الرسمي على أمان العقود الذكية والبروتوكولات على السلسلة، مقدمًا حماية أمنية لأصول التشفير التي تقدر بمليارات الدولارات.
نموذج LiDO قد اكتمل تصميمه والتحقق من صلاحيته، وهم يستكشفون إمكانية الدمج مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. أشار الأستاذ شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0 لتقديم منتجات وخدمات على مدار كامل الدورة، لدعم الاستراتيجية التنموية طويلة الأجل لمؤسسات Web3 والبيئة.
أكد الأستاذ شاو تشونغ في نهاية خطابه: "ستكون بروتوكولات الشبكة القابلة للثقة والأمان والتحقق هي الطريق الرئيسي نحو مستقبل لامركزي حقيقي."