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