O desenvolvedor de Ethereum, Barry, divulgou novos avanços nos contratos inteligentes privados do zkEVM: suporte para estado privado do usuário, mas ainda sem suporte para estado global privado.

 O desenvolvedor de Ethereum, barryWhiteHat, escreveu que com a comercialização da máquina virtual de prova de conhecimento zero (zkEVM), surgiu uma oportunidade interessante: ela pode fornecer uma infraestrutura de contratos inteligentes privados enquanto mantém a compatibilidade com a Ethereum Virtual Machine (EVM). Os desenvolvedores podem escrever código em Solidity e compilá-lo por meio de uma versão específica do compilador Solidity ou de algumas ferramentas de pós-processamento para criar contratos inteligentes privados.

Existem algumas concessões importantes em torno do estado global privado e da privacidade, sendo a razão central: para provar algo, é necessário saber o que está sendo provado. Portanto, não pode existir um contrato inteligente privado que possua um estado global público do qual você não tenha conhecimento. Consequentemente, contratos inteligentes privados com estado global privado também não podem existir. Por exemplo, aplicativos como Uniswap não podem ser implementados de forma privada porque o provador precisa conhecer os saldos de dois pools de liquidez para provar que uma transação de swap foi executada corretamente.

Portanto, alguns aplicativos conhecidos e populares atualmente não podem ser implementados de forma privada, a menos que tenhamos capacidades de entrada e saída (IO) - e é exatamente por isso que IO é crucial. Isso nos permite construir um Ethereum completamente privado, com premissas de confiança idênticas ao Ethereum nativo.

No entanto, este artigo tem como objetivo explorar como compilar as operações pstore e pload na máquina virtual de prova de conhecimento zero (zkEVM) ao adicioná-las ao reth, a fim de alcançar um contrato inteligente privado - esses contratos possuem estados privados de usuários, mas não possuem estados globais privados.