Percée des Smart Contracts Privés zkEVM : Le développeur Ethereum Barry dévoile une nouvelle architecture

Le développeur Ethereum barryWhiteHat a annoncé des progrès significatifs sur les smart contracts privés zkEVM, révélant une nouvelle architecture qui supporte des états utilisateurs privés tout en maintenant la compatibilité EVM.

La percée, rapportée par Jinse Finance, exploite des machines virtuelles à preuve de connaissance nulle pour permettre aux développeurs d'écrire du code Solidity qui se compile en contrats intelligents privés.

Cependant, une limitation technique critique demeure : bien que les états privés des utilisateurs soient désormais réalisables, les états globaux privés ne sont pas pris en charge en raison de contraintes cryptographiques fondamentales.

Ce développement intervient alors qu'Ethereum se prépare à la mise à niveau Fusaka le 3 décembre 2025, qui augmentera les limites de gaz de bloc de 45 millions à 150 millions et introduira de nouveaux outils d'efficacité.

Contrats intelligents privés zkEVM : architecture technique expliquée

BarryWhiteHat a déclaré qu'avec la commercialisation des machines virtuelles à preuve zéro-knowledge (zkEVM), une opportunité intéressante a émergé : fournir une infrastructure de smart contracts privés tout en maintenant la compatibilité avec la machine virtuelle Ethereum (EVM). Les développeurs peuvent écrire du code Solidity et le compiler en utilisant une version spécifique du compilateur Solidity ou certains outils de post-traitement pour créer des smart contracts privés.

L'implémentation ajoute les opcodes pstore et pload dans reth et les compile dans le zkEVM. Cette approche technique permet aux smart contracts de maintenir des données privées spécifiques à l'utilisateur tout en fonctionnant au sein du cadre EVM familier. Pour les développeurs déjà compétents en Solidity, cela signifie une courbe d'apprentissage minimale : les bases de code existantes peuvent être adaptées avec des modifications ciblées plutôt qu'avec des réécritures complètes.

L'architecture tire parti des preuves à divulgation nulle de connaissance pour vérifier les calculs sans révéler les données sous-jacentes. Lorsque un utilisateur interagit avec un smart contract privé, le zkEVM génère une preuve que la transaction a été exécutée correctement selon la logique du contrat, sans exposer l'état privé de l'utilisateur au réseau. Cela représente une avancée significative en matière de confidentialité sur la blockchain, répondant à des préoccupations de longue date concernant la visibilité des transactions sur les registres publics.

La limitation fondamentale : Pourquoi l'État privé mondial est impossible

Il y a des compromis importants concernant l'état global privé et la vie privée, la raison principale étant : pour prouver quelque chose, vous devez savoir ce que vous prouvez. Par conséquent, il est impossible d'avoir un smart contract privé avec un état public global dont vous n'êtes pas conscient. En conséquence, il est également impossible d'avoir un smart contract privé avec un état privé global.

Cette limitation découle de la nature mathématique des preuves à divulgation nulle de connaissance. Le prouveur doit posséder des connaissances sur les données prouvées pour générer une preuve valide. Dans un réseau décentralisé où aucune partie unique ne contrôle toutes les informations, créer des preuves sur des états globaux privés inconnus devient cryptographiquement impossible.

Par exemple, des applications comme Uniswap ne peuvent pas être mises en œuvre sous une forme privée car le prouveur doit connaître les soldes des deux pools pour prouver qu'une transaction d'échange ( a été exécutée correctement. Les teneurs de marché automatisés nécessitent fondamentalement une visibilité sur l'état global : les soldes des pools de liquidités doivent être connus pour calculer les taux de change et vérifier l'exécution des transactions. Sans cette connaissance, aucune partie ne pourrait générer les preuves nécessaires pour valider les transactions.

Par conséquent, certaines applications que nous connaissons et apprécions ne peuvent actuellement pas être mises en œuvre de manière privée, à moins que nous n'ayons la fonctionnalité d'entrée/sortie )IO(—c'est précisément pourquoi l'IO est si crucial. Il nous permet de construire un Ethereum entièrement privé avec des hypothèses de confiance identiques à celles de l'Ethereum natif. Cela représente la frontière de la recherche en cours : développer des mécanismes d'IO qui peuvent relier le calcul privé à la vérification publique sans compromettre ni la sécurité ni la confidentialité.

) Ce que les états d'utilisateur privés permettent pour les smart contracts

Bien que les états privés mondiaux restent hors de portée, les états d'utilisateur privés débloquent des cas d'utilisation significatifs. Les états d'utilisateur privés signifient que les soldes de comptes individuels, les historiques de transactions et les interactions de contrats peuvent rester confidentiels tout en étant prouvablement corrects. Cette architecture permet :

DeFi préservant la vie privée : Les utilisateurs peuvent interagir avec des protocoles de prêt, des exploitations de rendement ou des plateformes d'actifs synthétiques sans révéler la composition de leur portefeuille ou l'historique de leurs transactions au public. Bien que les mécanismes de pool restent transparents, les positions individuelles restent privées.

Systèmes de vote confidentiels : Les DAOs et les protocoles de gouvernance peuvent mettre en œuvre des mécanismes de vote où les votes individuels restent privés tandis que les résultats agrégés sont vérifiables publiquement. Cela empêche la manipulation des votes par le front-running ou la pression sociale.

Vérification d'identité privée : Les smart contracts peuvent vérifier les identifiants des utilisateurs, l'âge ou le statut d'accréditation sans révéler les données personnelles sous-jacentes. Les preuves à divulgation nulle de connaissance confirment l'éligibilité sans exposer d'informations sensibles.

Stratégies de trading protégées : MEV ###La valeur maximale extractible( protection devient possible car les traders peuvent exécuter des stratégies complexes sans diffuser leurs intentions aux chercheurs et aux bots. Les détails des transactions restent privés jusqu'à ce que l'exécution soit finale.

La distinction entre ce qui peut et ne peut pas être privatisé redéfinit notre réflexion sur l'architecture des smart contracts. Les développeurs doivent désormais concevoir en étant explicitement conscients des variables d'état qui nécessitent une visibilité globale par rapport à celles qui peuvent rester privées pour l'utilisateur.

) Mise à niveau Fusaka : Infrastructure pour les smart contracts de nouvelle génération

La mise à niveau Fusaka d'Ethereum, prévue pour l'activation sur le mainnet le 3 décembre 2025, marque l'une des plus grandes refontes du réseau depuis la Fusion. La mise à jour devrait augmenter les limites de gaz par bloc de 45 millions à 150 millions, permettant ainsi beaucoup plus de transactions par bloc et augmentant la capacité pour les Layer-2 et les rollups. Cette augmentation triple du débit de calcul crée l'infrastructure nécessaire pour des smart contracts plus complexes, y compris ceux tirant parti des fonctionnalités de confidentialité zkEVM.

Pour prévenir la congestion, Fusaka ajoute un plafond de gaz par transaction de 16,78 millions, obligeant les développeurs à diviser les opérations complexes en composants plus petits et modulaires. L'EIP-7825 introduit cette limite pour améliorer l'efficacité et la sécurité des transactions. Ce changement architectural s'aligne bien avec les smart contracts privés, qui bénéficient naturellement d'un design modulaire—séparant le calcul privé de la vérification publique.

Fusaka introduit également de nouveaux outils d'efficacité et des opcodes. Le système PeerDAS permet aux nœuds de vérifier les données par échantillonnage au lieu de télécharger des blobs complets, allégeant la charge sur les opérateurs tout en préservant la décentralisation. Pour les smart contracts privés générant des preuves à divulgation nulle, ce mécanisme d'échantillonnage réduit la charge de bande passante liée à la distribution des données de preuve à travers le réseau.

Les arbres Verkle compressent davantage les données d'état, accélérant les preuves de contrat et améliorant la compatibilité avec les clients mobiles et à faibles ressources. Cette technologie de compression est particulièrement pertinente pour les applications zkEVM, car elle réduit les frais de stockage liés au maintien des données de vérification des preuves.

Implications pour les développeurs : Redesign des smart contracts pour la confidentialité et l'efficacité

Avec les changements de Fusaka, les développeurs de smart contracts devront repenser à la fois la gestion des états et les stratégies de calcul. Les plafonds de gaz imposés signifient que les contrats doivent éviter les fonctions monolithiques ; il est donc plus pratique de diviser la logique en plusieurs transactions plus petites, en particulier pour les protocoles gérant des activités à haute fréquence comme le trading et la DeFi.

Les limites de capacité sur les opérations lourdes telles que l'exponentiation modulaire ###MODEXP( nécessiteront une réingénierie des routines cryptographiques. Pour les smart contracts privés, cela signifie optimiser la génération et la vérification des preuves à connaissance nulle pour s'adapter aux budgets de gaz des transactions. De nouvelles fonctionnalités pour les développeurs, telles que l'opcode CLZ pour compter les zéros de tête et le précompilé secp256r1 pour une vérification simplifiée basée sur le matériel, encouragent des modèles de contrats plus avancés mais économes en ressources.

De plus, l'introduction de forks “blob-parameter-only” confère au protocole une adaptabilité incrémentale, permettant à Ethereum d'augmenter les limites de données blob de la couche 2 selon les besoins entre les principaux hard forks. Associées aux plafonds de taille de bloc et au support de l'expiration de l'historique, ces mesures poussent les applications vers une architecture allégée, où l'utilisation efficace des ressources du réseau et une évolutivité robuste deviennent primordiales pour maintenir la performance des dApps.

Pour les développeurs intégrant l'architecture des smart contracts privés de Barry, la voie à suivre implique :

· Identifier quelles variables d'état nécessitent réellement la confidentialité par rapport à celles qui doivent rester publiques

· Restructuration des contrats pour séparer les calculs des utilisateurs privés des mises à jour de l'état global

· Optimisation de la génération de preuves pour s'adapter aux limites de gaz par transaction de Fusaka

· Tirer parti des nouveaux opcodes et précompilations pour réduire la surcharge cryptographique