#dusk $DUSK vergangene Nacht die Dusk-Whitepaper-Section über Plonk nochmal gelesen und es hat etwas klick gemacht, das ich übersehen hatte...

die ersten beiden Male durch.
das Beweisschema versteckt nicht nur Werte, es trennt auch das, was bewiesen wird, von dem, was offengelegt wird. öffentliche Inputs gehen eine Richtung, private bleiben.

gesperrt und der Verifier erfährt nur, ob die Aussage wahr ist.
drei Eigenschaften müssen erfüllt sein, damit das überhaupt etwas bedeutet: Vollständigkeit. Korrektheit. Null.

Wissensbehaftetheit. Lass eine weg und der ganze Privacy-Anspruch fällt auseinander.
was interessant ist: das ist nicht nachträglich an die State-Transition-Funktion angebaut.

es ist naturnativ zum Rusk-VM. jeder Ausführungspfad kann einen

Korrektheitsbeweis mittragen, ohne die Berechnung selbst offenzulegen.
ich kann nicht vollständig auflösen, wie sich die Kosten der Beweiserstellung skalieren, wenn die Contract-Logik komplexer wird.

kompliziert. aber das ist der Teil, auf den ich immer wieder zurückkomme.
mal neugierig, ob jemand anders hier in das Setup für den Verifier-Key eingestiegen ist??

#dusk @Dusk $DUSK