أستاذ ييل يكشف عن نموذج LiDO لأول مرة في قمة علماء Web3
في قمة علماء Web3 لعام 2025، ألقى البروفيسور شاو زونغ من قسم علوم الكمبيوتر في جامعة ييل خطابًا بعنوان "إثبات الأمان والنشاط للبروتوكولات القائمة على التوافق المكرر: LiDO وتوسعاتها"، حيث قدم لأول مرة نموذج LiDO وإطار العمل التوسعي LiDO-DAG الذي طورته فرقته. تهدف هذه النتيجة الابتكارية إلى توفير إثباتات للأمان والنشاط يمكن التحقق منها آليًا للبروتوكولات المعقدة للتوافق المعتمد على النظام البيزنطي (BFT)، مما يؤسس لأساس تقني لتطوير موثوقية ونمو Web3.
أشار البروفيسور شاو تشونغ في خطابه إلى أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) على الرغم من استخدامها على نطاق واسع، إلا أن تعقيد التنفيذ غالبًا ما يخفي ثغرات محتملة. لمعالجة هذه المشكلة، قدم نموذج LiDO إطار تحقق مكون من ثلاث طبقات.
طبقة التجريد الآمن: تحويل البروتوكول إلى آلة حالة خطية، لضمان تماسك السجلات (الأمان)؛
طبقة الضمان النشط: إدخال آلية "Pacemaker"، لحل مشكلة تأخير الشبكة من خلال البث في حالة المهلة والتزامن الدوري;
طبقة توسيع DAG: تدعم بروتوكولات DAG الناشئة، وتحقق التحقق الفعال من الإجماع بدون قائد.
حالياً، تم تطبيق LiDO بنجاح على بروتوكول الصناعي Jolteon (BFT ذو مرحلتين) والعديد من بروتوكولات DAG، حيث تم إكمال أكثر من عشرة آلاف سطر من أكواد Coq من خلال إثبات ميكانيكي، وكان حجم أكواد التحقق من الأمان والحيوية على التوالي 4000 سطر و1700 سطر. أكد الأستاذ شاو تشونغ في حديثه: "حالياً، تواجه بروتوكولات توافق PoS عمومًا صعوبة في تحقيق الأمان والحيوية واللامركزية الثلاثة في آن واحد. نموذج LiDO هو بالضبط الاقتراح التصميمي النظامي المقدم لكسر هذه الأزمة."
قاد الفريق الذي يرأسه البروفيسور شاو تشونغ تطوير CertiKOS، وهو أول نظام تشغيل "خالي من الثغرات" في العالم يتم التحقق منه بشكل رسمي، ويعتبر "معلمًا في أمان الأنظمة السيبرانية الفيزيائية". لا تُظهر هذه الإنجاز فقط العمق الكبير الذي حققه في مجال أمان الأنظمة، ولكنها أيضًا تضع الأساس للأبحاث المستقبلية في مجال أمان blockchain. في عام 2017، بدأ البروفيسور شاو تشونغ دراسة أمان blockchain بعمق، حيث أدخل تقنية التحقق الرسمي في ضمان أمان العقود الذكية والبروتوكولات على السلسلة، لتوفير الحماية الأمنية لعدد كبير من الأصول المشفرة.
تم الانتهاء من تصميم نموذج LiDO والتحقق من صيغته، وبدأت استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. قال الأستاذ شاو تشونغ إنهم ملتزمون بالتحقق من الآليات الأساسية في Web3.0، لتقديم منتجات وخدمات على مدار الدورة الكاملة، ودعم الاستراتيجيات طويلة الأجل لتطوير شركات وبيئات Web3 بشكل أفضل. في نهاية حديثه، أكد الأستاذ شاو تشونغ: "ستكون شبكات البروتوكولات الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 8
أعجبني
8
5
إعادة النشر
مشاركة
تعليق
0/400
SchrodingerWallet
· منذ 11 س
يستطيع ييل أيضًا لعب البيزنطية، ويمكن أن يبدأ ذلك.
شاهد النسخة الأصليةرد0
NftMetaversePainter
· منذ 11 س
أخيرًا... شخص ما يتناول الجماليات الخوارزمية لبروتوكولات الإجماع. هذا هو شعر حاسوبي بحت بصراحة.
شاهد النسخة الأصليةرد0
PensionDestroyer
· منذ 11 س
الآن يمكن لـ web3 إصلاح الأخطاء بنفسه
شاهد النسخة الأصليةرد0
AirdropATM
· منذ 11 س
انتظر، أليس هذا مجرد كتابة طبقة أمان؟ إنه زجاجة جديدة لنفس النبيذ القديم.
أستاذ ييل يطلق نموذج LiDO لزيادة أمان بروتوكول الإجماع في Web3
أستاذ ييل يكشف عن نموذج LiDO لأول مرة في قمة علماء Web3
في قمة علماء Web3 لعام 2025، ألقى البروفيسور شاو زونغ من قسم علوم الكمبيوتر في جامعة ييل خطابًا بعنوان "إثبات الأمان والنشاط للبروتوكولات القائمة على التوافق المكرر: LiDO وتوسعاتها"، حيث قدم لأول مرة نموذج LiDO وإطار العمل التوسعي LiDO-DAG الذي طورته فرقته. تهدف هذه النتيجة الابتكارية إلى توفير إثباتات للأمان والنشاط يمكن التحقق منها آليًا للبروتوكولات المعقدة للتوافق المعتمد على النظام البيزنطي (BFT)، مما يؤسس لأساس تقني لتطوير موثوقية ونمو Web3.
أشار البروفيسور شاو تشونغ في خطابه إلى أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) على الرغم من استخدامها على نطاق واسع، إلا أن تعقيد التنفيذ غالبًا ما يخفي ثغرات محتملة. لمعالجة هذه المشكلة، قدم نموذج LiDO إطار تحقق مكون من ثلاث طبقات.
حالياً، تم تطبيق LiDO بنجاح على بروتوكول الصناعي Jolteon (BFT ذو مرحلتين) والعديد من بروتوكولات DAG، حيث تم إكمال أكثر من عشرة آلاف سطر من أكواد Coq من خلال إثبات ميكانيكي، وكان حجم أكواد التحقق من الأمان والحيوية على التوالي 4000 سطر و1700 سطر. أكد الأستاذ شاو تشونغ في حديثه: "حالياً، تواجه بروتوكولات توافق PoS عمومًا صعوبة في تحقيق الأمان والحيوية واللامركزية الثلاثة في آن واحد. نموذج LiDO هو بالضبط الاقتراح التصميمي النظامي المقدم لكسر هذه الأزمة."
قاد الفريق الذي يرأسه البروفيسور شاو تشونغ تطوير CertiKOS، وهو أول نظام تشغيل "خالي من الثغرات" في العالم يتم التحقق منه بشكل رسمي، ويعتبر "معلمًا في أمان الأنظمة السيبرانية الفيزيائية". لا تُظهر هذه الإنجاز فقط العمق الكبير الذي حققه في مجال أمان الأنظمة، ولكنها أيضًا تضع الأساس للأبحاث المستقبلية في مجال أمان blockchain. في عام 2017، بدأ البروفيسور شاو تشونغ دراسة أمان blockchain بعمق، حيث أدخل تقنية التحقق الرسمي في ضمان أمان العقود الذكية والبروتوكولات على السلسلة، لتوفير الحماية الأمنية لعدد كبير من الأصول المشفرة.
تم الانتهاء من تصميم نموذج LiDO والتحقق من صيغته، وبدأت استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. قال الأستاذ شاو تشونغ إنهم ملتزمون بالتحقق من الآليات الأساسية في Web3.0، لتقديم منتجات وخدمات على مدار الدورة الكاملة، ودعم الاستراتيجيات طويلة الأجل لتطوير شركات وبيئات Web3 بشكل أفضل. في نهاية حديثه، أكد الأستاذ شاو تشونغ: "ستكون شبكات البروتوكولات الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."