Dusk上で実際にバリデータ選択がどう機能しているかをマッピングしていました。標準的なPoSのブロック提案に近いものが見つかると期待していたのです。ところが見つかったのは、決定論的なソーティションを走らせるSuccinct Attestationでした。つまり、リーダー選出の投票も、宝くじチケットの放送もありません。各ステーカーの拠出と公開シードを関数に通すことで、そのラウンドの委員会が決定論的に出力されます。

待って、決定論的？ その点が私を止めました。決定論的なら、理屈の上ではラウンド開始前に誰が適格かを誰でも事前計算できるはずです。

しかし実際には、それは秘匿ではなく「タイミング」で緩和されています。委員会のローテーションが十分に速く、拠出（プロビジョニング）の変更頻度も高いため、事前計算による実用的な利点は限られます。セキュリティの本質は「結果を隠す」ことではなく、「あなたが攻撃に使える時間枠の中で、結果を悪用するためのコストを高くする」ことです。

これは、私が想定していた信頼モデルとは別物です。委員会を保護しているのは不可視性ではありません。経済的コストとローテーション速度が、その役割を他所での秘匿性の代わりに担っているのです。

では、核心となる疑問があります。時間とともにステークが集中していく場合、ソーティションは今も委員会の所属を均等に分配できるのでしょうか。それとも、決定論的な選択が、より多くの拠出を最も一貫して保持している者をこっそり優遇するようになるのでしょうか。

私は、今日それが壊れているとは思いません。でも、Duskの合意形成がスケールするとき、その部分が本当に試されるはずです。

@Dusk #dusk $DUSK