イーサリアム開発者barryがzkEVMプライベートスマートコントラクトの新しい進展を発表：プライベートユーザー状態をサポートしますが、プライベートグローバル状態はありません。

金色财经の報道によると、イーサリアムの開発者barryWhiteHatは、zk-SNARKs仮想マシン（zkEVM）の商品化が進む中で、プライベートスマートコントラクトのインフラを提供し、かつイーサリアム仮想マシン（EVM）との互換性を保つという興味深い機会が生まれたと述べています。開発者はSolidityコードを記述し、特定のバージョンのSolidityコンパイラまたはいくつかの後処理ツールを使用してコンパイルすることで、プライベートスマートコントラクトを作成できます。 プライベートなグローバルステートとプライバシーの間には重要なトレードオフが存在し、その核心的な理由は、証明を行うためには証明しようとしている内容を理解する必要があるからです。したがって、あなたが知らないグローバルな公開ステートを持つプライベートスマートコントラクトは存在できません。これにより、グローバルプライベートステートを持つプライベートスマートコントラクトも存在できないことが推測されます。例えば、Uniswapのようなアプリケーションはプライベートな形では実現できません。なぜなら、証明者はスワップ（取引）の実行が正しいことを証明するために、2つの流動性プールの残高を知る必要があるからです。 したがって、私たちがよく知り好むアプリケーションのいくつかは、入力出力（IO）機能を持たない限り、プライベート形式で実現することができません。これが、IOが非常に重要な理由です。それは、私たちが完全にプライベートなイーサリアムを構築することを可能にし、その信頼の仮定はネイティブイーサリアムと完全に一致します。 しかし、本稿は、rethにpstoreとploadの2つのオペコードを追加することによって、それを零知識証明仮想マシン（zkEVM）にコンパイルし、プライベートスマートコントラクトを実現する方法について探討することを目的としています。このようなコントラクトはプライベートユーザー状態を持っていますが、プライベートグローバル状態を持っていません。