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