في الشهر الماضي سمعت في <Space> مقولة: "الـ slashing/الجزاءات أمرٌ يُفرض—ليس ذلك إلا لأن لجنة الجهة المشروع تصوّت؛ إذن الأمر بيدهم." لم أتمالك نفسي وقلت في الحال: يا صديقي، إن Babylon في موضوع الـ slashing مصممة بحيث يُتدخل البشر بأقل قدر ممكن؛ فشرط التفعيل ليس مجرّد مجاملة، بل هو الرياضيات.
افصلها لنفهم EOTS—فهي تتيح توقيعًا أحاديًا قابلاً للاستخراج مرة واحدة. عند قيام مزوّد النهائية FP بتزويد سلسلة BSN بتوقيع نهائية كتلة نهائية، يتم استخدام نوع خاص من توقيعات Schnorr: الـ nonce العشوائي لكل جولة يكون مُعلنًا/مُلتزمًا به مسبقًا، ومربوطًا بارتفاع الكتلة. التوقيع ضمن القواعد مرة واحدة والسلام؛ لكن إذا وقّع ارتفاعًا واحدًا على بلوكين متعارضين، فهذا يعني إعادة استخدام الـ nonce؛ عندها تُدخل التوقيعين في الصيغة، ويستطيع أي شخص، في نفس اللحظة، استخراج مفتاح FP الخاص. انتبه: ليس "أي لجنة"، بل "أي شخص". ثم يقوم كل عقدة كاملة بهذه الكلمة المفتاحية لبناء معاملة slashing، فتقوم بحرق 0.1% من UTXO الخاص بالقفل مباشرة إلى عنوان الإتلاف.
فما الفرق عن slashing في إيثيريوم؟ slashing في الإيثيريوم يتطلب الاعتراف من طبقة التوافق/آلة حالات الإجماع، وبحيث يقوم المُقترح بتجميع أدلة الإبلاغ وتغليفها—لا يمكن التنفيذ إلا إذا كانت السلسلة حيّة. أما Babylon فجهة التنفيذ هي سكربتات شبكة بيتكوين الرئيسية؛ طالما ما زالت بيتكوين تُنشئ كتلًا، تبقى أدلة سوء السلوك قابلة للتنفيذ إلى الأبد. واحدة تعتمد على إجراءات نظامية، والأخرى تعتمد على قيود قوية في التشفير؛ قوة الردع ليست من نفس النوع.
$BTC
سألني أحدهم: هل هذه المنظومة صالحة عمليًا؟ فحسبت له الأرقام: عائد إساءة FP لا يتجاوز مساعدته على double-spend لمرّة واحدة على سلسلة BSN ما، بينما التكلفة هي حرق مالٍ حقيقي في القفل، فضلًا عن محو السمعة تمامًا؛ والمبلّغ يكاد يكون دون أي تكلفة—فأي عقدة كاملة يمكنها تقديم الأدلة. في نظرية الألعاب يُسمّى هذا ردعًا يمكن التحقق منه، وله منطقٌ مماثل للردع النووي: ليس من الضروري إطلاق السلاح؛ وجوده بحد ذاته ردع.
لقد قلبتُ بيانات التزام علني لـ FP تحديدًا: في نفس الارتفاع، التزام nonce يمكن التحقق منه علنًا، وكأنه قبل أن يتولى FP مهامه، يضع "أوراقه المفضوحة" في واجهة زجاجية—ارتكاب الشر يعني فضيحة مؤكدة + حرقًا حقيقيًا للمال، ولن يراهن FP العاقل أصلًا.
وهذا هو أصل سرد الأمان الكامل لـ $BABY : لماذا تجرؤ سلسلة BSN على إسناد عشرات المليارات من عمليات الإنهائية النهائية لهذه المنظومة؟ لأن تكلفة الغش ليست "احتمال أن يتم اكتشافه"، بل "حتمية أن يتم مصادرتها".
في المرة القادمة عندما تسمع أن "الـ slashing هو قرار من لجنة الجهة المشروع"، ماذا ستخطط للرد؟
#baby @BabylonLabs_io