#dusk $DUSK @Dusk A Dämmerung vertraulicher Transaktionsnachweis läuft etwa 500 Bytes lang – egal ob es sich um eine einfache Übertragung oder um einen mehrstufigen Compliance-Check innerhalb einer XSC-Abwicklung handelt. Die Größe des Nachweises bewegt sich kaum mit der Komplexität, was sich zunächst rückwärts anfühlte, bis ich mir ansah, warum.

Dämmerung hat seine eigene Rust-Implementierung von PLONK über BLS12-381 und JubJub gebaut und verwendet Kate-Commitments, um die Beweisgröße konstant zu halten. Der Prover verpflichtet sich zu Polynomen, die den gesamten Schaltkreis repräsentieren; der Verifizierer prüft nur ein paar Auswertungen. Vergleiche das mit Groth16
kompakteren Nachweisen, etwa 128 Bytes, aber mit einer frischen vertrauenswürdigen Einrichtung (Trusted Setup) für jeden einzelnen Schaltkreis – unpraktisch, sobald man häufig neue Vertragstypen ausliefert. PLONK tauscht Größe gegen ein Setup, das viele Schaltkreise auf einmal abdeckt. Elegant auf dem Papier.

Was diese 500 Bytes verbergen: Die Beweiszeit ist nicht konstant. Die Verifikation bleibt günstig, aber das Erzeugen des Beweises skaliert mit den Schaltkreisbeschränkungen. Einfache Übertragungen sind trivial. Die geschichtete Abwicklungslogik – das, was echte Wertpapieremissionen brauchen – ist es nicht, und diese Kosten fallen bei der Person an, die die Transaktion baut, nicht bei der Kette.

Landet die vertrauliche Finanz-Infrastruktur also zwangsläufig bei spezialisierten Provern, sobald echtes Volumen ankommt – also bei exakt der Zentralisierung, die man eigentlich vermeiden wollte? DUSK-Gaskosten für die Ausführung, nicht für die Beweisgenerierung.

Hat das schon jemand mit echten Benchmarks gesehen, oder ist das immer noch nur ein Testnet-Thema?