#dusk $DUSK @Dusk $DUSK

Vorschlag, Validierung, Ratifizierung: Dusk’s Drei-Schritte-Weg zu einem finalen Block

i ging davon aus, dass Blockfinalität bei Dusk wie eine einzige Abstimmung funktioniert — vorschlagen, bestätigen, fertig.

tatsächlich sind es drei getrennte Schritte, und ich musste jeden einzeln durchgehen, um zu verstehen, warum.

der Schritt „Vorschlag“ wählt einen Bereitsteller (Provisioner) per deterministischer Selektion aus, um einen Kandidatenblock zu erzeugen und zu senden. Wenn nichts vor dem Timeout eintrifft, schlägt diese Iteration einfach fehl — kein Kandidat, und soweit ich aus der Dokumentation entnehmen kann, gibt es auch keinen Fallback-Generator-Schritt.

ich habe nachverfolgt, was als Nächstes passiert. die Ausgabe geht in „Validierung“: Ein frisches Komitee, ebenfalls zufällig ausgewählt, prüft den Kandidaten gegen den aktuellen Chain-Tip und stimmt „Valid“ oder „Invalid“. Ein Quorum braucht zwei Drittel Stimmen „Valid“ oder eine einfache Mehrheit Stimmen „Invalid“ — beide Schwellen beenden den Schritt.

dritter Schritt, und der ist der, den ich fast übersehen hätte: „Ratifizierung“. Wiederum ein anderes Komitee, das speziell darüber abstimmt, ob die Validierung tatsächlich ein echtes Quorum erreicht hat, nicht noch einmal über den Blockinhalt selbst. Auch hier gilt die Zwei-Drittel-oder-Mehrheits-Regel.

drei Komitees, drei getrennte Urteile — ich konnte keinen Schritt finden, der eine Aufgabe wiederholt, die der vorherige bereits erledigt hat.

was mir auffiel, ist, wie viel Prüfung diese Abfolge vor dem Mainnet erfahren hat. Dusk führte zehn Audits über den gesamten Stack durch, über zweihundert Seiten an Berichten. Eines dieser zehn, von Oak Security, behandelte SA speziell und wies auf Probleme rund um Slashing-Anreize und die Logik der Abstimmungen hin — alles kritische Punkte, die vor dem Launch behoben wurden.

daher ist „das Finalisieren eines Blocks“ — so wie ich es sehe — keine einzige Entscheidung. Es sind drei unabhängig verifizierte Checks, die nacheinander gestapelt sind, und jeder kann den Prozess neu starten — bis zu fünfzig Iterationen pro Runde — falls er nicht besteht.

reduziert dieses Maß an Vorabprüfung das Risiko tatsächlich, oder bedeutet es nur, dass jeder durchrutschende Fehler später umso schwieriger zu finden ist?