قمة علماء Web3 تركز على إطار التحقق من أمان بروتوكول الإجماع الجديد
في قمة علماء 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 هو بالضبط خطة تصميم نظامية مقترحة لتجاوز هذه العقبة."
بصفتها رائدة تطوير نظام التشغيل "بدون ثغرات" المعتمد على التحقق الرسمي CertiKOS، فقد حقق البروفيسور شاو تشونغ وفريقه في مجال أمان النظام مهارات تقنية عميقة. لا يضع هذا الإنجاز فقط أساسًا قويًا لأبحاثهم اللاحقة، بل يظهر أيضًا مساهماتهم الاستثنائية في مجال أمان النظام. في السنوات الأخيرة، حول البروفيسور شاو تشونغ تركيز أبحاثه نحو أمان blockchain، حيث يكرس جهوده لتطبيق تقنيات التحقق الرسمي في ضمان أمان العقود الذكية وبروتوكولات على السلسلة، مما يوفر حماية أمنية لأصول التشفير التي تقدر بمليارات الدولارات.
تم الانتهاء من تصميم نموذج LiDO والتحقق الرسمي منه، وبدأت استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. وأوضح البروفيسور شاو تشونغ أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0، لتوفير منتجات وخدمات على مدار الدورة الكاملة، ودعم الاستراتيجيات طويلة الأجل لشركات Web3 والبيئة. في نهاية الحديث، أكد البروفيسور شاو تشونغ: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 14
أعجبني
14
6
إعادة النشر
مشاركة
تعليق
0/400
GasDevourer
· منذ 5 س
ثور啊哥 خطوة واحدة إلى الأمام
شاهد النسخة الأصليةرد0
MoonRocketman
· منذ 5 س
فخ بروتوكول هو الوقود الضروري لتجاوز الغلاف الجوي، توقعات إيجابية
شاهد النسخة الأصليةرد0
Blockblind
· منذ 5 س
أخيرًا جاء التحقق الآمن الجديد
شاهد النسخة الأصليةرد0
governance_ghost
· منذ 5 س
لا تتفاخر، لقد تم إصلاح أي ثغرة بالفعل.
شاهد النسخة الأصليةرد0
gas_fee_therapy
· منذ 5 س
هم؟ هذا البروتوكول ليس به أي اختراق كبير، أليس كذلك؟
إطار تحقق أمان بروتوكول الإجماع الجديد Web3 LiDO يظهر في قمة العلماء
قمة علماء Web3 تركز على إطار التحقق من أمان بروتوكول الإجماع الجديد
في قمة علماء Web3 لعام 2025 التي عقدت مؤخرًا، ألقى الأستاذ في قسم علوم الكمبيوتر بجامعة ييل، شاو تشونغ، خطابًا بعنوان "أمان بروتوكول الإجماع المبني على التنقيح وإثبات النشاط: LiDO وتوسيعاته"، حيث تم الكشف عن نموذج LiDO وإطار LiDO-DAG الذي طوره فريقه للمرة الأولى. يهدف هذا الإنجاز الابتكاري إلى توفير إثباتات أمان ونشاط قابلة للتنفيذ الميكانيكي لبروتوكولات الإجماع المعقدة التي تتحمل الأخطاء البيزنطية (BFT)، مما يؤسس لأساس تقني قوي لتطوير موثوق وقابل للتوسع في بيئة Web3.
أشار الأستاذ شاو تشونغ في خطابه إلى أنه على الرغم من أن بروتوكولات الإجماع الحالية (مثل PBFT و Jolteon) قد تم تطبيقها على نطاق واسع، إلا أن التعقيد في التنفيذ غالباً ما يخفي الثغرات المحتملة. لمعالجة هذه المشكلة، قدم نموذج LiDO بشكل مبتكر إطار التحقق المكون من ثلاث طبقات:
حاليًا، تم تطبيق LiDO بنجاح على بروتوكول Jolteon (BFT ذو المرحلتين) والعديد من بروتوكولات DAG، وتم إنجاز أكثر من عشرة آلاف سطر من رموز Coq في الإثبات الميكانيكي، حيث بلغ حجم رموز التحقق من الأمان والنشاط 4000 سطر و1700 سطر على التوالي. أشار البروفيسور شاو تشونغ: "في الوقت الحالي، تواجه بروتوكولات الإجماع PoS عمومًا صعوبة في تحقيق الأمان والنشاط واللامركزية في آن واحد. إن نموذج LiDO هو بالضبط خطة تصميم نظامية مقترحة لتجاوز هذه العقبة."
بصفتها رائدة تطوير نظام التشغيل "بدون ثغرات" المعتمد على التحقق الرسمي CertiKOS، فقد حقق البروفيسور شاو تشونغ وفريقه في مجال أمان النظام مهارات تقنية عميقة. لا يضع هذا الإنجاز فقط أساسًا قويًا لأبحاثهم اللاحقة، بل يظهر أيضًا مساهماتهم الاستثنائية في مجال أمان النظام. في السنوات الأخيرة، حول البروفيسور شاو تشونغ تركيز أبحاثه نحو أمان blockchain، حيث يكرس جهوده لتطبيق تقنيات التحقق الرسمي في ضمان أمان العقود الذكية وبروتوكولات على السلسلة، مما يوفر حماية أمنية لأصول التشفير التي تقدر بمليارات الدولارات.
تم الانتهاء من تصميم نموذج LiDO والتحقق الرسمي منه، وبدأت استكشاف إمكانية التكامل مع سلاسل الكتل الرئيسية وبروتوكولات اللامركزية. وأوضح البروفيسور شاو تشونغ أنهم ملتزمون بالتحقق من الآليات الرئيسية في Web3.0، لتوفير منتجات وخدمات على مدار الدورة الكاملة، ودعم الاستراتيجيات طويلة الأجل لشركات Web3 والبيئة. في نهاية الحديث، أكد البروفيسور شاو تشونغ: "ستكون بروتوكولات الشبكة الموثوقة والآمنة والقابلة للتحقق هي المسار الرئيسي نحو مستقبل لامركزي حقيقي."