قمة علماء 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 والبيئة.
في نهاية الخطاب، أكد الأستاذ: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي." أثارت هذه الفكرة مناقشات واسعة بين الحضور من الباحثين، وحددت اتجاه تطوير تقنيات Web3 في المستقبل.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 10
أعجبني
10
3
إعادة النشر
مشاركة
تعليق
0/400
PumpDetector
· 08-02 04:48
مجرد إطار نظري آخر... رأيت الكثير منذ أيام mt gox بصراحة
شاهد النسخة الأصليةرد0
MonkeySeeMonkeyDo
· 07-30 05:34
مرة أخرى نرى المال القديم؟ لا عجب أنه PBFT يثبت المال القديم
نموذج 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 والبيئة.
في نهاية الخطاب، أكد الأستاذ: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي." أثارت هذه الفكرة مناقشات واسعة بين الحضور من الباحثين، وحددت اتجاه تطوير تقنيات Web3 في المستقبل.