Ich dachte früher, Zero-Knowledge-Beweise ginge es hauptsächlich darum, Transaktionsdaten zu verbergen. Nachdem ich in Dusk’ Abschnitt 6.8 eingetaucht bin, glaube ich, dass die größere Idee Verifikation ohne unnötige Offenlegung ist.

Denk daran so: Stell dir vor, du würdest einem Laden beweisen, dass du genug Geld hast, um etwas zu bezahlen, ohne dem Laden deinen gesamten Kontostand zu zeigen. Der Laden muss nicht alles über deine Finanzen wissen – er braucht nur den Nachweis, dass die Zahlungsbedingung erfüllt ist.

Das ist die Stärke der Idee hinter ZK.

Dusk verwendet PLONK als allgemeines ZK-Beweissystem und einen modifizierten Schnorr-Beweis für diskrete Logarithmus-Beziehungen.

Dann setzt Phoenix diese Bausteine in die Praxis um.

Eine Transaktion kann beweisen, dass ihre Eingaben zur richtigen Merkle-Struktur gehören, dass der Ausgebende die Kontrolle über den relevanten Note nachweisen kann und dass ihre Nullifier und Transaktionsbedingungen gültig sind – ohne einfach die privaten Informationen hinter diesen Aussagen offenzulegen.

Dieser Unterschied ist entscheidend.

Das Netzwerk muss nicht alles sehen, um zu verifizieren, dass die Regeln eingehalten wurden.

Das ist es, was @Dusk für mich interessant macht: ZK ist nicht nur eine Datenschutzfunktion; es wird zu einem Teil der Mechanik, die dazu dient, die Korrektheit von Transaktionen herzustellen.

$DUSK #dusk

Was macht Dusk’ ZK-Ansatz am stärksten?