rusk vm ist der Teil des Whitepapers, der mir klar gemacht hat, dass das nicht nur eine Privacy-Chain mit ein paar zusätzlichen Schritten ist, sondern dass hier tatsächlich eine eigene Ausführungsumgebung aufgebaut wird.
sie basiert auf WebAssembly, also übernimmt sie die meisten nativen wasm-OpCodes, fügt dann aber Host-Funktionen darauf. Hashing, Elliptic-Curve-Mathematik, Signaturprüfungen, Zero-Knowledge-Beweis-Verifikation – alles direkt als native Funktionen aufrufbar, statt sie
0n über irgendeine externe Bibliothek anzukleben.
Gaspreise für jeden Funktionsaufruf, was es quasii-turingvollständig statt vollständig turingvollständig macht – im Grunde eine Umgehung für.$BOME
das Halteproblem, damit die Ausführung nicht für immer laufen kann.
Bemerkenswert ist die native zk-Verifikation. die meisten vms behandeln die Beweisprüfung als teure externe Berechnung; rusk behandelt sie.$BTW
als eine erstklassige Operation. ich bin neugierig, wie die Gas-Kosten für zk-Verifikation im Vergleich zu einem normalen Contract-Call auf dieser Sache sind??
#dusk @Dusk $DUSK
sie basiert auf WebAssembly, also übernimmt sie die meisten nativen wasm-OpCodes, fügt dann aber Host-Funktionen darauf. Hashing, Elliptic-Curve-Mathematik, Signaturprüfungen, Zero-Knowledge-Beweis-Verifikation – alles direkt als native Funktionen aufrufbar, statt sie
0n über irgendeine externe Bibliothek anzukleben.
Gaspreise für jeden Funktionsaufruf, was es quasii-turingvollständig statt vollständig turingvollständig macht – im Grunde eine Umgehung für.$BOME
das Halteproblem, damit die Ausführung nicht für immer laufen kann.
Bemerkenswert ist die native zk-Verifikation. die meisten vms behandeln die Beweisprüfung als teure externe Berechnung; rusk behandelt sie.$BTW
als eine erstklassige Operation. ich bin neugierig, wie die Gas-Kosten für zk-Verifikation im Vergleich zu einem normalen Contract-Call auf dieser Sache sind??
#dusk @Dusk $DUSK
