قمة علماء 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 ، وهو أول نظام تشغيل "خالي من الثغرات" تم التحقق منه بشكل رسمي على مستوى العالم، وقد أُشيد به من قبل الصناعة ك"معلم بارز في أمان الأنظمة الفيزيائية الشبكية". لا تعكس هذه الإنجاز فقط عمق خبرته في مجال أمان الأنظمة، بل توفر أيضًا أساسًا قويًا للبحث المستقبلي في أمان البلوكشين. منذ عام 2017، كان البروفيسور شاو تشونغ ملتزمًا بإدخال تقنيات التحقق الرسمي في مجال ضمان أمان العقود الذكية وبروتوكولات السلسلة، مما ساهم بشكل مهم في حماية أمان الأصول المشفرة التي تقدر بمئات المليارات.
حاليًا، أكملت LiDO تصميم النموذج والتحقق الرسمي، وبدأت في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. أشار البروفيسور شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الأساسية في Web3.0، لتوفير منتجات وخدمات على مدار دورة كاملة، ودعم الاستراتيجية طويلة الأجل لتطوير الشركات والنظم البيئية في Web3 بشكل أفضل. وفي نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون بروتوكولات الشبكة القابلة للثقة، والأمنة، والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 12
أعجبني
12
8
إعادة النشر
مشاركة
تعليق
0/400
NFTragedy
· منذ 3 س
هناك شيء ما ، عالم الأكاديميين جن جنونه
شاهد النسخة الأصليةرد0
ForkMaster
· منذ 10 س
مشروع آخر للقبعة البيضاء؟ دعونا نرى كيف يتم تدقيق الثغرات... جميع القبعات البيضاء القديمة يفهمون
شاهد النسخة الأصليةرد0
MidnightGenesis
· منذ 20 س
في وقت متأخر من الليل أعمل على تحليل الشيفرة، ولم أتفاجأ بأن المشكلة القديمة لا تزال موجودة.
شاهد النسخة الأصليةرد0
0xDreamChaser
· 08-11 02:29
انظر انظر ، مرة أخرى يقومون بذلك فخ
شاهد النسخة الأصليةرد0
MetaMisfit
· 08-10 20:55
لقد عادوا مرة أخرى للتلاعب بالمفاهيم. بدلاً من القيام بذلك، من الأفضل استخدام pbft مباشرة.
شاهد النسخة الأصليةرد0
ThatsNotARugPull
· 08-10 20:39
لكن هل يمكنك التحدث عن ذلك باللغة الصينية؟
شاهد النسخة الأصليةرد0
LiquidatedAgain
· 08-10 20:36
الأمان هو مجرد متعة في الصورة الأولى، فكر في الدرس الذي تعلمته آخر مرة تم تصفيتي فيه.
أستاذ ييل يكشف لأول مرة عن نموذج 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 ، وهو أول نظام تشغيل "خالي من الثغرات" تم التحقق منه بشكل رسمي على مستوى العالم، وقد أُشيد به من قبل الصناعة ك"معلم بارز في أمان الأنظمة الفيزيائية الشبكية". لا تعكس هذه الإنجاز فقط عمق خبرته في مجال أمان الأنظمة، بل توفر أيضًا أساسًا قويًا للبحث المستقبلي في أمان البلوكشين. منذ عام 2017، كان البروفيسور شاو تشونغ ملتزمًا بإدخال تقنيات التحقق الرسمي في مجال ضمان أمان العقود الذكية وبروتوكولات السلسلة، مما ساهم بشكل مهم في حماية أمان الأصول المشفرة التي تقدر بمئات المليارات.
حاليًا، أكملت LiDO تصميم النموذج والتحقق الرسمي، وبدأت في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. أشار البروفيسور شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الأساسية في Web3.0، لتوفير منتجات وخدمات على مدار دورة كاملة، ودعم الاستراتيجية طويلة الأجل لتطوير الشركات والنظم البيئية في Web3 بشكل أفضل. وفي نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون بروتوكولات الشبكة القابلة للثقة، والأمنة، والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."