ゼロ知識証明に基づいて動作する実行レイヤーが開発されており、これが異なる点は、各ユーザーが実際に検証可能な独自のプライベートステートを持つということです。これは、スマートコントラクトの仕組みを根本的に再考するものです。

すべてがオンチェーンで行われるのではなく、ユーザーは自分のマシンで計算を実行し、結果を検証するために証明を提出できます。その利点は？トランザクションがはるかに速く処理されます。プライバシーが大幅に向上します。そして、全体のシステムがよりクリーンに動作します。

このモデルは、計算をオフチェーンに移行しながら、検証をオンチェーンに保持します。これにより、分散型アプリケーションにおけるスケーラビリティとプライバシーに対する考え方が変わる可能性があります。