في قمة علماء 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" الخالي من الثغرات الذي تم التحقق منه بشكل رسمي، يمتلك البروفيسور شاو زونغ خبرة عميقة في مجال أمان الأنظمة. في السنوات الأخيرة، حول تركيز أبحاثه إلى أمان البلوكشين، وفي عام 2017، أسس شركة أمان مع شركاء له، حيث أدخل تقنية التحقق الرسمي في ضمان أمان العقود الذكية وبروتوكولات السلسلة، لتوفير الحماية الأمنية للأصول المشفرة على نطاق واسع.
لقد اكتمل تصميم نموذج LiDO والتحقق الرسمي منه، وبدأت استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. وأشار البروفيسور شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0، بهدف تقديم منتجات وخدمات على مدار كامل الدورة، لدعم الاستراتيجية طويلة الأجل لتطوير الشركات والنظم البيئية في Web3 بشكل أفضل.
في نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
أصدر أستاذ ييل LiDO: لتوفير ضمانات أمان يمكن التحقق منها لبروتوكول الإجماع Web3
في قمة علماء Web3، أطلق أستاذ ييل نموذج تحقق بروتوكول الإجماع المبتكر
في قمة علماء Web3 لعام 2025، ألقى الأستاذ في قسم علوم الكمبيوتر بجامعة ييل، شاو جونغ، خطابًا بعنوان "إثبات أمان وبقاء بروتوكول الإجماع المعتمد على التكرير: LiDO وتوسيعه"، حيث كشف لأول مرة عن نموذج LiDO وإطار عمل LiDO-DAG الذي طوّره فريقه. تهدف هذه النتيجة الرائدة إلى تقديم إثباتات قابلة للميكنة للأمان والبقاء لبروتوكولات الإجماع المقاومة للخطأ البيزنطي (BFT)، مما يضع أساسًا تقنيًا موثوقًا لتطور نظام Web3.
أشار البروفيسور شاو تشونغ في خطابه إلى أنه على الرغم من أن بروتوكولات الإجماع الحالية (مثل PBFT وJolteon) تُستخدم على نطاق واسع، إلا أن التعقيد في التنفيذ غالبًا ما يخفي الثغرات المحتملة. لحل هذه المشكلة، قدم نموذج LiDO بشكل مبتكر إطار تحقق ثلاثي الطبقات.
حاليًا، تم تطبيق LiDO بنجاح على بروتوكول Jolteon (BFT ذو المرحلتين) والعديد من بروتوكولات DAG، وتم إنهاء آلية إثبات أكثر من عشرة آلاف سطر من كود Coq، حيث بلغ حجم كود التحقق من الأمان والنشاط 4000 سطر و1700 سطر على التوالي. وأكد الأستاذ شاو تشونغ في خطابه: "حاليًا، تواجه بروتوكولات الإجماع PoS عمومًا صعوبات في تحقيق الأمان والنشاط واللامركزية في آن واحد. نموذج LiDO هو بالضبط خطة تصميم منهجية تم اقتراحها لكسر هذه المعضلة."
بصفته مطور نظام التشغيل "CertiKOS" الخالي من الثغرات الذي تم التحقق منه بشكل رسمي، يمتلك البروفيسور شاو زونغ خبرة عميقة في مجال أمان الأنظمة. في السنوات الأخيرة، حول تركيز أبحاثه إلى أمان البلوكشين، وفي عام 2017، أسس شركة أمان مع شركاء له، حيث أدخل تقنية التحقق الرسمي في ضمان أمان العقود الذكية وبروتوكولات السلسلة، لتوفير الحماية الأمنية للأصول المشفرة على نطاق واسع.
لقد اكتمل تصميم نموذج LiDO والتحقق الرسمي منه، وبدأت استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. وأشار البروفيسور شاو تشونغ إلى أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0، بهدف تقديم منتجات وخدمات على مدار كامل الدورة، لدعم الاستراتيجية طويلة الأجل لتطوير الشركات والنظم البيئية في Web3 بشكل أفضل.
في نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."