تحليل تحديث رئيسي لـ Arbitrum: التحقق بدون إذن باستخدام BOLD

المؤلف: @ francescoweb3 ؛ الترجمة: Huohuo / blockchain العام

** أصبحت Arbitrum أكثر لامركزية: استخدام BOLD للتحقق بدون إذن. ** في حين أن هذا قد لا يكون أسبوعًا باسم مثل BALD ، إلا أنه يعد تحديثًا رئيسيًا لتصميم Arbitrum.

يرمز BOLD إلى Bounded Liquidity Delay ، وكما يوحي الاسم ، فهو "بروتوكول نزاع" يوفر لـ Arbitrum إمكانات تحقق غير مصرح بها.

** 1. لماذا تحتاج BOLD؟ **

بعبارات بسيطة ، تستقر جميع التراكميات المتفائلة على Ethereum. ** كيف يتأكدون من صحة المعاملة؟ من خلال ما يسمى بنظام منع الاحتيال. **

في الممارسة العملية ، يحدث هذا من خلال مجموعة من الكيانات تسمى المدققين. يصدر هؤلاء المدققون بيانات حول حالة L2 ويؤكدون من خلال العقود الذكية صحة هذه البيانات.

بعد ذلك ، هناك فترة تحدٍ مدتها 7 أيام (أو فترة تهدئة) يستطيع خلالها المدققون الآخرون الطعن في هذه المطالبات بالفعل ، وإذا كان هناك تعارض ، فسيتم بدء عملية تسوية النزاع.

إذا تم تأكيد المطالبة ، تعتبر حالة L2 صحيحة وتكتمل التسوية على Ethereum.

إن عملية التحقق من خلال إثبات الاحتيال هي التي تسبب تأخيرًا لمدة 7 أيام تقريبًا للجسر المحلي بين Arbitrum و Ethereum.

يتضمن بروتوكول النزاع قيام الأطراف بتقديم أدلة إثبات الاحتيال إلى Ethereum لتحديد النتيجة الصحيحة لمعاملة L2.

**ما المشكلة؟ حاليًا ، التحقق من خلال إثباتات الاحتيال مطلوب إذن في كل من Arbitrum One و Nova. **

والسبب في ذلك هو حماية بروتوكول النزاع من هجمات رفض الخدمة. إذا استمر المدقق الخبيث في إنفاق الأموال لمنع تأكيد المطالبات ، فسيتم حظر عمليات سحب L2 إلى Ethereum ، وبينما لديهم أموال كافية ، يمكن أن تستمر هذه العملية لفترة طويلة تقريبًا.

يسمى هذا هجوم التأخير ، وهو يحاول إيقاف تقدم بروتوكول التراكم من خلال "محاولة منع أو تأخير تأكيد أي نتائج". تم تصميم هذا الهجوم لمنع المدققين من تقديم أدلة احتيالية ، بحيث لا يمكن تأكيد حالة L2 وتسويتها في Ethereum.

في الواقع ، يتطلب الانتقال إلى التحقق بدون إذن بروتوكولًا مقاومًا لتأخير الهجمات ، مثل BOLD.

BOLD هي طريقة تحقق L2 جديدة بدون إذن.

تمكن Arbitrum من:

ضمان أمن وفعالية السلسلة

تقليل الكمون في تسوية الحالة

منع الأطراف غير النزيهة من زيادة التكاليف للأحزاب النزيهة.

في الواقع ، يمكن أن تساعد BOLD في تحقيق اللامركزية في سلسلة Arbitrum من خلال توفير "تأكيد تأخير إضافي ثابت لمدة 7 أيام" يكون محصنًا ضد تأخير الهجمات.

يحقق ذلك من خلال تمكين "نزاعات شاملة" فعالة ، حيث يمكن حتى لمدقق صادق واحد أن يربح نزاعًا مع أي عدد من الادعاءات الخبيثة.

لذلك ، يمكن لـ BOLD حل النزاعات بين أطراف متعددة بكفاءة في عملية واحدة دون الاعتماد على التحديات الفردية السابقة.

تطلب BOLD من جميع الأطراف التي تدعم بيانًا معينًا أن تقاتل معًا "كفريق واحد".

لذلك ، فإن أي نزاعات في BOLD تتعلق بالتنفيذ "الحتمي" للحالة L2 ، وليس بصاحب أو كيان معين.

هذا يعني أنه يمكن لأي شخص يتفق مع دولة أن يبررها قبل أن يجد نقطة واحدة من عدم الاتساق.

لذلك ، نظرًا لأن النزاعات في BOLD يتم إجراؤها كجزء من الفريق بأكمله ، فإن أي إجراء متفق عليه يتم اتخاذه نيابة عن الفريق يتم دعمه من قبل كل عضو نزيه في الفريق.

تعني الطبيعة الحتمية لحالة L2 الصحيحة أن الأطراف الصادقة ستفوز دائمًا إذا شاركت ، نظرًا لأن الأطراف الخبيثة لا يمكنها تزوير أدلة على تنفيذ المعاملات هذا التصميم أكثر فاعلية لأن كل طرف يمكنه "الاعتماد بهدوء على الآخرين لتمثيل موقفه دون القلق من أن الطرف سيفشل عمدًا في التحدي".

فهم متعمق للجرأة

بدلاً من اعتباره بروتوكول تحدي بين الأطراف المختلفة ، يجب فهم بروتوكول BOLD على أنه منافسة بين "الأطراف" ، حيث يكون هدف المشاركين هو اختيار الحافة الصحيحة كفائز.

كيف تعمل هذه العملية في الخلفية؟

1. "الحافة" هي بنية البيانات الرئيسية في بروتوكول التحدي.
2. الهدف من BOLD هو تأكيد الحواف المقابلة للحسابات الصحيحة ومنع تأكيد أي حواف غير صحيحة.
3. يتتبع BOLD حالة الحافة ، لكنه لا يربط الحافة بأي طرف معين.
4. تصنف الحواف حسب علاقتها بالتنفيذ الصحيح.
5. لا يعرف البروتوكول الفئة التي تنتمي إليها الحافة ، ولكن يمكن للمشاركين الصادقين معرفة ذلك.
6. تحتوي الميزة على "التزام بتاريخ البدء" و "التزام بتاريخ النهاية".
7. يمكن إثبات الحافة إذا كانت كل من بدايتها ونهايتها صحيحة ؛ تكون منحرفة إذا كانت بدايتها صحيحة فقط ؛ وتكون غير ذات صلة إذا كان كلاهما خطأ.
8. لتبرير البروتوكول: 8.1 نظرية الأمن: لا يمكن تأكيد أي انحراف عن أي هامش. 8.2 نظرية وقت الإنجاز: يمكن تأكيد الحواف الصادقة قبل بعض المواعيد النهائية.

البنية التحتية الجريئة

2. الخلاصة

تحقق BOLD حدًا مثاليًا لوقت الاستجابة لتأكيد النتائج ، كما أنها تحد خطيًا من العمل المطلوب من قبل الأطراف الصادقة من حيث الفوائد التي يصادرها الطرف الخصم.