rusk vmはホワイトペーパーの中で、これは単なる追加手順付きのプライバシーチェーンではなく、実際に独自の実行環境を構築しているのだと気づかせてくれた部分です。

それはウェブアセンブリ（WebAssembly）ベースなので、ネイティブのWasmオペコードのほとんどを継承していますが、その上でホスト関数を追加しています。ハッシュ、楕円曲線の演算、署名チェック、ゼロ知識証明の検証などが、外付けで「\n
0n」みたいに外部ライブラリに抱き合わせるのではなく、ネイティブに呼び出せます。

各関数呼び出しごとにガス価格がかかるため、完全チューリング完全ではなく準チューリング完全に保たれていて、基本的には「.$BOME

停止問題」への回避策になっています。これにより、実行が永遠に続くことはありません。

注目すべきは、ネイティブのzk検証です。多くのVMでは、証明検証を高コストな外部計算として扱いますが、ruskはそれを「.$BTW

第一級の操作」として扱います。この環境でのzk検証のガスコストが、普通のコントラクト呼び出しと比べてどうなるのか気になります？？

#dusk @Dusk $DUSK