O desenvolvedor Ethereum barry anunciou novos avanços em contratos inteligentes zkEVM privados: suporta estados de usuários privados, mas não possui estados globais privados.

A Gold Finance report informou que o desenvolvedor Ethereum barryWhiteHat afirmou que, com a comercialização da Máquina virtual de provas de conhecimento zero (zkEVM), surgiu uma oportunidade interessante: fornecer infraestrutura de contratos inteligentes privados enquanto mantém a compatibilidade com a Máquina Virtual Ethereum (EVM). Os desenvolvedores podem escrever código Solidity e compilá-lo através de uma versão específica do compilador Solidity ou algumas ferramentas de pós-processamento, criando assim contratos inteligentes privados. Existem algumas trocas importantes entre o estado global privado e a privacidade, cuja razão central é: para realizar uma prova, é necessário saber o que se está a provar. Portanto, não pode existir um contrato inteligente privado que possua um estado global público que você não conheça. Daí se deduz que também não pode existir um contrato inteligente privado com estado global privado. Por exemplo, aplicações como a Uniswap não podem ser implementadas de forma privada, pois o provador precisa conhecer os saldos de dois pools de liquidez para provar que a execução de um swap (transação) está correta. Portanto, algumas aplicações que conhecemos e preferimos, atualmente não podem ser implementadas de forma privada, a menos que tenhamos a funcionalidade de entrada e saída (IO) — essa é a razão pela qual o IO é tão importante. Ele nos permite construir um Ethereum completamente privado, cuja suposição de confiança é idêntica à do Ethereum nativo. No entanto, este artigo visa explorar como, adicionando os códigos de operação pstore e pload no reth, podemos compilá-los na Máquina Virtual de Prova de Conhecimento Zero (zkEVM), a fim de implementar um contrato inteligente privado - este tipo de contrato possui um estado de usuário privado, mas não possui um estado global privado.