Le développeur Ethereum Barry a publié 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é.

 Le développeur Ethereum barryWhiteHat a écrit qu’avec la commercialisation de la machine virtuelle à preuve à divulgation nulle de connaissance (zkEVM), une opportunité intéressante est apparue : elle peut fournir une infrastructure de smart contracts privés tout en maintenant la compatibilité avec l’Ethereum Virtual Machine (EVM). Les développeurs peuvent écrire du code Solidity et le compiler via une version spécifique du compilateur Solidity ou certains outils de post-traitement afin de créer des smart contracts privés.

Il existe certains compromis importants autour de l’état global privé et de la confidentialité, la raison principale étant la suivante : pour prouver quelque chose, il faut savoir ce que l’on prouve. Par conséquent, un smart contract privé ne peut pas exister s’il possède un état global public dont vous n’avez pas connaissance. De ce fait, les smart contracts privés avec un état global privé ne peuvent pas non plus exister. Par exemple, des applications comme Uniswap ne peuvent pas être implémentées sous une forme privée, car le prouveur doit connaître les soldes des deux pools de liquidité afin de prouver qu’une transaction de swap est exécutée correctement.

Ainsi, certaines applications bien connues et appréciées ne peuvent actuellement pas être implémentées sous une forme privée, à moins que nous ne disposions de capacités d’entrée-sortie (IO) – c’est précisément pourquoi l’IO est cruciale. Elle nous permet de construire un Ethereum entièrement privé, avec des hypothèses de confiance identiques à celles de l’Ethereum natif.

Cependant, cet article vise à explorer comment compiler les opérations pstore et pload dans la machine virtuelle à preuve à divulgation nulle de connaissance (zkEVM) en les ajoutant à reth, afin de réaliser un smart contract privé – ces contrats disposent d’états utilisateurs privés mais n’ont pas d’états globaux privés.