في قمة علماء Web3 ، كشف أستاذ ييل عن نموذج أمان بروتوكول الإجماع الجديد
في قمة علماء 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 الذي تم تطويره سابقًا من قبل البروفيسور شاو وزملائه بأنه "معلم في أمان الأنظمة الفيزيائية السيبرانية"، وهو أول نظام تشغيل "خالي من الثغرات" يتم التحقق منه بشكل رسمي في العالم. لا تُظهر هذه الإنجازات فقط الخبرة العميقة للفريق في مجال أمان الأنظمة، بل تضع أيضًا أساسًا تقنيًا قويًا لأبحاثهم المستقبلية. في عام 2017، قدم البروفيسور شاو مع طلابه، البروفيسور غو رونغ هوي، تقنية التحقق الرسمي إلى مجال ضمان أمان العقود الذكية وبروتوكولات السلسلة، مما يوفر حماية أمنية لأصول التشفير التي تقدر بمئات المليارات.
تم الانتهاء من تصميم نموذج LiDO والتحقق من صحته بشكل رسمي، وقد بدأت استكشاف إمكانية الدمج مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. أشار البروفيسور شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0، لتقديم منتجات وخدمات على مدار الدورة بالكامل، لدعم الاستراتيجية طويلة الأجل لتطوير الشركات والنظم البيئية في Web3 بشكل أفضل.
في نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل حقيقي لامركزي." تسلط هذه وجهة النظر الضوء على رؤيته العميقة في اتجاه تطور تقنيات Web3، وتوفر أيضًا اتجاهات جديدة للتفكير في أمان blockchain والأنظمة اللامركزية في المستقبل.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
أستاذ ييل يقدم نموذج LiDO: ابتكار في أمان بروتوكول الإجماع في Web3
في قمة علماء Web3 ، كشف أستاذ ييل عن نموذج أمان بروتوكول الإجماع الجديد
في قمة علماء Web3 لعام 2025 التي عقدت مؤخرًا، ألقى الأستاذ شاو تشونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا مثيرًا، حيث قدم نموذج LiDO وإطار LiDO-DAG التوسيعي الذي طوره فريقه. تهدف هذه النتيجة الابتكارية إلى توفير أمان وقابلية التحقق الآلي لشبكات الإجماع المعقدة (BFT)، مما يضع أساسًا تقنيًا قويًا لتطوير موثوقية وقابلية توسيع نظام Web3.
أشار البروفيسور شاو تشونغ في خطابه إلى أنه على الرغم من أن بروتوكولات الإجماع الحالية (مثل PBFT وJolteon) قد تم تطبيقها على نطاق واسع، إلا أن تعقيد تنفيذها غالبًا ما يخفي ثغرات أمنية محتملة. لحل هذه المشكلة، قدم نموذج LiDO إطار تحقق مبتكر من ثلاث طبقات.
حالياً، تم تطبيق LiDO بنجاح على بروتوكول Jolteon الصناعي (BFT ثنائي المرحلة) والعديد من بروتوكولات DAG، وتم إنجاز أكثر من عشرة آلاف سطر من رموز Coq لإثبات الميكانيكي. حيث بلغ حجم الشيفرات الخاصة بالتحقق من الأمان والنشاط 4000 سطر و1700 سطر على التوالي. أكد البروفيسور شاو جونغ في خطابه: "حالياً، تواجه بروتوكولات الإجماع PoS عمومًا صعوبة في تحقيق الأمان والنشاط واللامركزية في نفس الوقت. نموذج LiDO هو بالضبط خطة تصميم نظامية تهدف إلى كسر هذه المعضلة."
تم الإشادة بنظام CertiKOS الذي تم تطويره سابقًا من قبل البروفيسور شاو وزملائه بأنه "معلم في أمان الأنظمة الفيزيائية السيبرانية"، وهو أول نظام تشغيل "خالي من الثغرات" يتم التحقق منه بشكل رسمي في العالم. لا تُظهر هذه الإنجازات فقط الخبرة العميقة للفريق في مجال أمان الأنظمة، بل تضع أيضًا أساسًا تقنيًا قويًا لأبحاثهم المستقبلية. في عام 2017، قدم البروفيسور شاو مع طلابه، البروفيسور غو رونغ هوي، تقنية التحقق الرسمي إلى مجال ضمان أمان العقود الذكية وبروتوكولات السلسلة، مما يوفر حماية أمنية لأصول التشفير التي تقدر بمئات المليارات.
تم الانتهاء من تصميم نموذج LiDO والتحقق من صحته بشكل رسمي، وقد بدأت استكشاف إمكانية الدمج مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. أشار البروفيسور شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0، لتقديم منتجات وخدمات على مدار الدورة بالكامل، لدعم الاستراتيجية طويلة الأجل لتطوير الشركات والنظم البيئية في Web3 بشكل أفضل.
في نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل حقيقي لامركزي." تسلط هذه وجهة النظر الضوء على رؤيته العميقة في اتجاه تطور تقنيات Web3، وتوفر أيضًا اتجاهات جديدة للتفكير في أمان blockchain والأنظمة اللامركزية في المستقبل.