قمة علماء Web3 تركز على بحث أمان بروتوكول الإجماع، نموذج LiDO الجديد يجذب المتابعة
في قمة علماء 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
TokenDustCollector
· منذ 13 س
مرة أخرى في إنشاء نموذج جديد، لا أستمع، لا أستمع
شاهد النسخة الأصليةرد0
ImpermanentPhilosopher
· منذ 13 س
مرة أخرى يتحدث العلماء عن الأمان، يمكنني حل كل شيء بمسبح الفهد الخاص بي.
قمة علماء Web3 تطلق نموذج LiDO بروتوكول الإجماع الأمني نحو آفاق جديدة
قمة علماء Web3 تركز على بحث أمان بروتوكول الإجماع، نموذج LiDO الجديد يجذب المتابعة
في قمة علماء 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 والبيئة. في نهاية حديثه، أكد: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."