في قمة علماء Web3، قدم أستاذ ييل نموذج LiDO للجمهور لأول مرة
عُقدت قمة علماء 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، أسس شركة أمان blockchain مع تلميذه البروفيسور غو رونغ هوي، حيث قاموا بإدخال تقنية التحقق الرسمي إلى أمان العقود الذكية والبروتوكولات على السلسلة، مما يضمن أمان الأصول المشفرة التي تقدر بمئات المليارات.
لقد أكمل LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأ في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. أشار البروفيسور شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0، لتقديم منتجات وخدمات على مدار دورة الحياة بالكامل، ولدعم الاستراتيجيات التنموية طويلة الأجل لشركات Web3 والبيئة. في نهاية حديثه، أكد البروفيسور شاو تشونغ: "ستكون الشبكات الموثوقة والآمنة القابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 13
أعجبني
13
5
مشاركة
تعليق
0/400
CountdownToBroke
· منذ 6 س
لقد جاء مرة أخرى، مجموعة من المفاهيم التي لا أفهمها تخدع الناس
شاهد النسخة الأصليةرد0
consensus_failure
· 08-03 18:27
لا يمكن تنفيذها مرة أخرى، كل ما فعلناه هو النظريات فقط.
أستاذ ييل يكشف لأول مرة عن LiDO:突破 في أمان بروتوكول الإجماع Web3
في قمة علماء Web3، قدم أستاذ ييل نموذج LiDO للجمهور لأول مرة
عُقدت قمة علماء 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، أسس شركة أمان blockchain مع تلميذه البروفيسور غو رونغ هوي، حيث قاموا بإدخال تقنية التحقق الرسمي إلى أمان العقود الذكية والبروتوكولات على السلسلة، مما يضمن أمان الأصول المشفرة التي تقدر بمئات المليارات.
لقد أكمل LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأ في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. أشار البروفيسور شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0، لتقديم منتجات وخدمات على مدار دورة الحياة بالكامل، ولدعم الاستراتيجيات التنموية طويلة الأجل لشركات Web3 والبيئة. في نهاية حديثه، أكد البروفيسور شاو تشونغ: "ستكون الشبكات الموثوقة والآمنة القابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."