في الشتاء الماضي تعرضت للدهس من الخلف في ممر دخول (on-ramp)، وقدمت لشركتي التأمين حسابًا سريعًا في نفس ذلك المساء. بعد أسبوعين، اتصل مُعاين (adjuster) بالهاتف لطلب التصريح المسجل وجعلني أعيد سردَه ببطء أكثر، وعاد لتفاصيل مثل مكان يديّ. صمدت روايتي لأنها كانت صحيحة.
لم يحالف الحظ زميل عمل كان قد زوّر مطالبة التأمين على الطريق نفسه. تغيّر توقيته كثيرًا في المرة الثانية، فالتقط المُعاين ذلك.
المحاسبة المتفائلة في عالم العملات المشفّرة لديها المشكلة نفسها: فهي تعتمد على أن ينتبه شخص ما إلى الإشارة قبل أن يغلق نافذة التحدّي.
Babylon يتجاوز المُراقِب؛ فمزوّدو نهائيّة (finality) يورّطون أنفسهم عبر الرياضيات. كل واحدٍ منهم يُفصح عن عشوائية عامة عبر مدير EOTS لكل ارتفاع كتلة مستقبلي يعتزم التصويت عليه.
عند التصويت على بلوكين في نفس ارتفاع الكتلة وإعادة استخدام تلك العشوائية، يصبح الأمر أمرًا لا مفر منه. تجمع التوقيعات الاثنان لاستخراج المفتاح الخاص للمزوّد، وهي خاصية ضمن مخطط التوقيع. يمكن لأي شخص إرسال معاملة الإيقاف (slashing)؛ وعندها تصل قوة التصويت إلى الصفر، ويصبح “الطمر” (tombstoning) دائمًا.
تأمل ذاتي: هنا تحديدًا تصبح المسألة غير مريحة. البروتوكول متسامح تجاه التوقف غير المقصود (honest downtime)؛ فالمزوّد غير المتصل (offline) لا يُعاقَب لأنه صامت، لكن ليس تجاه التعادل/الازدواج غير المقصود (accidental equivocation).
لا يستطيع EOTS التمييز بين توقيعين مزدوجين مقصودين وبين توقيعين ناتجين عن واحدٍ صادق بسبب فشل تحويل/تبديل (failover) سيّئ أو خلل برمجي. ينتج كلا الأمرين نفس توقيعيْن متعارضين، ويُوسَم كلٌّ منهما بالطمر الدائم، دون حق الاستئناف.
قد يطلب مُعايني أسئلة متابعة ويوازن بين النية؛ لكن الرياضيات هنا لا ترى إلا الاصطدام. مزوّدو الـstaking يبيعون أدوات مضادّة للإيقاف أصلًا لسد هذه الفجوة بدلًا من الوثوق بالبروتوكول ليغفرها.
يزيل Babylon الثقة من وضع فشل واحد: الازدواج المتعمّد (deliberate equivocation)، وليس من كل الطرق التي قد يفشل بها المزوّد.
$BABY ينبغي تقييمه وفقًا لنوع وضع الفشل الذي تزيله الآلية بالفعل من نطاق الثقة، لا فقط وفق الادعاء بأن الإيقاف (slashing) يجعل الأمور بلا حاجة للثقة.
#baby #BTCStaking #bitcoin @BabylonLabs_io $IDOL $BTW