في 8 أبريل ، في مؤتمر علماء Web3 2025 الذي عقد في هونغ كونغ ، ألقى شاو تشونغ ، الأستاذ في قسم علوم الكمبيوتر بجامعة ييل والمؤسس المشارك ل CertiK ، خطابا رئيسيا بعنوان "إثبات الأمان ونشاط بروتوكولات الإجماع القائمة على التحسين: LiDO وملحقاته" ، وكشف عن نموذج LiDO وإطار تمديد LiDO-DAG الذي طوره فريقه لأول مرة. يهدف هذا الإنجاز الخارق إلى توفير دليل يمكن التحقق منه ميكانيكيا على الأمان والحيوية لبروتوكول الإجماع البيزنطي المعقد لتحمل الأخطاء (BFT) ، مما يضع أساسا تقنيا للموثوقية والتطوير واسع النطاق لنظام Web3 البيئي.
في هذه المحاضرة، أشار البروفيسور شاو تشونغ إلى أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) تُستخدم على نطاق واسع، ولكن بسبب تعقيد التنفيذ فإنها غالبًا ما تخفي ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO بشكل مبتكر إطار التحقق ثلاثي الطبقات.
طبقة التجريد الآمن: تحويل البروتوكول إلى آلة حالة خطية، لضمان اتساق السجلات (الأمان)؛
طبقة الضمان النشطة: إدخال آلية "جهاز تنظيم ضربات القلب" لحل مشكلة زمن انتقال الشبكة من خلال بث المهلة والمزامنة المستديرة ؛
طبقة تمديد DAG: تدعم بروتوكولات DAG الناشئة مثل Narwhal و Bullshark لتحقيق التحقق الفعال من الإجماع بدون قيادة.
حالياً، تم تطبيق LiDO بنجاح على بروتوكول Jolteon الصناعي (BFT ذو المرحلتين) وعدد من بروتوكولات DAG، وتم الانتهاء من إثبات ميكانيكي لأكثر من عشرة آلاف سطر من كود Coq، حيث بلغ حجم كود التحقق من الأمان 4000 سطر و1700 سطر للتحقق من النشاط. "حالياً، تواجه بروتوكولات الإجماع PoS بشكل عام صعوبة في تحقيق الأمان والنشاط واللامركزية في آن واحد،" أشار البروفيسور شاو تشونغ خلال حديثه. "نموذج LiDO هو بالضبط خطة تصميم نظامية تم اقتراحها لكسر هذه المعضلة."
طور البروفيسور شاو تشونغ وفريقه نظام CertiKOS، وهو أول نظام تشغيل "خالي من الثغرات" تم التحقق منه بشكل رسمي على مستوى العالم، ويعتبر "معلمًا في أمان الأنظمة الفيزيائية الشبكية". لا يضع هذا الإنجاز الأساس التكنولوجي لشركة CertiK الأمنية فحسب، بل يبرز أيضًا تراكمها العميق في مجال أمان الأنظمة. في السنوات الأخيرة، غاص البروفيسور شاو تشونغ في أمان blockchain، وفي عام 2017، أسس مع تلميذه البروفيسور غو رونغ هوي شركة CertiK، حيث أدخل تقنية التحقق الرسمي في ضمان أمان العقود الذكية وبروتوكولات السلسلة، مما يضمن أمان أصول التشفير التي تزيد قيمتها عن 100 مليار دولار.
لقد أكمل LiDO تصميم النموذج والتحقق الرسمي، وبدأ في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. أشار البروفيسور شاو تشونغ إلى أن CertiK ملتزمة بالتحقق من الآليات الرئيسية في Web3.0 لتقديم منتجات وخدمات على مدار الدورة بالكامل، ودعم الاستراتيجية طويلة الأمد لتطوير شركات وبيئة Web3 بشكل أفضل. في نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون بروتوكولات الشبكة الموثوقة والآمنة القابلة للتحقق، هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
حضر الأستاذ شاو تشونغ، المؤسس المشارك لشركة CertiK، قمة علماء Web3، حيث تم الكشف عن نموذج LiDO لأول مرة.
في 8 أبريل ، في مؤتمر علماء Web3 2025 الذي عقد في هونغ كونغ ، ألقى شاو تشونغ ، الأستاذ في قسم علوم الكمبيوتر بجامعة ييل والمؤسس المشارك ل CertiK ، خطابا رئيسيا بعنوان "إثبات الأمان ونشاط بروتوكولات الإجماع القائمة على التحسين: LiDO وملحقاته" ، وكشف عن نموذج LiDO وإطار تمديد LiDO-DAG الذي طوره فريقه لأول مرة. يهدف هذا الإنجاز الخارق إلى توفير دليل يمكن التحقق منه ميكانيكيا على الأمان والحيوية لبروتوكول الإجماع البيزنطي المعقد لتحمل الأخطاء (BFT) ، مما يضع أساسا تقنيا للموثوقية والتطوير واسع النطاق لنظام Web3 البيئي.
في هذه المحاضرة، أشار البروفيسور شاو تشونغ إلى أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) تُستخدم على نطاق واسع، ولكن بسبب تعقيد التنفيذ فإنها غالبًا ما تخفي ثغرات محتملة. لحل هذه المشكلة، قدم نموذج LiDO بشكل مبتكر إطار التحقق ثلاثي الطبقات.
طبقة التجريد الآمن: تحويل البروتوكول إلى آلة حالة خطية، لضمان اتساق السجلات (الأمان)؛
طبقة الضمان النشطة: إدخال آلية "جهاز تنظيم ضربات القلب" لحل مشكلة زمن انتقال الشبكة من خلال بث المهلة والمزامنة المستديرة ؛
طبقة تمديد DAG: تدعم بروتوكولات DAG الناشئة مثل Narwhal و Bullshark لتحقيق التحقق الفعال من الإجماع بدون قيادة.
حالياً، تم تطبيق LiDO بنجاح على بروتوكول Jolteon الصناعي (BFT ذو المرحلتين) وعدد من بروتوكولات DAG، وتم الانتهاء من إثبات ميكانيكي لأكثر من عشرة آلاف سطر من كود Coq، حيث بلغ حجم كود التحقق من الأمان 4000 سطر و1700 سطر للتحقق من النشاط. "حالياً، تواجه بروتوكولات الإجماع PoS بشكل عام صعوبة في تحقيق الأمان والنشاط واللامركزية في آن واحد،" أشار البروفيسور شاو تشونغ خلال حديثه. "نموذج LiDO هو بالضبط خطة تصميم نظامية تم اقتراحها لكسر هذه المعضلة."
طور البروفيسور شاو تشونغ وفريقه نظام CertiKOS، وهو أول نظام تشغيل "خالي من الثغرات" تم التحقق منه بشكل رسمي على مستوى العالم، ويعتبر "معلمًا في أمان الأنظمة الفيزيائية الشبكية". لا يضع هذا الإنجاز الأساس التكنولوجي لشركة CertiK الأمنية فحسب، بل يبرز أيضًا تراكمها العميق في مجال أمان الأنظمة. في السنوات الأخيرة، غاص البروفيسور شاو تشونغ في أمان blockchain، وفي عام 2017، أسس مع تلميذه البروفيسور غو رونغ هوي شركة CertiK، حيث أدخل تقنية التحقق الرسمي في ضمان أمان العقود الذكية وبروتوكولات السلسلة، مما يضمن أمان أصول التشفير التي تزيد قيمتها عن 100 مليار دولار.
لقد أكمل LiDO تصميم النموذج والتحقق الرسمي، وبدأ في استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. أشار البروفيسور شاو تشونغ إلى أن CertiK ملتزمة بالتحقق من الآليات الرئيسية في Web3.0 لتقديم منتجات وخدمات على مدار الدورة بالكامل، ودعم الاستراتيجية طويلة الأمد لتطوير شركات وبيئة Web3 بشكل أفضل. في نهاية الخطاب، أكد البروفيسور شاو تشونغ: "ستكون بروتوكولات الشبكة الموثوقة والآمنة القابلة للتحقق، هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."