@Dusk Ich habe nachgeschaut, was "PLONK

proof verified" auf Knoten-
Ebene tatsächlich garantiert,

da die meisten Erklärungen die Verifikation als ein einfaches Gate für Erfolg oder Misserfolg behandeln,

ohne mehr dazu zu sagen.

Dusk's Vorverifikationspfad bestätigt, dass jede Phoenix-Transaktion vor ihrer Aufnahme in den Mempool durch eine dedizierte

Verifizierungsfunktion für Beweise läuft.
Das ist der Kontrollpunkt, auf den sich das gesamte Datenschutzmodell

stützt — kein Beweis, keine Aufnahme. $DUSK

Das ist der Teil, bei dem man kurz verweilen sollte.

Eine Sicherheitsprüfung durch Dritte stellte fest, dass dieser Kontrollpunkt eine Lücke hatte:
bestimmte Auswertungen innerhalb der PLONK-Verifikation

wurden nicht vollständig so geprüft, wie es das Design annahm.
Die Behebung wurde Anfang dieses Jahres als spezifischer Commit eingespielt.

Es erinnert daran, dass "mit einem ZK-Beweis verifiziert" keine

feste Garantie ist — es ist nur so stark wie der Code,

der die Verifikation ausführt,
und dieser Code kann blinde Flecken haben, die Audits aufdecken sollen.

Ich habe nachverfolgt, was das praktisch bedeutet:

die Lücke hieß nicht, dass gefälschte Beweise in der Produktion einfach durchrutschten,

da Dusk's Stack bereits mehrere frühere Audits des

Beweissystems und der Node-Bibliothek durchlaufen hatte.

Aber es bedeutet, dass die Aussage "der Beweis wird geprüft"

auf fortlaufender Überprüfung beruht, nicht auf einer einmaligen

kryptografischen Garantie, die nie wieder betrachtet werden muss. #dusk
Was ich aus Dusk's eigenen Materialien nicht bestätigt habe,

ist, ob unabhängige Audits des Verifikations-

pfads künftig in einem festen Rhythmus durchgeführt werden,

oder ob sie nur gelegentlich stattfinden, wenn sich eine Sicherheitsfirma dazu entscheidet, genauer hinzusehen.
@Dusk #dusk $DUSK