O desenvolvedor de Ethereum, barry, divulgou novos avanços em contratos inteligentes privados zkEVM: agora suportam estado de usuário privado, mas ainda não possuem 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, mantendo 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, criando assim contratos inteligentes privados. Existem importantes trade-offs 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. Por conseguinte, também não pode existir um contrato inteligente privado com estado global privado. Por exemplo, aplicações como Uniswap não podem ser implementadas de forma privada, pois o provador precisa conhecer os saldos de ambos os pools para provar que a execução de uma swap (transação) está correta. Portanto, algumas aplicações que conhecemos e apreciamos atualmente não podem ser implementadas de forma privada, a menos que tenhamos funcionalidades de entrada e saída (IO) — e é exatamente por isso que IO é tão importante. Isso 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 no 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 de usuário privado, mas não possuem estado global privado.