قمة علماء 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 هو بالضبط تصميم منهجي تم اقتراحه لكسر هذه المعضلة."
قاد هذا الأستاذ فريقه لتطوير أول نظام تشغيل "خالٍ من الثغرات" تم التحقق منه بشكل رسمي على مستوى العالم، مما جعله يُلقب بـ "معلم في أمان أنظمة الشبكات الفيزيائية". هذه الإنجاز لم يُؤسس فقط الأساس التقني للشركة الأمنية التي أسسها، بل أظهر أيضاً خبرته العميقة في مجال أمان الأنظمة. في السنوات الأخيرة، تخصص هذا الأستاذ في أمان blockchain، حيث أدخل تقنية التحقق الرسمي في ضمان أمان العقود الذكية والبروتوكولات على السلسلة، لحماية أمان الأصول المشفرة التي تقدر بمئات المليارات.
لقد أكمل LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأ في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. وأشار الأستاذ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0 لتوفير منتجات وخدمات شاملة، ودعم الاستراتيجيات طويلة الأجل لتطوير شركات Web3 والبيئة. في نهاية المحاضرة، أكد الأستاذ: "ستكون الشبكة البروتوكول الموثوق به، الآمن، القابل للتحقق، هو المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 21
أعجبني
21
8
إعادة النشر
مشاركة
تعليق
0/400
MEV_Whisperer
· 07-25 08:35
هل الشيفرة المصدرية موجودة على GitHub؟
شاهد النسخة الأصليةرد0
NewPumpamentals
· 07-23 00:58
مرة أخرى، يتحدثون عن إثباتات رياضية
شاهد النسخة الأصليةرد0
LayerZeroHero
· 07-22 12:45
بروتوكول أمان التحقق يجب أن يكون دقيقًا، وإلا سيكون مجرد لعب!
شاهد النسخة الأصليةرد0
WalletDetective
· 07-22 12:44
مشروع هواء آخر!
شاهد النسخة الأصليةرد0
RamenDeFiSurvivor
· 07-22 12:40
لاعب معكرونة لامركزي يكسب 500U شهريًا، يكره المدققون الذين يُستغل بغباء.
اختراق جديد في إجماع Web3: يحقق نموذج LiDO دليلا آليا على الأمان والنشاط
قمة علماء Web3 تركز على أمان بروتوكول الإجماع وإثبات النشاط
في قمة علماء Web3 لعام 2025 التي عقدت مؤخرًا، ألقى أستاذ معروف في علوم الكمبيوتر خطابًا رئيسيًا بعنوان "أمان وبروتوكول النشاط المبني على الإجماع المكرر: LiDO وإطار توسيعه"، حيث تم الكشف عن نموذج LiDO وإطار LiDO-DAG الذي طوره فريقه للمرة الأولى. تهدف هذه النتيجة الرائدة إلى توفير إثباتات أمان ونشاط يمكن التحقق منها آليًا لبروتوكولات الإجماع المعقدة المقاومة للأخطاء البيزنطية (BFT)، مما يؤسس الأساس التقني لتطوير موثوق وقابل للتوسع لبيئة Web3.
في الخطاب، أشار الأستاذ إلى أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) على الرغم من استخدامها على نطاق واسع، إلا أن تعقيد التنفيذ يمكن أن يخفي ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO بشكل مبتكر إطار عمل للتحقق ثلاثي الطبقات:
في الوقت الحالي، تم تطبيق LiDO بنجاح على بروتوكول الصناعي Jolteon (BFT ذو مرحلتين) والعديد من بروتوكولات DAG، حيث تم الانتهاء من إثبات ميكانيكي لأكثر من عشرة آلاف سطر من كود Coq، وبلغ حجم كود التحقق من الأمان والنشاط 4000 سطر و1700 سطر على التوالي. "حالياً، يواجه بروتوكول الإجماع PoS بشكل عام صعوبة في تحقيق الأمان والنشاط واللامركزية في آن واحد،" أشار الأستاذ خلال حديثه. "نموذج LiDO هو بالضبط تصميم منهجي تم اقتراحه لكسر هذه المعضلة."
قاد هذا الأستاذ فريقه لتطوير أول نظام تشغيل "خالٍ من الثغرات" تم التحقق منه بشكل رسمي على مستوى العالم، مما جعله يُلقب بـ "معلم في أمان أنظمة الشبكات الفيزيائية". هذه الإنجاز لم يُؤسس فقط الأساس التقني للشركة الأمنية التي أسسها، بل أظهر أيضاً خبرته العميقة في مجال أمان الأنظمة. في السنوات الأخيرة، تخصص هذا الأستاذ في أمان blockchain، حيث أدخل تقنية التحقق الرسمي في ضمان أمان العقود الذكية والبروتوكولات على السلسلة، لحماية أمان الأصول المشفرة التي تقدر بمئات المليارات.
لقد أكمل LiDO حاليًا تصميم النموذج والتحقق الرسمي، وبدأ في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية والبروتوكولات اللامركزية. وأشار الأستاذ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0 لتوفير منتجات وخدمات شاملة، ودعم الاستراتيجيات طويلة الأجل لتطوير شركات Web3 والبيئة. في نهاية المحاضرة، أكد الأستاذ: "ستكون الشبكة البروتوكول الموثوق به، الآمن، القابل للتحقق، هو المسار الرئيسي نحو مستقبل لامركزي حقيقي."