Les développeurs d'Ethereum, Barry, annoncent de nouveaux progrès concernant les smart contracts zkEVM privés : prise en charge de l'état utilisateur privé, mais absence d'état global privé.

Gold Finance rapporte que le développeur Ethereum BarryWhiteHat a déclaré qu'avec la commercialisation de la Machine virtuelle à preuves nulles (zkEVM), une opportunité intéressante est apparue : elle peut fournir une infrastructure de contrats intelligents privés tout en maintenant la compatibilité avec la Machine virtuelle Ethereum (EVM). Les développeurs peuvent écrire du code Solidity et le compiler à l'aide d'une version spécifique du compilateur Solidity ou de certains outils de post-traitement, créant ainsi des contrats intelligents privés. Il existe d'importants compromis autour de l'état global privé et de la confidentialité, la raison principale étant que pour prouver, il faut savoir ce que l'on veut prouver. Ainsi, il ne peut exister de contrat intelligent privé — qui possède un état global public que vous ne connaissez pas. De cela, on peut déduire qu'il ne peut également exister de contrat intelligent privé avec un état global privé. Par exemple, des applications comme Uniswap ne peuvent pas être réalisées de manière privée, car le prouveur doit connaître les soldes des deux pools de liquidités pour prouver qu'une exécution de swap (transaction) est correcte. Ainsi, certaines des applications que nous connaissons et apprécions ne peuvent actuellement pas être mises en œuvre de manière privée, à moins que nous ne possédions des fonctions d'entrée/sortie (IO) — c'est précisément la raison pour laquelle l'IO est si crucial. Cela nous permet de construire un Ethereum entièrement privé, dont les hypothèses de confiance sont totalement identiques à celles de l'Ethereum natif. Cependant, cet article vise à explorer comment, en ajoutant les deux codes d'opération pstore et pload dans reth, les compiler dans la Machine virtuelle zkEVM, afin de réaliser un smart contract privé - ce type de contrat a un état utilisateur privé, mais ne dispose pas d'un état global privé.