#dusk $DUSK @Dusk

‎كنت أظن أن "مُؤكَّد" كان بشكل أساسي خط النهاية في Dusk.

‎ليس الأمر كذلك.

‎سلسلة الحالة-العلامات التي تم قبولها تُسمّى accepted وattested وconfirmed وfinal — أربع تسميات، وتأتي confirmed في المرتبة الثالثة. يمكن لكتلة مُؤكَّدة أن تُستبدل ما دام هناك شيء ما upstream منها قد تغيّر.

‎ما يفصل فعليًا بين مُؤكَّد وfinal هو أن التأكيد يعني أن عددًا كافيًا من الكتل اللاحقة قد تراكم على القمة بحيث يصبح من غير المحتمل الآن ظهور شوكة منافسة. أما final فيعني أن سلسلة أصول الكتلة نفسها قد وصلت بالفعل إلى حالة final — إنَّ final لا تُكتسب بشكل مستقل؛ بل تُورَّث تدريجيًا من سلف إلى سلف. تناقش مناقشات الهندسة الخاصة بـ Dusk حول "rolling finality" هذا تسلسلَ الوراثة باعتباره واحدًا من أصعب مشاكل التوافق التي عملوا عبرها.

‎وهذا يغيّر الحدود بطريقة مثيرة للاهتمام. يمكن أن تجلس كتلة هناك وقد تم تأكيدها، تبدو مستقرة، بينما والدها نفسه ما يزال يتعامل مع الصعود نفسه نحو final. عند تلك النقطة، لا يُرجَّح حدوث انعكاس. لكنه ليس مستحيلًا بعد.

‎لذا فـ "confirmed" و"final" ليستا اسمين لضمان واحد عند مستويي ثقة مختلفين. يصف confirmed ما تشير إليه الخلفيات حول كتلة ما. ويصف final ما تكون هذه الكتلة نفسها قد ثبّتته سلفًا في نسبها.

‎هل تسمية حالةٍ وسيطة، تعتمد على الوراثة، باسم "confirmed" قد تكون مبالغة في تقدير مدى استقرارها فعلًا، أم أن سلّم الحالات الأربع أكثر صدقًا من مجرد علمٍ حاد: final/غير final؟

$ACE
$CLO