في قمة علماء Web3، شارك أستاذ ييل نموذجًا جديدًا لسلامة بروتوكول الإجماع
مؤخراً، عُقد مؤتمر علماء Web3 لعام 2025 في موعده المحدد. خلال المؤتمر، قدم البروفيسور شاو زونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا بعنوان "أمان بروتوكول الإجماع المعتمد على التكرير وإثبات النشاط: LiDO وتوسيعه"، حيث قدم للجمهور لأول مرة نموذج LiDO وإطار التوسع LiDO-DAG الذي طوره فريقه. تهدف هذه الإنجازات الابتكارية إلى توفير إثباتات أمان ونشاط قابلة للتفعيل الميكانيكي لبروتوكولات الإجماع المعقدة المعرضة للأخطاء البيزنطية (BFT)، لتأسيس أساس تقني لتطوير موثوقية وقابلية التوسع في نظام Web3.
أشار البروفيسور شاو تشونغ في خطابه إلى أنه على الرغم من أن بروتوكولات الإجماع الموجودة (مثل PBFT و Jolteon) قد تم تطبيقها على نطاق واسع، إلا أن تعقيد التنفيذ غالبًا ما يخفي ثغرات محتملة. لمعالجة هذه المشكلة، قدم نموذج LiDO إطار تحقق مبتكر من ثلاث طبقات.
طبقة التجريد الآمن: تحويل البروتوكول إلى آلة حالة خطية، لضمان اتساق السجلات (الأمان)؛
طبقة ضمان النشاط: إدخال آلية "Pacemaker"، من خلال البث في الوقت المحدد والتزامن في الجولات لحل مشكلة تأخير الشبكة؛
طبقة توسيع DAG: تدعم بروتوكولات DAG الناشئة مثل Narwhal و Bullshark، مما يتيح التحقق الفعال من الإجماع بدون قائد.
حاليًا، تم تطبيق LiDO بنجاح على بروتوكول Jolteon الصناعي (BFT ذو المرحلتين) بالإضافة إلى العديد من بروتوكولات DAG، حيث أكمل أكثر من 10,000 سطر من كود Coq إثباتًا ميكانيكيًا، ووصل حجم كود التحقق من الأمان والحيوية إلى 4,000 سطر و1,700 سطر على التوالي. وأكد البروفيسور شاو تشونغ في حديثه: "حاليًا، تواجه بروتوكولات الإجماع PoS عمومًا صعوبة في تحقيق الأمن والحيوية واللامركزية الثلاثة معًا. نموذج LiDO هو بالضبط الحل النظامي المقترح لكسر هذه المشكلة."
من الجدير بالذكر أن الفريق الذي يقوده البروفيسور شاو تشونغ قد طور سابقًا CertiKOS، وهو أول نظام تشغيل "خالي من الثغرات" تم التحقق منه رسميًا، ويُعتبر "معلمًا في أمان الأنظمة الفيزيائية الشبكية". لا تُظهر هذه الإنجاز فقط العمق الكبير لخبرتهم في مجال أمان الأنظمة، بل تضع أيضًا الأساس لأبحاثهم المستقبلية في مجال أمان blockchain. في عام 2017، قام البروفيسور شاو تشونغ وطلابه، البروفيسور قو رونغ هوي، بإدخال تقنية التحقق الرسمي إلى مجال ضمان أمان العقود الذكية والبروتوكولات على السلسلة، مما يوفر حماية أمنية لأصول التشفير التي تصل قيمتها إلى مئات المليارات من الدولارات.
تم الانتهاء من تصميم نموذج LiDO والتحقق الرسمي منه، وبدأت عملية استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. قال البروفيسور شاو تشونغ إنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0، لتوفير منتجات وخدمات على مدار دورة كاملة، ودعم الاستراتيجيات التنموية طويلة الأجل لشركات وبيئات Web3 بشكل أفضل. في نهاية حديثه، أكد البروفيسور شاو تشونغ: "ستكون حزمة البروتوكولات الشبكية الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 15
أعجبني
15
4
مشاركة
تعليق
0/400
CryptoNomics
· 08-06 13:10
*تنهد* نموذج آخر يدعي حل BFT بينما تكمن المشكلة الحقيقية في توازن نظرية الألعاب العشوائية... دعني أجري بعض الأرقام بسرعة
شاهد النسخة الأصليةرد0
AirdropHunterKing
· 08-06 13:09
ما هذه الأشياء الفاخرة مرة أخرى؟ لماذا لا تخبرني عن كيفية الحصول على التوزيع المجاني؟
أطلق أستاذ ييل نموذج LiDO:突破 جديد في التحقق من أمان بروتوكول الإجماع
في قمة علماء Web3، شارك أستاذ ييل نموذجًا جديدًا لسلامة بروتوكول الإجماع
مؤخراً، عُقد مؤتمر علماء Web3 لعام 2025 في موعده المحدد. خلال المؤتمر، قدم البروفيسور شاو زونغ من قسم علوم الكمبيوتر بجامعة ييل خطابًا بعنوان "أمان بروتوكول الإجماع المعتمد على التكرير وإثبات النشاط: LiDO وتوسيعه"، حيث قدم للجمهور لأول مرة نموذج LiDO وإطار التوسع LiDO-DAG الذي طوره فريقه. تهدف هذه الإنجازات الابتكارية إلى توفير إثباتات أمان ونشاط قابلة للتفعيل الميكانيكي لبروتوكولات الإجماع المعقدة المعرضة للأخطاء البيزنطية (BFT)، لتأسيس أساس تقني لتطوير موثوقية وقابلية التوسع في نظام Web3.
أشار البروفيسور شاو تشونغ في خطابه إلى أنه على الرغم من أن بروتوكولات الإجماع الموجودة (مثل PBFT و Jolteon) قد تم تطبيقها على نطاق واسع، إلا أن تعقيد التنفيذ غالبًا ما يخفي ثغرات محتملة. لمعالجة هذه المشكلة، قدم نموذج LiDO إطار تحقق مبتكر من ثلاث طبقات.
حاليًا، تم تطبيق LiDO بنجاح على بروتوكول Jolteon الصناعي (BFT ذو المرحلتين) بالإضافة إلى العديد من بروتوكولات DAG، حيث أكمل أكثر من 10,000 سطر من كود Coq إثباتًا ميكانيكيًا، ووصل حجم كود التحقق من الأمان والحيوية إلى 4,000 سطر و1,700 سطر على التوالي. وأكد البروفيسور شاو تشونغ في حديثه: "حاليًا، تواجه بروتوكولات الإجماع PoS عمومًا صعوبة في تحقيق الأمن والحيوية واللامركزية الثلاثة معًا. نموذج LiDO هو بالضبط الحل النظامي المقترح لكسر هذه المشكلة."
من الجدير بالذكر أن الفريق الذي يقوده البروفيسور شاو تشونغ قد طور سابقًا CertiKOS، وهو أول نظام تشغيل "خالي من الثغرات" تم التحقق منه رسميًا، ويُعتبر "معلمًا في أمان الأنظمة الفيزيائية الشبكية". لا تُظهر هذه الإنجاز فقط العمق الكبير لخبرتهم في مجال أمان الأنظمة، بل تضع أيضًا الأساس لأبحاثهم المستقبلية في مجال أمان blockchain. في عام 2017، قام البروفيسور شاو تشونغ وطلابه، البروفيسور قو رونغ هوي، بإدخال تقنية التحقق الرسمي إلى مجال ضمان أمان العقود الذكية والبروتوكولات على السلسلة، مما يوفر حماية أمنية لأصول التشفير التي تصل قيمتها إلى مئات المليارات من الدولارات.
تم الانتهاء من تصميم نموذج LiDO والتحقق الرسمي منه، وبدأت عملية استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. قال البروفيسور شاو تشونغ إنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0، لتوفير منتجات وخدمات على مدار دورة كاملة، ودعم الاستراتيجيات التنموية طويلة الأجل لشركات وبيئات Web3 بشكل أفضل. في نهاية حديثه، أكد البروفيسور شاو تشونغ: "ستكون حزمة البروتوكولات الشبكية الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."