zkWASMのソリューションは非常に優雅です。

開発者は Rust、C、C++、AssemblyScript などの主流言語を使用してコードを書き、WASM 形式にコンパイルした後、自動的にゼロ知識証明を生成できます。計算集約型タスクはオフチェーンで実行され、軽量な証明だけをオンチェーンで検証するために提出し、コストは数桁削減されました。同じ WASM モジュールはオフチェーンで効率的に実行できるだけでなく、ZK を介しても実行できます。