zkVMとzkLLVMの違い
zkVM
高level言語(JavaScript、Solidity等)のコードを直接実行できるVM
高level言語の抽象度を維持したまま、ゼロ知識証明を利用してプライバシーを確保
実行結果の検証もゼロ知識証明で行う
比較的高レベルな計算処理に適している
開発者が高level言語で直接プログラミングできるため、開発コストが低い
zkLLVM
LLVMコンパイラフレームワークをベースに構築された低レベルVM
機械語レベルの命令セットを持ち、より低レベルな計算処理を行う
ゼロ知識証明を利用してプライバシーを確保
低level言語(Rust、C等)からコンパイルされたコードを直接実行
低レベルの最適化が可能で、高パフォーマンスな処理が可能
開発者にとってはプログラミングが複雑