Ich habe mich in letzter Zeit in @Dusk Vertragsausführungs-Setup eingelesen, und Piecrust ist das Stück, über das die meisten hinweggehen, wenn sie über das Projekt sprechen.
Ganz ehrlich: Ich hatte mit einer weiteren schweren Ausführungsumgebung gerechnet. Aber das ist nicht der Fall. Piecrust ist eine leichte WebAssembly-basierte VM, die für eine sichere, modulare Vertragssausführung gebaut wurde. Und das Entscheidende ist: Sie trennt die Logik des Vertrags von der darunterliegenden kryptografischen Arbeit. Verträge führen einfach Anwendungslogik innerhalb der VM aus. Die teuren Dinge – ZK-Profi-Verifikation, Signaturvalidierung – werden in native Host-Funktionen ausgelagert, statt in jedem einzelnen Vertrag zu leben.
Das ist der Teil, der tatsächlich funktioniert: Kryptografische Verifikation ist naturgemäß teuer, daher würde es das gesamte System ausbremsen, wenn jeder Vertrag das Gewicht selbst tragen müsste – ohne wirklichen Mehrwert. Das Auslagern hält die Ausführung schlank, während dennoch die schwere Privacy-Maschinerie behandelt wird, von der Dusk abhängt.
Die Einschränkung, die noch niemand wirklich vollständig getestet hat: Modularität wirkt auf dem Papier sauber, aber sie wurde noch nicht gegen echte Finanzanwendungen unter Last getestet, bei denen die Komplexität sich schnell aufschaukelt.
Trotzdem ist es besser, die Trennung jetzt einzubauen, als zu versuchen, sie nachträglich „draufzusatteln“, wenn die Verträge kompliziert werden.
#dusk $DUSK
Ganz ehrlich: Ich hatte mit einer weiteren schweren Ausführungsumgebung gerechnet. Aber das ist nicht der Fall. Piecrust ist eine leichte WebAssembly-basierte VM, die für eine sichere, modulare Vertragssausführung gebaut wurde. Und das Entscheidende ist: Sie trennt die Logik des Vertrags von der darunterliegenden kryptografischen Arbeit. Verträge führen einfach Anwendungslogik innerhalb der VM aus. Die teuren Dinge – ZK-Profi-Verifikation, Signaturvalidierung – werden in native Host-Funktionen ausgelagert, statt in jedem einzelnen Vertrag zu leben.
Das ist der Teil, der tatsächlich funktioniert: Kryptografische Verifikation ist naturgemäß teuer, daher würde es das gesamte System ausbremsen, wenn jeder Vertrag das Gewicht selbst tragen müsste – ohne wirklichen Mehrwert. Das Auslagern hält die Ausführung schlank, während dennoch die schwere Privacy-Maschinerie behandelt wird, von der Dusk abhängt.
Die Einschränkung, die noch niemand wirklich vollständig getestet hat: Modularität wirkt auf dem Papier sauber, aber sie wurde noch nicht gegen echte Finanzanwendungen unter Last getestet, bei denen die Komplexität sich schnell aufschaukelt.
Trotzdem ist es besser, die Trennung jetzt einzubauen, als zu versuchen, sie nachträglich „draufzusatteln“, wenn die Verträge kompliziert werden.
#dusk $DUSK
