シンプルな状況を通して、@Dusk の合意形成について考えていました。
2人が同じ目的地に向かって別々のルートを進む場面を想像してください。1人は先に出発しますが、途中で遅れます。もう1人は後から出発し、先に到着します。
後から出発した人のルートが正しかったと、すぐに判断しますか？
この点が、Dusk のフォーク解決設計を興味深いと思った理由です。
Succinct Attestation は反復処理を通じて機能します。ある反復が失敗しても、プロトコルは先に進めます。しかし、複数回の反復で最終的に有効な候補が生成された場合、Dusk は最も早い反復を優先します。
つまり、反復2と反復5の両方が定足数に達した場合、反復5が後から成功裏に完了したというだけで、単純に勝つわけではありません。
プロトコルが重視するのは、候補が合意形成のどの段階で現れたかです