في قمة علماء Web3، كشف أستاذ ييل لأول مرة عن نموذج LiDO
في قمة علماء الويب 3 لعام 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، كشف أستاذ ييل لأول مرة عن نموذج LiDO
في قمة علماء الويب 3 لعام 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 بشكل أفضل. في نهاية حديثه، أكد البروفيسور شاو تشونغ على: "إن بناء حزمة بروتوكولات شبكة موثوقة وآمنة وقابلة للتحقق سيكون المسار الرئيسي نحو مستقبل لامركزي حقيقي."