عندما درست آلية الإجماع في Dusk، لم تكن أكثر ما استهلك تفكيري هو من يقوم بإنشاء الكتل، بل هو Succinct Attestation—الجزء الأكثر قابلية للتجاهل في هذا الاسم.

لنحلّل أولاً المشكلات التي يحلّها. تأكيد كتل Dusk متعدد المراحل: يقوم Deterministic Sortition باختيار مشاركين من Provisioner الذين يستوفون الشروط لمراحل مختلفة، ثم تمر العملية بـ Proposal وValidation وRatification لإكمال التأكيد. تكمن إشكالية تعدد المراحل في: بعد تعقيد العملية، كيف يمكن للجميع أن يصدقوا النتيجة الحقيقية بتكلفة منخفضة؟ يقوم Succinct Attestation بهذا تحديدًا—بضغط أدلة الإجماع متعدد المراحل إلى إثباتٍ موجز، بحيث يمكن التحقق من الحسم (النهائية) دون إعادة تشغيل كامل العملية.

ولا تظهر نية التصميم هذه بوضوح إلا عند وضعها في سياق مالي. ما تريده المؤسسات المالية ليس فقط “إصدار كتلة بسرعة”، بل “التأكيد النهائي”. بمجرد إتمام تسوية معاملة، لا ينبغي أن يبقى احتمال التراجع معلقًا فوق الرؤوس. إن النهائية في معظم السلاسل احتمالية (تزداد الثقة مع تأكيد المزيد من الكتل)، لكن Dusk يتجه إلى جعل النهائية قابلة للإثبات: Attestation هي تلك الوثيقة التي تقول “إلى هنا وانتهى، لا رجعة”.

وهذا ما جعلني أفهم من جديد لماذا يستحق هذا الأمر التدقيق فيه: إن الخلافات في تصميم الإجماع جوهرها خلاف حول “ما الذي نثق به”. فبعض السلاسل تثق بالقدرة الحاسوبية، وأخرى تثق بالرهان، أما منظومة Dusk فوثوقها مبني على “عدالة القرعة مع إثبات موجز”. أيهما أفضل؟ الزمن سيعطي الإجابة.

وبطبيعة الحال، كلما زادت دقة الآلية، زادت الأشياء التي يتطلب التحقق منها. لا يزال تنفيذ Succinct Attestation من الناحية الهندسية، والأداء في ظروف الشبكات القصوى، أجزاءً تحتاج إلى اختبارات مع الوقت—وغالبًا ما تكمن أكبر المخاطر في التعقيد الذي تحمله الآلية نفسها.

@Dusk $DUSK #dusk