Lo sviluppatore di Ethereum barry ha annunciato nuovi progressi sugli smart contract privati zkEVM: supportano lo stato utente privato, ma non dispongono di uno stato globale privato.

Secondo quanto riportato da Jinse Finance, lo sviluppatore di Ethereum barryWhiteHat ha dichiarato che, con la commercializzazione delle macchine virtuali a prova a conoscenza zero (zkEVM), si presenta un'opportunità interessante: offrire un'infrastruttura per smart contract privati mantenendo la compatibilità con la Ethereum Virtual Machine (EVM). Gli sviluppatori possono scrivere codice Solidity e compilarlo tramite una versione specifica del compilatore Solidity o tramite alcuni strumenti di post-elaborazione, creando così smart contract privati. Esistono importanti compromessi tra lo stato globale privato e la privacy, il cui motivo principale risiede nel fatto che, per poter dimostrare qualcosa, è necessario sapere cosa si sta dimostrando. Pertanto, non può esistere uno smart contract privato che abbia uno stato globale pubblico di cui non si è a conoscenza. Di conseguenza, non possono esistere smart contract privati con stato globale privato. Ad esempio, applicazioni come Uniswap non possono essere implementate in forma privata, poiché il dimostratore deve conoscere i saldi di entrambi i pool per poter dimostrare che una transazione di swap è stata eseguita correttamente. Pertanto, alcune delle applicazioni che conosciamo e apprezziamo attualmente non possono essere realizzate in forma privata, a meno che non si disponga di funzionalità di input/output (IO), ed è proprio per questo che l'IO è fondamentale. L'IO consente di costruire una Ethereum completamente privata, mantenendo le stesse ipotesi di fiducia della Ethereum nativa. Tuttavia, questo articolo si propone di esplorare come, aggiungendo le opcode pstore e pload in reth e compilando il tutto nella zkEVM, sia possibile realizzare una tipologia di smart contract privato: questi contratti possiedono uno stato utente privato, ma non dispongono di uno stato globale privato.