@Dusk 暗闇（Dusk）のエンジニアリングアップデートを掘り下げて、Succinct Attestation が実際に「マーケティング文句の“高速な確率的ファイナリティ”」だけではなく、ブロックをどう最終確定するのかを理解しようとしていました。そこで引っかかったのは、各委員会メンバーが1つ以上の投票を持ち、それをクレジットと呼ぶ点です。そしてラウンドの総投票プールが固定されていて、その委員会の投票全体を Credits と呼びます。さらに、委員会内の投票数を Committee Credits と呼ぶ。なるほど、これは結局ステークによる重み付き投票です。意外ではありません。

ただ、後でそれらの個々の投票がどうなるのかは考えていませんでした。投票が別々の署名としてそこに残るだけではないのです。ブロックジェネレーターがそれらを回収し、ブロックの有効なアテステーションとなる証明書（certificate）を生成し、次の子ブロックにそれを含めます。つまり「ブロックが正当であることの証明」は、1人のバリデータの言葉ではなく、すべてのクレジット付き投票が1つの BLS 集約オブジェクトに圧縮されたもの。そしてそのオブジェクトこそが、将来のコンセンサスが実際に参照する対象です。

ここで、ユニーク性の問題が静かに消えます。集約によって、各クレジットは毎ラウンドの1人の候補に紐づくよう強制されるのです。投票を二重に数えることも、2つの競合するブロックに対して数えることもできません。なぜなら、証明書には“正準（canonical）なセット”が1つしか収まる余地がないからです。単なるUXの機能ではありません。ファイナリティが $DUSK #dusk のコンセンサスにおいて意味を持つようにする、その根本の仕組みです。とはいえ、重い反復（iteration）でタイムアウトが発生した場合にどう振る舞うのかは、まだよく分かりません。