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