Notizie

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.