في قمة علماء Web3، أعلن أستاذ من جامعة ييل عن نموذج LiDO لأول مرة
في قمة علماء Web3 لعام 2025، ألقى الأستاذ شاو تشونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا بعنوان "أمان بروتوكولات الإجماع المعتمدة على التكرير وإثبات النشاط: LiDO وتوسعاته"، حيث كشف لأول مرة عن نموذج LiDO وإطار LiDO-DAG الذي طوره فريقه. تهدف هذه النتيجة الرائدة إلى تقديم إثباتات أمان ونشاط قابلة للتحقق آليًا لبروتوكولات الإجماع المعقدة التي تتحمل أخطاء بيزنطية (BFT)، مما يضع الأساس التكنولوجي لتطوير موثوقية وتوسع بيئة Web3.
أشار الأستاذ شاو تشونغ إلى أن بروتوكولات التوافق الحالية مثل PBFT تستخدم على نطاق واسع، ولكن بسبب التعقيد في التنفيذ، فإنها غالبًا ما تخفي ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO بشكل مبتكر إطار تحقق من ثلاث طبقات.
طبقة التجريد الآمنة: تعيين البروتوكول كآلة حالة خطية، لضمان اتساق السجل (الأمان)؛
طبقة ضمان النشاط: إدخال آلية "Pacemaker"، من خلال بث المهلة والتزامن الدوري لحل مشكلة تأخير الشبكة؛
طبقة التوسع DAG: تدعم بروتوكولات DAG الناشئة، مما يحقق التحقق الفعال بالتوافق بدون قائد.
في الوقت الحالي، تم تطبيق LiDO بنجاح على بروتوكول الصناعة Jolteon (BFT ذو المرحلتين) وعدة بروتوكولات DAG، وتم إكمال أكثر من 10,000 سطر من كود Coq لإثبات آلي، وبلغت كمية كود التحقق من الأمان والحيوية 4000 سطر و 1700 سطر على التوالي. أشار البروفيسور شاو زونغ في حديثه إلى: "حاليًا، تواجه بروتوكولات إجماع PoS عمومًا تحدي صعوبة تحقيق الأمان والحيوية واللامركزية في نفس الوقت. نموذج LiDO هو بالضبط الحل التصميمي المنهجي الذي تم اقتراحه لكسر هذه المعضلة."
تم تطوير CertiKOS، الذي يقوده البروفيسور شاو تشونغ وفريقه، ليكون أول نظام تشغيل "خالي من الثغرات" في العالم يتم التحقق من صحته من خلال التحقق الرسمي، ويُعتبر "معلمًا بارزًا في أمان الأنظمة الفيزيائية الشبكية". هذه الإنجاز لا يُرسخ فقط من قاعدة معرفته العميقة في مجال أمان الأنظمة، بل يوفر أيضًا أساسًا قويًا للبحوث المستقبلية. في السنوات الأخيرة، ركز البروفيسور شاو تشونغ على أمان البلوكتشين، حيث أدخل تقنية التحقق الرسمي في ضمان أمان العقود الذكية وبروتوكولات السلسلة، مما قدم دعمًا قويًا لأمان الأصول المشفرة.
لقد أكمل LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأت في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. أشار البروفيسور شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الأساسية في Web3.0، لتقديم منتجات وخدمات على مدار الدورة بأكملها، لدعم الاستراتيجيات طويلة الأمد لشركات Web3 والبيئة. في نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون شبكة البروتوكولات الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 10
أعجبني
10
4
إعادة النشر
مشاركة
تعليق
0/400
GweiWatcher
· منذ 3 س
مشغول طوال اليوم في البيع على المكشوف، أنا أفهم الثور والدب.
أصدر أستاذ ييل نموذج LiDO لدعم تحقيق بروتوكول الإجماع في Web3
في قمة علماء Web3، أعلن أستاذ من جامعة ييل عن نموذج LiDO لأول مرة
في قمة علماء Web3 لعام 2025، ألقى الأستاذ شاو تشونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا بعنوان "أمان بروتوكولات الإجماع المعتمدة على التكرير وإثبات النشاط: LiDO وتوسعاته"، حيث كشف لأول مرة عن نموذج LiDO وإطار LiDO-DAG الذي طوره فريقه. تهدف هذه النتيجة الرائدة إلى تقديم إثباتات أمان ونشاط قابلة للتحقق آليًا لبروتوكولات الإجماع المعقدة التي تتحمل أخطاء بيزنطية (BFT)، مما يضع الأساس التكنولوجي لتطوير موثوقية وتوسع بيئة Web3.
أشار الأستاذ شاو تشونغ إلى أن بروتوكولات التوافق الحالية مثل PBFT تستخدم على نطاق واسع، ولكن بسبب التعقيد في التنفيذ، فإنها غالبًا ما تخفي ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO بشكل مبتكر إطار تحقق من ثلاث طبقات.
في الوقت الحالي، تم تطبيق LiDO بنجاح على بروتوكول الصناعة Jolteon (BFT ذو المرحلتين) وعدة بروتوكولات DAG، وتم إكمال أكثر من 10,000 سطر من كود Coq لإثبات آلي، وبلغت كمية كود التحقق من الأمان والحيوية 4000 سطر و 1700 سطر على التوالي. أشار البروفيسور شاو زونغ في حديثه إلى: "حاليًا، تواجه بروتوكولات إجماع PoS عمومًا تحدي صعوبة تحقيق الأمان والحيوية واللامركزية في نفس الوقت. نموذج LiDO هو بالضبط الحل التصميمي المنهجي الذي تم اقتراحه لكسر هذه المعضلة."
تم تطوير CertiKOS، الذي يقوده البروفيسور شاو تشونغ وفريقه، ليكون أول نظام تشغيل "خالي من الثغرات" في العالم يتم التحقق من صحته من خلال التحقق الرسمي، ويُعتبر "معلمًا بارزًا في أمان الأنظمة الفيزيائية الشبكية". هذه الإنجاز لا يُرسخ فقط من قاعدة معرفته العميقة في مجال أمان الأنظمة، بل يوفر أيضًا أساسًا قويًا للبحوث المستقبلية. في السنوات الأخيرة، ركز البروفيسور شاو تشونغ على أمان البلوكتشين، حيث أدخل تقنية التحقق الرسمي في ضمان أمان العقود الذكية وبروتوكولات السلسلة، مما قدم دعمًا قويًا لأمان الأصول المشفرة.
لقد أكمل LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأت في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. أشار البروفيسور شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الأساسية في Web3.0، لتقديم منتجات وخدمات على مدار الدورة بأكملها، لدعم الاستراتيجيات طويلة الأمد لشركات Web3 والبيئة. في نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون شبكة البروتوكولات الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."