Ethereum開発者barryがzkEVMのプライベートスマートコントラクトの新たな進展を発表：プライベートユーザーステートはサポートされているが、プライベートグローバルステートは未対応

Jinse Financeによると、Ethereum開発者のbarryWhiteHatは、ゼロ知識証明仮想マシン（zkEVM）の商品化に伴い、興味深い機会が生まれていると述べています。それは、プライベートなスマートコントラクト基盤を提供しつつ、Ethereum Virtual Machine（EVM）との互換性を維持できることです。開発者はSolidityコードを書き、特定バージョンのSolidityコンパイラやいくつかの後処理ツールを通じてコンパイルすることで、プライベートなスマートコントラクトを作成できます。 プライベートなグローバルステートとプライバシーを巡る重要なトレードオフが存在し、その核心的な理由は「証明を行うには、何を証明するかを知っていなければならない」ことにあります。したがって、「自分が知らないグローバルパブリックステートを持つプライベートスマートコントラクト」というものは存在し得ません。これを推し進めると、グローバルプライベートステートを持つプライベートスマートコントラクトも存在し得ないことになります。例えば、Uniswapのようなアプリケーションはプライベートな形では実現できません。なぜなら、証明者は2つのプールの残高を知って初めて、swap（取引）の実行が正しいことを証明できるからです。 したがって、私たちがよく知り好むいくつかのアプリケーションは、現時点ではプライベートな形で実現できません。入出力（IO）機能がない限り――これこそがIOが極めて重要な理由です。IOによって、完全にプライベートなEthereumを構築でき、その信頼仮定はネイティブのEthereumと完全に一致します。 ただし、本稿では、rethにpstoreとploadという2つのオペコードを追加し、それをゼロ知識証明仮想マシン（zkEVM）にコンパイルすることで、プライベートユーザーステートを持つがグローバルプライベートステートを持たない、ある種のプライベートスマートコントラクトを実現する方法について考察します。