#dusk $DUSK @Dusk Es gibt einen Dusk-"Audit"-Befund, der die Idee von „verifizieren durch Arithmetik“ spannender macht, als sie zunächst wirkt.
Das Argument ist einfach: Die Emission ist fest, die Rewards sind proportional zum Einsatz, sodass jeder anhand öffentlicher Zahlen rekonstruieren kann, was ein Validator verdient hat. Kein Dashboard. Kein Vertrauen. Nur Arithmetik.
Aber darunter liegt noch eine Schicht: Sind die Zahlen selbst korrekt?
Oak Securitys Überprüfung der Dusk-Consensus-Layer und der Rusk-Node-Bibliothek fand Validierungslogik-Probleme in der Layer, die dafür verantwortlich ist, ob State-Übergänge gültig sind.
Sie wurden vor Mainnet entdeckt und behoben; alle kritischen/major Probleme wurden vor dem Launch gelöst.
Das ist gut. Aber es macht eine wichtige Unterscheidung deutlich:
Transparenz und Korrektheit sind keine identischen Garantien.
Ein Ledger kann seine Zahlen vollständig sichtbar machen. Das bedeutet jedoch nicht automatisch, dass die Logik, die diese Zahlen erzeugt, fehlerfrei ist.
Die „verifizieren durch Arithmetik“-Eigenschaft ist gerade deshalb wertvoll, weil die zugrunde liegenden Konsensregeln korrekt sind. Ein Audit hilft dabei festzustellen, dass dem so ist — aber ein Audit-Befund zeigt auch, warum diese Garantie nicht einfach vorausgesetzt werden kann.
Wo würdest du also die Vertrauensgrenze ziehen?
Ein zweites unabhängiges Audit, Jahre sauberer Produktion oder etwas anderes?
#dusk @Dusk $DUSK
Das Argument ist einfach: Die Emission ist fest, die Rewards sind proportional zum Einsatz, sodass jeder anhand öffentlicher Zahlen rekonstruieren kann, was ein Validator verdient hat. Kein Dashboard. Kein Vertrauen. Nur Arithmetik.
Aber darunter liegt noch eine Schicht: Sind die Zahlen selbst korrekt?
Oak Securitys Überprüfung der Dusk-Consensus-Layer und der Rusk-Node-Bibliothek fand Validierungslogik-Probleme in der Layer, die dafür verantwortlich ist, ob State-Übergänge gültig sind.
Sie wurden vor Mainnet entdeckt und behoben; alle kritischen/major Probleme wurden vor dem Launch gelöst.
Das ist gut. Aber es macht eine wichtige Unterscheidung deutlich:
Transparenz und Korrektheit sind keine identischen Garantien.
Ein Ledger kann seine Zahlen vollständig sichtbar machen. Das bedeutet jedoch nicht automatisch, dass die Logik, die diese Zahlen erzeugt, fehlerfrei ist.
Die „verifizieren durch Arithmetik“-Eigenschaft ist gerade deshalb wertvoll, weil die zugrunde liegenden Konsensregeln korrekt sind. Ein Audit hilft dabei festzustellen, dass dem so ist — aber ein Audit-Befund zeigt auch, warum diese Garantie nicht einfach vorausgesetzt werden kann.
Wo würdest du also die Vertrauensgrenze ziehen?
Ein zweites unabhängiges Audit, Jahre sauberer Produktion oder etwas anderes?
#dusk @Dusk $DUSK