O desenvolvedor de Ethereum, Barry, anunciou novos avanços nos contratos inteligentes privados zkEVM: agora há suporte para estado de usuário privado, mas ainda não há suporte para estado global privado.

Jinse Finance relatou que o desenvolvedor de Ethereum, barryWhiteHat, afirmou que, com a comercialização das máquinas virtuais de prova de conhecimento zero (zkEVM), surgiu uma oportunidade interessante: fornecer infraestrutura de contratos inteligentes privados enquanto mantém a compatibilidade com a Ethereum Virtual Machine (EVM). Os desenvolvedores podem escrever código Solidity e compilá-lo usando uma versão específica do compilador Solidity ou algumas ferramentas de pós-processamento, criando assim contratos inteligentes privados. Existem compensações importantes em torno do estado global privado e da privacidade, cujo motivo 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. Da mesma forma, não pode existir um contrato inteligente privado com estado global privado. Por exemplo, aplicativos como Uniswap não podem ser implementados de forma privada, pois o provador precisa conhecer os saldos de ambos os pools para provar que uma execução de swap (troca) está correta. Portanto, alguns aplicativos que conhecemos e apreciamos atualmente não podem ser implementados de forma privada, a menos que tenhamos uma funcionalidade de entrada e saída (IO) — e é exatamente por isso que o IO é tão importante. Ele nos permite construir um Ethereum totalmente privado, com suposições de confiança idênticas ao Ethereum nativo. No entanto, este artigo visa explorar como, ao adicionar os opcodes pstore e pload ao reth e compilá-los para a máquina virtual de prova de conhecimento zero (zkEVM), é possível implementar um tipo de contrato inteligente privado — esses contratos possuem estado privado do usuário, mas não possuem estado global privado.