قمة علماء 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
4
مشاركة
تعليق
0/400
SleepTrader
· منذ 7 س
يبدو عميقًا جدًا، وأجد صعوبة في استيعابه.
شاهد النسخة الأصليةرد0
ShadowStaker
· 07-21 20:16
meh... نموذج أكاديمي آخر لن ينجو من أول اتصال مع MEV bots بصراحة
شاهد النسخة الأصليةرد0
quietly_staking
· 07-21 04:11
يعمل مرة أخرى على الأمور المعقدة
شاهد النسخة الأصليةرد0
BlockchainDecoder
· 07-21 04:10
من وجهة نظر ورقة نظام التوزيع، فإن إطار التحقق ثلاثي الطبقات في LiDO يكمل حقاً أوجه القصور في منطق هوار في البيئات غير المتزامنة، ويستحق دراسة عميقة لتأثيره العملي في أنظمة الإجماع.
نموذج LiDO يظهر لأول مرة:革新 في أمان بروتوكول الإجماع Web3
قمة علماء 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 بشكل أفضل. في نهاية الخطاب، أكد: "ستكون البروتوكولات الشبكية الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."