في قمة علماء 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 في السابق هو أول نظام تشغيل "خالي من الثغرات" في العالم تم التحقق منه بشكل رسمي، ويُعتبر "معلمًا بارزًا في أمان الأنظمة الفيزيائية الشبكية". لا يقتصر هذا الإنجاز على إرساء أساس قوي لهم في مجال أمان الأنظمة، بل يُظهر أيضًا خبرتهم الاحترافية في هذا المجال. في السنوات الأخيرة، بحث بروفيسور شاو بعمق في أمان البلوكشين، وفي عام 2017، قام بالتعاون مع طلابه بروفيسور غو رونغ هوي بإدخال تقنية التحقق الرسمي في مجال ضمان أمان العقود الذكية والبروتوكولات على السلسلة، مما يوفر حماية أمان لأصول التشفير التي تقدر بمئات المليارات من الدولارات.
لقد أكملت LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأت في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. وذكر البروفيسور شاو تشونغ أنهم ملتزمون بالتحقق من الآليات الأساسية في Web3.0، لتقديم منتجات وخدمات على مدار الدورة الكاملة، ودعم الاستراتيجيات طويلة الأجل لشركات Web3 والبيئة. في نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون البروتوكولات الشبكية القابلة للثقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 17
أعجبني
17
10
مشاركة
تعليق
0/400
BlockchainTherapist
· 08-01 13:34
نموذج آخر لا أفهمه
شاهد النسخة الأصليةرد0
PanicSeller
· 08-01 07:13
العمالقة جميعهم يلعبون في الويب 3 ادخل مركز قبل فوات الأوان
شاهد النسخة الأصليةرد0
BearHugger
· 08-01 00:51
ما ما ما، هل جاء مرة أخرى للترويج للمفاهيم؟
شاهد النسخة الأصليةرد0
Layer3Dreamer
· 07-30 11:39
من الناحية النظرية، قد يحل إطار عمل DAG الخاص بـ LiDO عنق الزجاجة في الربط بين L3 الخاص بنا...
شاهد النسخة الأصليةرد0
MelonField
· 07-29 17:04
أنا لا أنظر إلا إلى الثور
شاهد النسخة الأصليةرد0
NewPumpamentals
· 07-29 17:03
مرة أخرى، ليست سوى زجاجة جديدة تحتوي على نبيذ قديم
شاهد النسخة الأصليةرد0
BagHolderTillRetire
· 07-29 17:02
مرة أخرى يتم تداول المفاهيم، يجب أن نركز على استثمار gmx
أستاذ ييل ي发布 نموذج 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 في السابق هو أول نظام تشغيل "خالي من الثغرات" في العالم تم التحقق منه بشكل رسمي، ويُعتبر "معلمًا بارزًا في أمان الأنظمة الفيزيائية الشبكية". لا يقتصر هذا الإنجاز على إرساء أساس قوي لهم في مجال أمان الأنظمة، بل يُظهر أيضًا خبرتهم الاحترافية في هذا المجال. في السنوات الأخيرة، بحث بروفيسور شاو بعمق في أمان البلوكشين، وفي عام 2017، قام بالتعاون مع طلابه بروفيسور غو رونغ هوي بإدخال تقنية التحقق الرسمي في مجال ضمان أمان العقود الذكية والبروتوكولات على السلسلة، مما يوفر حماية أمان لأصول التشفير التي تقدر بمئات المليارات من الدولارات.
لقد أكملت LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأت في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. وذكر البروفيسور شاو تشونغ أنهم ملتزمون بالتحقق من الآليات الأساسية في Web3.0، لتقديم منتجات وخدمات على مدار الدورة الكاملة، ودعم الاستراتيجيات طويلة الأجل لشركات Web3 والبيئة. في نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون البروتوكولات الشبكية القابلة للثقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."