#dusk $DUSK @Dusk في هذه السنوات، عندما رأيت أن بروتوكولات السلسلة تتعثر أو تحدث فيها مشكلات، كوّنت عادةً: لم أعد أُبالغ في الاهتمام بما إذا كان يمكن للهاكر اختراقها بالعنف، بل كنت أبدأ أولًا بالنظر إلى المكوّنات الأساسية التي تتحكم في أمان توافق الشبكة، وما هي الآلية التي تُبقي المُتحقّقين مُكبّلين فعليًا. رأيت الكثير من العقد وهي ترتكب الشر؛ والجذر ليس أن الخوارزميات قد تم اختراقها، بل إن تصميم التوافق منذ البداية افترض ضمنيًا أن المُتحققين “سيظلون مطيعين ومُلتزمين”. ما إن يفشل هذا الافتراض ولو مرة واحدة، تتحول آلية العقوبات إلى أمر بلا معنى.
والذي جعلني أتوقف مؤخرًا أثناء تفكيك توافق Dusk القائم على SA وتصميم Slashing، هو هذه الطبقة بالذات. @Dusk
يعتمد توافق Succinct Attestation (SA) من Dusk نموذج PoS لِجنة (committee-based)، حيث يتم اختيار مُنشئ الكتل ولجان التصويت عبر خوارزمية اختيار حتمية (deterministic). وهو يفصل بين السلوك الخبيث وسلوك الإهمال، ويقابل ذلك مجموعتان من الآليات: Hard Slashing و Soft Slashing. يستهدف Soft Slashing أخطاء غير خبيثة مثل عدم إنتاج الكتلة—فعند المرة الأولى يتم توجيه تحذير، وبعد ذلك في كل مرة تُسجَّل فيها مخالفات متتابعة يتم خصم N×10% من حقوق الرهن، وإزالة N epoch من التوافق؛ لكن عقوبة DUSK لا تُتلف—فهي تُزال فقط من الرصيد الرهني النشط، ولا يزال بإمكان العقد استردادها. أما Hard Slashing فيستهدف السلوك الخبيث الصريح: عند توليد كتل غير صالحة يتم خصم 10% من الرهن وتُتلف، وعند التصويت المزدوج أو إنتاج كتلتين يتم خصم 20% وتُتلف. تجعل هذه المجموعة تصميم Dusk قابلاً للمساءلة، لكن تكلفة أن يسيء المُتحققون استخدام السلطة تكون شديدة للغاية بمجرد أن يفعلوا ذلك.
وأنا أيضًا لن أضع Dusk على منصة التقديس. حتى لو كان التصميم المعماري دقيقًا للغاية، إذا قرر المُتحققون—من أجل خفض تكاليف التشغيل—أن يركّزوا استضافة العقد في جهة واحدة أو عدة جهات، أو إذا كانت نسبة الاتصال بالإنترنت على المدى الطويل أقل من 95% وتؤدي إلى تراكم خصومات Soft Slashing، فحدود الأمان التي صاغها البروتوكول بعناية ستواجه اختبارًا حقيقيًا. وإذا كان المستقبل سيسهّل الأمور عبر تركّز عقد التحقق لدى عدد قليل من الكيانات، فإن ما يُسمّى “لا مركزية” لن يبقى منه سوى مجرد طمأنة نفسية.
برأيي، القيمة في النهاية تتمثل في مقدار ما يرغب $DUSK من المُتحققين في التضحية بالملاءمة من أجل الأمان. ومع ازدياد الأصول المتوافقة التي تُسجَّل على السلسلة، لن يكون اهتمامي الأكبر هو كم ستكون العائدات مرتفعة؛ بل من يثبت أنه حتى أمام إغراءات المصالح الضخمة، تظل هذه الآلية—التي تجعل من يُسيء استخدام السلطة يدفع ثمنًا حقيقيًا من المال—قابلة للتنفيذ الصارم دون التفاف.
والذي جعلني أتوقف مؤخرًا أثناء تفكيك توافق Dusk القائم على SA وتصميم Slashing، هو هذه الطبقة بالذات. @Dusk
يعتمد توافق Succinct Attestation (SA) من Dusk نموذج PoS لِجنة (committee-based)، حيث يتم اختيار مُنشئ الكتل ولجان التصويت عبر خوارزمية اختيار حتمية (deterministic). وهو يفصل بين السلوك الخبيث وسلوك الإهمال، ويقابل ذلك مجموعتان من الآليات: Hard Slashing و Soft Slashing. يستهدف Soft Slashing أخطاء غير خبيثة مثل عدم إنتاج الكتلة—فعند المرة الأولى يتم توجيه تحذير، وبعد ذلك في كل مرة تُسجَّل فيها مخالفات متتابعة يتم خصم N×10% من حقوق الرهن، وإزالة N epoch من التوافق؛ لكن عقوبة DUSK لا تُتلف—فهي تُزال فقط من الرصيد الرهني النشط، ولا يزال بإمكان العقد استردادها. أما Hard Slashing فيستهدف السلوك الخبيث الصريح: عند توليد كتل غير صالحة يتم خصم 10% من الرهن وتُتلف، وعند التصويت المزدوج أو إنتاج كتلتين يتم خصم 20% وتُتلف. تجعل هذه المجموعة تصميم Dusk قابلاً للمساءلة، لكن تكلفة أن يسيء المُتحققون استخدام السلطة تكون شديدة للغاية بمجرد أن يفعلوا ذلك.
وأنا أيضًا لن أضع Dusk على منصة التقديس. حتى لو كان التصميم المعماري دقيقًا للغاية، إذا قرر المُتحققون—من أجل خفض تكاليف التشغيل—أن يركّزوا استضافة العقد في جهة واحدة أو عدة جهات، أو إذا كانت نسبة الاتصال بالإنترنت على المدى الطويل أقل من 95% وتؤدي إلى تراكم خصومات Soft Slashing، فحدود الأمان التي صاغها البروتوكول بعناية ستواجه اختبارًا حقيقيًا. وإذا كان المستقبل سيسهّل الأمور عبر تركّز عقد التحقق لدى عدد قليل من الكيانات، فإن ما يُسمّى “لا مركزية” لن يبقى منه سوى مجرد طمأنة نفسية.
برأيي، القيمة في النهاية تتمثل في مقدار ما يرغب $DUSK من المُتحققين في التضحية بالملاءمة من أجل الأمان. ومع ازدياد الأصول المتوافقة التي تُسجَّل على السلسلة، لن يكون اهتمامي الأكبر هو كم ستكون العائدات مرتفعة؛ بل من يثبت أنه حتى أمام إغراءات المصالح الضخمة، تظل هذه الآلية—التي تجعل من يُسيء استخدام السلطة يدفع ثمنًا حقيقيًا من المال—قابلة للتنفيذ الصارم دون التفاف.