#dusk $DUSK Gestern habe ich im Café eine technische Architekturzeichnung für <t-2/> @Dusk von intelligenten Verträgen durchgesehen. Ein befreundeter Kumpel, der Smart-Contract-Audits macht, beugte sich kurz rüber und sagte: „Hast du dir Dusk’s Piecrust VM schon mal angesehen? Sie betten die WASM-VM direkt in die Konsensschicht ein – das ist schon ziemlich wild, diesen Weg zu gehen.“
Ich habe mir das GitHub-Repository geöffnet und lange auf die Quellcode-Struktur von Piecrust gestarrt. Piecrust ist die von Dusk für das Rusk-Netzwerk maßgeschneiderte Laufzeitumgebung – basierend auf WebAssembly. Nachdem die Verträge in WASM-Bytecode kompiliert wurden, laufen sie direkt auf den Knoten, ohne dass irgendeine lokale Toolchain- Abhängigkeit nötig ist. In den offiziellen Design-Dokumenten steht das ganz klar: Das Ziel von Piecrust ist „deterministic execution with minimal overhead“ – jeder Zustandsübergang pro Transaktion muss vollständig reproduzierbar und verifizierbar sein. Wer schon mal mit Blockchain-VMs zu tun hatte, muss anerkennen, dass diese Architektur einen cleveren Ausgleich zwischen Ausführungseffizienz und Determinismus gefunden hat.
Aber als ich der Audit-Analyse weiter folgte und sie Schritt für Schritt auseinanderlegte, bekam ich plötzlich eine Gänsehaut.
Die externen Audits, die Piecrust durchlaufen hat, fanden zwei Probleme mit hoher Schwere. Eines ist das Risiko von Integer-Overflow/-Underflow: Unter bestimmten Randbedingungen können arithmetische Operationen zu einem unplausiblen Sprung im Zustandswert führen, und ein böswilliger Vertrag kann durch sorgfältig konstruierte Eingaben den On-Chain-Zustand aus dem Takt bringen. Das andere ist ein potenzieller DoS-Angriffsvektor: Bestimmte Kombinationen von WASM-Instruktionen können dazu führen, dass die Ausführungszeit der Knoten außergewöhnlich stark ansteigt. Theoretisch könnte ein Angreifer durch das Senden bestimmter Transaktionen die Blockierungs-/Taktung des gesamten Netzwerks verlangsamen.
Dusk reagiert wirklich schnell: Das Fix wurde direkt im ersten Moment nach der Veröffentlichung des Audit-Reports ins Main Branch gemerged. Aber das lässt mich immer wieder nachdenken: Piecrust trägt die gesamte On-Chain-Logik von Dusk – Privacy-Transaktionen, öffentliche Überweisungen, ZK-Verifikationen und KYC-Nachweise – alles läuft auf dieser VM. Jede Schwachstelle an der Grenze der VM-Schicht kann dazu führen, dass die Sicherheitsannahmen aller darüberliegenden Verträge augenblicklich ungültig werden. Das Patch ist gefixt – aber wie viele Lücken sind noch nicht entdeckt?
Hast du eine andere Meinung zu den Sicherheitsgrenzen der Piecrust VM?
Das oben ist nur meine persönliche Meinung und stellt keine Anlageberatung dar. Sprecht gern im Kommentarbereich darüber! #dusk @Dusk $DUSK @Dusk