نعلن عن BOLD (تأخير السيولة المحدود): بروتوكول نزاع اخترعناه في Offchain Labs والذي يمكنه تمكين التحقق بدون إذن لسلاسل Arbitrum. الرمز والمواصفات متاحان الآن على Github هنا!
يسمح BOLD لسلاسل تقنية Arbitrum بما يلي:
يضمن سلامة وحيوية سلسلتهم
تصغير الكمون لتسوية الدول
يمنع الأطراف غير الشريفة من رفع التكلفة على الشرفاء
واليوم، تقوم سلاسل التراكم المتفائلة التي تدعم إثباتات الاحتيال، مثل Arbitrum One وNova، بتسوية حالتها لصالح Ethereum. تقوم مجموعة من الكيانات، المعروفة باسم المدققين، بنشر مطالبات حول حالة L2 التي تحققوا من صحتها بالنسبة للعقد الذكي. خلال فترة 7 أيام، يمكن للمدققين الآخرين الطعن في هذه المطالبات، وتتم عملية حل النزاع. بمجرد تأكيد المطالبة، تعتبر حالة L2 صحيحة على Ethereum. عملية التحقق هذه هي سبب إمكانية ربط الأصول بين سلاسل Arbitrum وEthereum L1 مع تأخير لمدة 7 أيام. يتضمن بروتوكول التحدي قيام الأطراف بتقديم أدلة الاحتيال إلى Ethereum لتحديد النتيجة الصحيحة لتنفيذ L2.
ومع ذلك، فإن التحقق من صحة Arbitrum One و Nova عبر أدلة الاحتيال مسموح به اليوم لأن بروتوكولات النزاع الخاصة بهما معرضة لهجمات رفض الخدمة. يمكن للمدقق الضار أن ينفق الأموال بشكل متكرر لمنع تأكيد التأكيدات، وبالتالي تأخير عمليات السحب من المستوى الثاني إلى المستوى الأول طالما أراد ذلك. لقد كتب إد فيلتن من فريقنا سابقًا عن هجمات التأخير على بروتوكولات التجميع وخطورتها هنا.
لقد ابتكرنا أسلوبًا جديدًا للتحقق من الصحة يمنحنا حدًا أعلى ثابتًا قدره 7 أيام من التأخير الإضافي للتأكيدات دون التعرض لهجمات التأخير. يمكن لبروتوكولنا، المسمى BOLD، أن يجعل التحقق من صحة سلاسل Arbitrum غير مسموح به بأمان، مما ينقلها عدة خطوات في سلم اللامركزية. يسمح هذا النهج لمدقق واحد وصادق بالفوز في النزاعات على Ethereum ضد أي عدد من الخصوم.
التعليمات البرمجية ومواصفات البحث متاحة الآن على Github هنا. نحن نساهم أيضًا بالكود في قاعدة بيانات Arbitrum Nitro للتطوير والاختبار. سنعلن قريبًا عن كل من الشبكات المطورة المحلية ليجربها المجتمع وشبكة اختبار عامة للبروتوكول!
نقدم لكم جريئة
يتعين على كل نظام من الطبقة الثانية أن يتعامل مع مشاكل التأخير عند تسوية حالته على Ethereum. BOLD هو تطور لنظام النزاعات في Arbitrum والذي بلغ ذروته في نهج أكثر قوة. على حد علمنا، يعد BOLD أول بروتوكول تحدي عملي يدعم النزاعات الفعالة الشاملة ضد الجميع. هو – هي:
• يضمن حدودًا عليا ثابتة في أوقات التأكيد لتسوية Optimistic Rollups، … و
• يضمن أن يتمكن حزب واحد نزيه في العالم من الفوز ضد أي عدد من المطالبات الخبيثة
ترتبط النزاعات في BOLD بالتنفيذ الحتمي لحالة L2، وليس بصاحب مصلحة أو كيان معين. وهذا يعني أن كل من يتفق مع دولة ما يستطيع أن يدافع عنها، حتى يتم العثور على نقطة خلاف واحدة. نظرًا لأن حالة L2 الصادقة حتمية، فإن الأطراف الصادقة ستفوز دائمًا إذا شاركت، حيث لا يمكن للأشرار تزييف أدلة التنفيذ.
للحصول على معلومات تفصيلية حول كيفية عمل BOLD وما الذي يجعله مميزًا، راجع مواصفات البحث المتوفرة لدينا على Github هنا.
الرمز متاح الآن
واليوم، نعلن عن تنفيذنا لـ BOLD وننشر مواصفات بحثنا التي تشرح العناصر الداخلية للبروتوكول تحت github.com/offchainlabs/bold. تتضمن قاعدة التعليمات البرمجية تطبيقًا كاملاً لمدير التحدي الذي لا ينشر تأكيدات حول حالة المستوى الثاني فحسب، بل يمكنه المشاركة في التحديات ضد أي عدد من الخصوم الخبيثين وتأكيد الحالة الصحيحة.
تطبيقنا معياري، ويمكن دمجه في سلاسل Arbitrum Orbit أو Arbitrum One/Nova إذا قررت DAO اعتماده. عند دمجها في عقدة التحقق من صحة L2، يقوم BOLD بتغليف كل المنطق المطلوب للمشاركة في التحديات، ونشر التأكيدات حول حالات L2 إلى عقود التجميع على Ethereum، وتأكيد هذه التأكيدات.
تم تدقيق BOLD أيضًا بواسطة Trail of Bits، مع تضمين تقرير التدقيق الخاص بنا في المستودع هنا. تتبع قاعدة التعليمات البرمجية أيضًا نفس الترخيص الذي تتبعه Arbitrum Nitro في الوقت الحالي، حيث نخطط لدمج التعليمات البرمجية باعتبارها تبعية يمكن لسلاسل تكنولوجيا Arbitrum استخدامها بسهولة – بما في ذلك البطاريات.
نعتقد أن الأدوات الإضافية ضرورية لفهم نظام معقد مثل هذا. ونتيجة لذلك، فإننا نقوم أيضًا ببناء متخيل التحدي وواجهة برمجة التطبيقات (API) قيد العمل! نظرة خاطفة أدناه، التي بناها
بريستون فان لون
:
خريطة الطريق
هناك بعض الخطوات الإضافية التي يجب إكمالها قبل أن يصبح BOLD جاهزًا للإنتاج. القادمة القادمة، ونحن نخطط ل:
• مشاركة تعليمات تشغيل Arbitrum Nitro devnet مع تفعيل تحديات BOLD في الأسابيع المقبلة
• نشر كود البراهين الرسمي الخاص بنا لـ BOLD، المكتوب بلغة البرمجة Isabelle بالإضافة إلى ورقتنا الكاملة ذات النمط الأكاديمي
• بيئة اختبار عامة (سيتم توفير بيئة جديدة لـ BOLD) للمجتمع للمشاركة في ألعاب التحدي
• … وإذا كانت هناك تعليقات إيجابية من المجتمع، فإننا نخطط لإعداد AIP حتى تتمكن DAO من اتخاذ قرار بشأن اعتماد بروتوكول التحدي الجديد هذا في Arbitrum One وNova
جربه اليوم!
مستودع BOLD اقرأني يتضمن تعليمات حول تشغيل مثال نزاع كامل محليًا عبر اختبار شامل، مما يسمح لأي شخص بمعرفة كيفية حل النزاع باستخدام الواجهة الخلفية المحلية لسندان Ethereum:
lvl=info msg=“Submitting one-step-proof to protocol” service=edge-tracker startCommit=0x2f0e761b endHeight=4 endCommit=0xfb7311a8 validatorName=bob challengeType=small_step_challenge_edge id=0xbdb60918 startHeight=3
lvl=info msg=“Succeeded one-step-proof for edge and confirmed it as winner” service=edge-tracker id=0x4be715c1 startHeight=2 startCommit=0xbcb71b66 endHeight=3 endCommit=0x2f0e761b validatorName=bob challengeType=small_step_challenge_edge
lvl=info msg=“Edge tracker received notice of a confirmation, exiting” service=edge-tracker endCommit=0xfb7311a8 validatorName=bob challengeType=small_step_challenge_edge id=0xbdb60918 startHeight=3 startCommit=0x2f0e761b endHeight=4