イーサリアム開発者のbarryWhiteHat氏は、ゼロ知識証明仮想マシン（zkEVM）のコモディティ化は、イーサリアム仮想マシン（EVM）との互換性を維持しながらプライベートスマートコントラクト基盤を提供するという興味深い機会をもたらすと述べています。開発者はSolidityコードを記述し、特定のバージョンのSolidityコンパイラまたは後処理ツールでコンパイルすることで、プライベートスマートコントラクトを作成できます。プライベートグローバルステートとプライバシーの間には重要なトレードオフがあり、特に、何かを証明するには、何を証明しているのかを知っていなければならないという点が重要です。したがって、プライベートスマートコントラクトは、開発者が認識していないグローバルパブリックステートを持つことはできません。つまり、グローバルプライベートステートを持つプライベートスマートコントラクトは存在し得ません。例えば、Uniswapのようなアプリケーションは、スワップが正しく実行されたことを証明するために、証明者が2つのプールの残高を把握している必要があるため、プライベート実装できません。そのため、私たちがよく知っているアプリケーションの中には、入出力（IO）機能がなければ、現在プライベート実装できないものもあります。これがIOが非常に重要である理由です。これにより、ネイティブEthereumと同じ信頼前提を持つ、完全にプライベートなEthereumを構築できます。ただし、この記事では、プライベートスマートコントラクト（ユーザー状態はプライベートだがグローバル状態はプライベートではないコントラクト）を実装する方法を探ります。そのためには、pstoreおよびploadオペコードをrethに追加し、ゼロ知識証明仮想マシン（zkEVM）にコンパイルします。