قمة علماء Web3 تركز على أمان بروتوكول الإجماع وإثبات النشاط
في قمة علماء Web3 لعام 2025 التي عقدت مؤخرًا، ألقى أستاذ معروف في علوم الحاسوب محاضرة بعنوان "أمان بروتوكول الإجماع المعتمد على التكرير وإثبات النشاط: LiDO وتوسعاته"، حيث تم الكشف عن نموذج LiDO وإطار LiDO-DAG الذي طوره فريقه لأول مرة. تهدف هذه النتيجة الرائدة إلى تقديم إثباتات قابلة للتحقق ميكانيكيًا لأمان ونشاط بروتوكولات الإجماع المعقدة المعتمدة على خطأ بيزنطي (BFT)، وتأسيس أساس تقني لتطوير موثوقية ونمو بيئة Web3.
أشار المتحدث إلى أن بروتوكولات الإجماع الحالية (مثل PBFT، Jolteon) على الرغم من استخدامها على نطاق واسع، إلا أن تعقيد التنفيذ غالبًا ما يخفي ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO إطار تحقق من ثلاث طبقات بشكل مبتكر:
طبقة التجريد الآمن: تحويل البروتوكول إلى آلة حالة خطية، لضمان اتساق السجلات (الأمان)؛
طبقة ضمان النشاط: إدخال آلية "Pacemaker"، من خلال بث المهلة ومزامنة الجولات لكسر مشكلة تأخير الشبكة؛
طبقة التمديد DAG: تدعم بروتوكولات DAG الناشئة مثل Narwhal وBullshark، مما يحقق تحققًا فعالًا للإجماع بدون قائد.
حالياً، تم تطبيق LiDO بنجاح على بروتوكول صناعي Jolteon (BFT ذو مرحلتين) والعديد من بروتوكولات DAG، وتم إنجاز إثبات ميكانيكي لأكثر من عشرة آلاف سطر من كود Coq، حيث بلغ حجم كود التحقق من الأمان 4000 سطر وكود التحقق من النشاط 1700 سطر. أشار البروفيسور في خطابه: "حالياً، تواجه بروتوكولات الإجماع PoS بشكل عام صعوبة في تحقيق الأمان والنشاط واللامركزية في نفس الوقت. إن نموذج LiDO هو في الحقيقة خطة تصميم نظامية تهدف إلى كسر هذه المعضلة."
قاد هذا الأستاذ فريقه لتطوير أول نظام تشغيل "خالي من الثغرات" في العالم تم التحقق منه بشكل رسمي، CertiKOS، والذي تم الإشادة به كـ"معلم في أمان الأنظمة الفيزيائية الشبكية". لم تؤسس هذه الإنجاز فقط أساسًا قويًا له في مجال أمان الأنظمة، بل وضعت أيضًا أساسًا للأبحاث اللاحقة في أمان البلوكشين.
لقد أكمل LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأ في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. وأشار الأستاذ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0 لتقديم منتجات وخدمات على مدار الدورة الكاملة، ودعم الاستراتيجية طويلة المدى لشركات Web3 والبيئة. وفي ختام الخطاب، أكد: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي الطريق الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 15
أعجبني
15
9
مشاركة
تعليق
0/400
CryptoTarotReader
· منذ 23 س
أخيرًا لدينا نموذج جديد، تقييم جيد
شاهد النسخة الأصليةرد0
AltcoinMarathoner
· 07-24 19:08
بروتوكول آخر يدخل السباق... هذه الماراثون تزدحم لكن الأسس تبقى قوية
شاهد النسخة الأصليةرد0
TokenCreatorOP
· 07-24 17:20
لماذا الأمن مهم بهذا القدر؟
شاهد النسخة الأصليةرد0
AirdropLicker
· 07-24 17:13
مرة أخرى يُستغل بغباء.
شاهد النسخة الأصليةرد0
MidnightSnapHunter
· 07-24 17:12
يمكن للتحقق المفصل أن يحل الثغرات
شاهد النسخة الأصليةرد0
SchrodingerAirdrop
· 07-24 17:04
المال شيء جيد
شاهد النسخة الأصليةرد0
OnchainGossiper
· 07-24 16:55
لا تتحدث كثيرًا، يكفي أن تكون الأمور مستقرة.
شاهد النسخة الأصليةرد0
HodlNerd
· 07-24 16:53
من الرائع كيف تلتقي نظرية الألعاب بالتحقق الرسمي في هذا... جمال رياضي حقيقي
Web3突破：LiDO模型助力الإجماع بروتوكول安全性与活性验证
قمة علماء Web3 تركز على أمان بروتوكول الإجماع وإثبات النشاط
في قمة علماء Web3 لعام 2025 التي عقدت مؤخرًا، ألقى أستاذ معروف في علوم الحاسوب محاضرة بعنوان "أمان بروتوكول الإجماع المعتمد على التكرير وإثبات النشاط: LiDO وتوسعاته"، حيث تم الكشف عن نموذج LiDO وإطار LiDO-DAG الذي طوره فريقه لأول مرة. تهدف هذه النتيجة الرائدة إلى تقديم إثباتات قابلة للتحقق ميكانيكيًا لأمان ونشاط بروتوكولات الإجماع المعقدة المعتمدة على خطأ بيزنطي (BFT)، وتأسيس أساس تقني لتطوير موثوقية ونمو بيئة Web3.
أشار المتحدث إلى أن بروتوكولات الإجماع الحالية (مثل PBFT، Jolteon) على الرغم من استخدامها على نطاق واسع، إلا أن تعقيد التنفيذ غالبًا ما يخفي ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO إطار تحقق من ثلاث طبقات بشكل مبتكر:
حالياً، تم تطبيق LiDO بنجاح على بروتوكول صناعي Jolteon (BFT ذو مرحلتين) والعديد من بروتوكولات DAG، وتم إنجاز إثبات ميكانيكي لأكثر من عشرة آلاف سطر من كود Coq، حيث بلغ حجم كود التحقق من الأمان 4000 سطر وكود التحقق من النشاط 1700 سطر. أشار البروفيسور في خطابه: "حالياً، تواجه بروتوكولات الإجماع PoS بشكل عام صعوبة في تحقيق الأمان والنشاط واللامركزية في نفس الوقت. إن نموذج LiDO هو في الحقيقة خطة تصميم نظامية تهدف إلى كسر هذه المعضلة."
قاد هذا الأستاذ فريقه لتطوير أول نظام تشغيل "خالي من الثغرات" في العالم تم التحقق منه بشكل رسمي، CertiKOS، والذي تم الإشادة به كـ"معلم في أمان الأنظمة الفيزيائية الشبكية". لم تؤسس هذه الإنجاز فقط أساسًا قويًا له في مجال أمان الأنظمة، بل وضعت أيضًا أساسًا للأبحاث اللاحقة في أمان البلوكشين.
لقد أكمل LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأ في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. وأشار الأستاذ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0 لتقديم منتجات وخدمات على مدار الدورة الكاملة، ودعم الاستراتيجية طويلة المدى لشركات Web3 والبيئة. وفي ختام الخطاب، أكد: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي الطريق الرئيسي نحو مستقبل لامركزي حقيقي."