Ich komme immer wieder auf eine einfache Frage zu privaten Systemen: Was genau muss jeder wissen, damit alle sich einig sind, dass etwas passiert ist?

Mit dem Phoenix-Modell von Dusk ist die Antwort erstaunlich klein. Die eigentlichen Gelder leben als verschlüsselte Notizen. Eine Transaktion kann beweisen, dass die Ausgabe gültig ist, dass der Absender genügend Wert hat und dass dieselbe Notiz noch nicht bereits ausgegeben wurde, ohne den Betrag oder die konkreten Notizen offenzulegen, die verbraucht werden. Die Kette kann die Regeln weiterhin verifizieren, ohne die zugrunde liegenden Daten zu erhalten.

Zunächst dachte ich, der Privatsphäre-Teil sei das Interessanteste. Jetzt bin ich mir weniger sicher. Die wichtigere Unterscheidung scheint zu sein, was privat bleibt, während die Gültigkeit öffentlich bleibt.

Moonlight geht den naheliegenden Weg. Guthaben, Absender, Empfänger, Betrag. Jeder kann den Zustand sehen. Phoenix dreht das Sichtbarkeitsmodell um, aber die Logik darunter muss weiterhin konsistent sein. Ein privater Zustand kann nicht auch eine private Vorstellung von Korrektheit bedeuten.

Dafür ist der ZK-Beweis entscheidend. Das Netzwerk wird nicht darum gebeten, einer versteckten Transaktion zu vertrauen, nur weil niemand sie prüfen kann. Es erhält einen Beweis dafür, dass bestimmte Bedingungen wahr sind, während der sensible Zustand verborgen bleibt.

Allerdings steckt da noch eine Annahme drin. Das Beweissystem muss zuverlässig sein, der Zustandsübergang muss korrekt geprüft werden, und die Notizstruktur muss verhindern, dass doppelt ausgegeben wird.

Also reduziere ich Phoenix immer weiter auf eine einzige Grundoperation: Wie viel vom Zustand kann aus der Ansicht verschwinden, bevor die Verifikation nicht mehr aussagekräftig ist?

#dusk $DUSK @Dusk $ACE