Ich kaue gerade die Ausführungsdokumentation von @Dusk – beim Thema Rusk VM lohnt es sich tatsächlich mehr zu reden als bei Phoenix und XSC. Denn egal wie elegant ein Protokoll aussieht: Ob es am Ende wirklich läuft oder nicht, hängt von der virtuellen Maschine ab.
Dusk Network ist eine Privacy-Layer-1, die Finanzanwendungen als Dienst bereitstellt. Für die Ausführung von vertraulichen Smart Contracts (XSC) werden massenhaft Zero-Knowledge-Beweise benötigt, und das Generieren sowie Verifizieren von ZK-Schaltkreisen ist rechnerisch sehr teuer. Die ursprüngliche Idee hinter der Rusk VM ist es, eine zk-freundliche Ausführungsumgebung zu schaffen – in Kombination mit dem PLONK-Beweissystem, damit die Ausführungskosten vertraulicher Verträge in einem akzeptablen Rahmen landen. Die Richtung stimmt, aber ich mache mir seit einiger Zeit Sorgen um ein paar konkrete Zahlen aus der Praxis.
Das erste ist die Beweisgenerierungszeit. Wenn ein Nutzer eine vertrauliche Transaktion anstößt, muss lokal ein ZK-Beweis erzeugt werden. Diese Zeit kann auf dem Smartphone je nach Situation von ein paar Sekunden bis zu Dutzenden Sekunden reichen. In DeFi-Szenarien ist die Bestätigungszeit für Nutzer extrem sensitiv. Wenn man bei jeder Interaktion darauf warten muss, dass der Client die Beweise ausrechnet, wird die Nutzererfahrung gegenüber einer öffentlichen Chain spürbar schlechter. Wenn dieses Problem nicht gelöst wird, bleibt die Einstiegshürde für den alltäglichen Einsatz von XSC an genau dieser Stelle hängen.$SPCXB
Das zweite ist die Verifikationsbelastung der Knoten. Zwar ist die Verifikation von ZK im Vergleich zur Generierung deutlich günstiger, aber wenn in einen Block ein paar hundert Aufrufe vertraulicher Smart Contracts gepackt werden, ist der CPU-Druck auf Verifikationsknoten immer noch deutlich höher als bei einer normalen EVM-Chain. Das wirkt sich direkt auf die obere Grenze der TPS von Dusk aus, und außerdem auf die Hardwareanforderungen für Validatoren – was wiederum die Dezentralisierung beeinflusst.
Das dritte ist die Entwickler-Toolchain. Rusk nutzt das Rust-Ökosystem; das ist nahezu eine andere Spezies als die Solidity-Welt. Die mentale Kosten, um einen XSC-Vertrag zu schreiben, liegen eine Größenordnung höher als beim Schreiben eines Solidity-Vertrags. Ob das Ökosystem wirklich entsteht, hängt in hohem Maße davon ab, ob die Entwicklererfahrung hier mitzieht.$AKE
Langfristiger Wert entsteht nicht dadurch, dass die Architektur schön aussieht, sondern dadurch, wie viele Menschen wirklich nutzbare Dinge auf Rusk bereitstellen.
#dusk @Dusk $DUSK