Ich habe darüber nachgedacht, wie Phoenix-Transaktionen auf @Dusk lately tatsächlich verifiziert werden, und die meisten Menschen stellen sich immer noch den üblichen Prozess vor: „die Daten ansehen und freigeben“.
der Punkt ist, dass der Verifier niemals den Absender, den Empfänger oder den Betrag bekommt. Stattdessen kommt ein PLONK-Beweis an. Dieser Beweis kodiert die relevanten Regeln: Der Ausgebende besaß tatsächlich die ausgegebenen Noten, die Beträge gleichen sich korrekt aus, und nichts wird erneut verwendet. Die Prüfung bestätigt einfach, dass die Mathematik stimmt. Sie baut die verborgene Transaktion nie neu auf und untersucht sie auch nicht.
Das ist eine echte Verschiebung darin, was Verifizierung überhaupt bedeutet. Das System bestätigt, dass eine mathematische Aussage wahr ist, ohne jemals zu sehen, wodurch sie wahr wurde.
Die Einschränkung ist, dass wenn doch etwas schiefgeht, dieselbe Unsichtbarkeit, die die Privatsphäre schützt, es auch schwieriger macht, per Auge zu debuggen.
Trotzdem wirkt das Design absichtlich so. Sich zu weigern, die Daten anzusehen, ist hier Teil des Sicherheitsmodells.
Fühlst du dich mit einer Verifizierung wohl, die funktioniert, indem sie nie das sieht, was verifiziert wird?
#dusk $DUSK
der Punkt ist, dass der Verifier niemals den Absender, den Empfänger oder den Betrag bekommt. Stattdessen kommt ein PLONK-Beweis an. Dieser Beweis kodiert die relevanten Regeln: Der Ausgebende besaß tatsächlich die ausgegebenen Noten, die Beträge gleichen sich korrekt aus, und nichts wird erneut verwendet. Die Prüfung bestätigt einfach, dass die Mathematik stimmt. Sie baut die verborgene Transaktion nie neu auf und untersucht sie auch nicht.
Das ist eine echte Verschiebung darin, was Verifizierung überhaupt bedeutet. Das System bestätigt, dass eine mathematische Aussage wahr ist, ohne jemals zu sehen, wodurch sie wahr wurde.
Die Einschränkung ist, dass wenn doch etwas schiefgeht, dieselbe Unsichtbarkeit, die die Privatsphäre schützt, es auch schwieriger macht, per Auge zu debuggen.
Trotzdem wirkt das Design absichtlich so. Sich zu weigern, die Daten anzusehen, ist hier Teil des Sicherheitsmodells.
Fühlst du dich mit einer Verifizierung wohl, die funktioniert, indem sie nie das sieht, was verifiziert wird?
#dusk $DUSK