تم تمزيق معلم @ShieldedLabs Crosslink 4a: - إصلاح 2 أخطاء رئيسية من MS3 - أسهل بكثير UX ، ~ x3 مشاركون في قائمة BFT - أثبتت BFT الجديدة المخصصة الخاصة بنا أنها أكثر استقرارا من SDK السابقة - لقد عانينا من فشل في سلامة BFT من فجوة تصميم معروفة (وليس خطأ BFT) اربط حزام الأمان: 🧵
@ShieldedLabs بسبب عدم تطابق مقاومة بنية التعليمات البرمجية بين مهلة مزامنة إثبات العمل مقابل صعوبة عامل منجم منخفضة ، كان لدى شبكتنا انقسامات إثبات العمل الطويلة المتكررة. بدلا من محاولة إصلاح ورشة العمل المسبقة ، ضاعفنا من تحسين BFT و UX و vizualizer الجديدين. لماذا؟ …
@ShieldedLabs لماذا لا تصلح مشكلة المعرفة الواضحة؟ لأننا نعطي الأولوية لاختبار مرونة بروتوكول الاختبار وميزات التشخيص وتجربة المستخدم. هذا في الواقع عيب مثالي يجب الاحتفاظ به أثناء إثبات مرونة BFT وفائدة المتخيل وتقنيات التشخيص.
@ShieldedLabs يحاكي عدم تطابق مقاومة بنية التعليمات البرمجية بشكل أساسي شبكة "تقسيم شديد" ، كما لو كانت اتصالات الإنترنت بين عمال المناجم وعقد BFT تفشل بشكل متكرر ، ويتم إصلاحها في بعض الأحيان. هذا العرض التوضيحي مرونة Crosslink ، وسارت بشكل أفضل مما كنت أتوقع.
@ShieldedLabs التقطت لقطة شاشة لما تبدو عليه شوكات PoW الطويلة جدا في هيكل Crosslink. هنا ترى أنه على الرغم من وجود شوكات PoW طويلة جدا ، إلا أن شهادات Crosslink متماسكة: فهي لا تقفز عبر الشوكات. أي يتم الحفاظ على السلامة النهائية.
@ShieldedLabs كان هناك انتهاك واحد للسلامة بسبب فجوة تنفيذ معروفة: Zebra لديها كتلة 100 على غرار Bitcoin "YOLO finality" ولم نتأكد بعد من أن نهائية BFT هي العليا. أضف تقسيما ثقيلا ووصلنا إلى انتهاك السلامة بعد أن كانت بعض العقد >100 كتلة إثبات عمل غير متزامنة.
@ShieldedLabs حسنا ، إنها فجوة أمان معروفة ، سيئة للغاية ، دعنا نصلحها ، أليس كذلك؟ نعم ، ولكن كان هناك بطانة فضية رائعة. كان بإمكاننا أن نقول للتو "حسنا ، تم تقديم خطأ ، عد في المرة القادمة". بدلا: …
لقد ارتجلنا استعادة كشك BFT مباشرة! تمكنا من إعادة تشغيل عقد BFT غير المتزامنة واستئناف BFT (مع عدم تعديل القائمة) دون تعطيل PoW ، والذي كان بمثابة تحقق مباشر من حجر الزاوية في Crosslink: الأمن قوي مثل أي من البروتوكولين الفرعيين: فشل BFT لم يعرقل PoW.
لكي نكون واضحين ، لم تكن هذه إعادة تشغيل BFT واقعية. اعتمدنا على الطبيعة سريعة الزوال الحالية لحالة BFT لنسيان التوقيعات المتضاربة. ومع ذلك ، كان هذا تطورا مرتجلا تماما غير متوقع لورشة العمل. XP إضافية لعملية العمليات العامة والتحقق من صحة الارتباط المتقاطع.
@ShieldedLabs بعد ذلك (نهاية MS5) ، سنقضي معظم عام 2026 * إعادة تنفيذ * عقدة صلبة وجاهزة للإنتاج باستخدام جميع ما تعلمنا في التصميم / impl خلال مرحلة النموذج الأولي هذه. 2026 = قفاز التدقيق! أحضرها. صاروخ الدروع تصعد! 🚀🛡️
‏‎5.35‏K