Le développeur Ethereum barry publie de nouveaux progrès sur les smart contracts privés zkEVM : prise en charge de l'état utilisateur privé, mais pas de l'état global privé.

Jinse Finance rapporte que le développeur Ethereum barryWhiteHat a déclaré qu’avec la commercialisation des machines virtuelles à preuve à connaissance nulle (zkEVM), une opportunité intéressante est apparue : fournir une infrastructure de contrats intelligents privés tout en maintenant la compatibilité avec l’Ethereum Virtual Machine (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, afin de créer des contrats intelligents privés. Il existe d’importants compromis autour de l’état global privé et de la confidentialité, dont la raison principale est la suivante : pour prouver quelque chose, il faut savoir ce que l’on veut prouver. Par conséquent, il ne peut pas exister un contrat intelligent privé qui possède un état global public dont vous n’avez pas connaissance. De là, il s’ensuit qu’il ne peut pas non plus exister de contrat intelligent privé avec un état global privé. Par exemple, des applications comme Uniswap ne peuvent pas être implémentées sous une forme privée, car le prouveur doit connaître le solde des deux pools pour prouver qu’une transaction de swap a été exécutée correctement. Ainsi, certaines applications que nous connaissons et apprécions ne peuvent actuellement pas être réalisées sous une forme privée, à moins que nous ne disposions de fonctionnalités d’entrée/sortie (IO) — c’est précisément la raison pour laquelle l’IO est si cruciale. Elle nous permet de construire un Ethereum entièrement privé, dont les hypothèses de confiance sont exactement les mêmes que celles de l’Ethereum natif. Cependant, cet article vise à explorer comment, en ajoutant les deux opcodes pstore et pload dans reth et en les compilant dans la machine virtuelle à preuve à connaissance nulle (zkEVM), il est possible de réaliser un type de contrat intelligent privé — ce type de contrat possède un état utilisateur privé, mais ne dispose pas d’un état global privé.