Ethereum開発者のBarryがzkEVMプライベートスマートコントラクトの新たな進捗を発表：プライベートユーザーステートをサポート、ただしプライベートグローバルステートは未対応

 Ethereum開発者のbarryWhiteHatは、ゼロ知識証明仮想マシン（zkEVM）の商用化により、興味深い機会が生まれたと述べています。それは、Ethereum Virtual Machine（EVM）との互換性を維持しながら、プライベートなスマートコントラクトインフラストラクチャを提供できることです。開発者はSolidityコードを書き、特定バージョンのSolidityコンパイラやいくつかの後処理ツールを通じてコンパイルし、プライベートなスマートコントラクトを作成することができます。

プライベートなグローバルステートとプライバシーに関してはいくつか重要なトレードオフがあります。その核心的な理由は、「何かを証明するためには、何を証明しているのかを知っていなければならない」ということです。したがって、あなたが認識していないグローバルなパブリックステートを持つプライベートスマートコントラクトは存在できません。その結果、グローバルなプライベートステートを持つプライベートスマートコントラクトも存在できません。例えば、Uniswapのようなアプリケーションは、プライベートな形で実装することができません。なぜなら、プローバーはスワップ取引が正しく実行されたことを証明するために、2つの流動性プールの残高を知る必要があるからです。

したがって、よく知られていて人気のあるアプリケーションのいくつかは、現時点ではプライベートな形で実装することができません。私たちに入出力（IO）機能がない限り—これこそがIOが極めて重要である理由です。IOは、ネイティブEthereumと同じ信頼仮定を持つ完全にプライベートなEthereumを構築することを可能にします。

しかし、本記事の目的は、pstoreおよびpload操作をrethに追加することでゼロ知識証明仮想マシン（zkEVM）にコンパイルし、プライベートスマートコントラクトを実現する方法を探ることです—これらのコントラクトはプライベートなユーザーステートを持ちますが、プライベートなグローバルステートは持ちません。