zkVMアプローチ

他のアプローチが「ロジックを回路にエンコードする」ことだとすれば、zkVMのアプローチは「仮想マシンを回路にエンコードする」こと

コンセプトの背景にある考え方

VMは本質的にループに過ぎず、反復ごとに次の命令をロードして実行する。これは、それ自体が回路に変換可能なロジックであり、別のプログラムをロードしてそのコースに実行する

ベネフィット

回路を直接書いているときにしか起こらないバグをいくつも取り除くことができる

新しいVMを発明する理由は？

他のVMは、回路としてエンコードするのに最適化されていない