#dusk $DUSK @Dusk

Der Teil im Design von @Dusk_Foundation, über den ich am ehrlichsten am meisten unsicher bin, sind die Kosten für die Beweisgenerierung im großen Maßstab.

Einen zk-SNARK-Beweis zu generieren ist nicht kostenlos – die Rechenkosten steigen mit der Komplexität des Schaltkreises, und über zk-Systeme hinweg können die Beweiszeiten für komplexe Schaltkreise je nach Hardware und Anzahl der Constraints von unter einer Sekunde bis hin zu mehreren Dutzend Sekunden reichen.

Vertrauliche Smart Contracts mit eingebauter Compliance-Logik sind, nahezu per Definition, komplexere Schaltkreise als eine schlichte Überweisung. Das hat reale Auswirkungen: Wer trägt die Kosten für die Beweiserstellung (das Gerät des Nutzers, ein delegierter Prover, der Node)? Und erzeugt das einen Zentralisierungsdruck, wenn nur gut ausgestattete Prover die Beweise schnell genug erzeugen können, um wirklich nützlich zu sein?

Dusk hat daran iteriert (PLONK, dann PlonKup mit Nachschlagetabellen, um komplexe Beweise zu beschleunigen) – was zeigt, dass ihnen der Engpass bewusst ist. Ob das für Transaktionsvolumen im institutionellen Maßstab vollständig gelöst ist, ist eine offene, empirische Frage – nichts, das ich einfach glauben würde.

$DUSK #dusk