rusk vm est la partie du whitepaper qui m’a fait réaliser que ce n’est pas juste une chaîne de confidentialité avec des étapes en plus ; c’est en fait la construction de son propre environnement d’exécution.
ec’est basé sur webassembly, donc il hérite de la plupart des opcodes natifs wasm, puis ajoute des fonctions hôtes par-dessus. hachage, calculs sur courbe elliptique, vérifications de signature, vérification de preuve de connaissance nulle : tout est appelable nativement plutôt que d’être greffé

0n via une bibliothèque externe.
les prix du gaz pour chaque appel de fonction, ce qui le rend quasi turing-complet plutôt que pleinement turing-complet, en gros une solution de contournement pour.$BOME

le problème de l’arrêt afin que l’exécution ne puisse pas tourner indéfiniment.
ce qui est notable, c’est la vérification zk native. la plupart des vms traitent la vérification des preuves comme un calcul externe coûteux ; rusk la traite.$BTW

comme une opération de premier ordre. je me demande comment les coûts en gaz pour la vérification zk se comparent à un appel de contrat normal sur cette machine ?

#dusk @Dusk $DUSK