Lo sviluppatore di Ethereum Barry ha rilasciato nuovi progressi sui contratti intelligenti privati zkEVM: supporto per lo stato utente privato, ma non per lo stato globale privato

 Lo sviluppatore di Ethereum barryWhiteHat ha scritto che, con la commercializzazione della zero-knowledge proof virtual machine (zkEVM), è emersa un'interessante opportunità: può fornire un'infrastruttura per smart contract privati mantenendo la compatibilità con l'Ethereum Virtual Machine (EVM). Gli sviluppatori possono scrivere codice Solidity e compilarlo tramite una versione specifica del compilatore Solidity o alcuni strumenti di post-processing per creare smart contract privati.

Ci sono alcuni compromessi importanti riguardo lo stato globale privato e la privacy, la ragione principale è: per dimostrare qualcosa, devi sapere cosa stai dimostrando. Pertanto, non può esistere uno smart contract privato che abbia uno stato globale pubblico di cui non sei a conoscenza. Di conseguenza, non possono esistere nemmeno smart contract privati con stato globale privato. Ad esempio, applicazioni come Uniswap non possono essere implementate in forma privata perché il prover deve conoscere i saldi di due pool di liquidità per dimostrare che una transazione di swap è stata eseguita correttamente.

Pertanto, alcune applicazioni ben note e apprezzate attualmente non possono essere implementate in forma privata a meno che non disponiamo di capacità input-output (IO): questo è esattamente il motivo per cui IO è cruciale. Permette di costruire un Ethereum completamente privato, con assunzioni di fiducia identiche a quelle di Ethereum nativo.

Tuttavia, questo articolo mira a esplorare come compilare le operazioni pstore e pload nella zero-knowledge proof virtual machine (zkEVM) aggiungendole a reth, al fine di ottenere uno smart contract privato - questi contratti hanno stati utente privati ma non stati globali privati.