Vitalik Buterin attribue une probabilité de 60 % à l'atteinte d'un surcoût inférieur à 10x pour les SNARKs, la FHE et l'iO
Points clés
- •Vitalik Buterin a attribué une probabilité de 60 % au fait que les SNARKs, la FHE et l'obfuscation indiscernable atteignent un jour un surcoût computationnel inférieur à 10x.
- •Buterin a donné aux trois technologies seulement 33 % de chances de s'approcher d'un surcoût proche de 1x pour le calcul réel moyen.
- •Il s'attend à ce qu'au moins une de ces technologies, très probablement les SNARKs, atteigne un surcoût à un seul chiffre d'ici la fin de la décennie.
- •Les rollups à connaissance nulle utilisent déjà les SNARKs, et une génération de preuves moins coûteuse pourrait permettre à Ethereum d'augmenter les limites de gaz sans accroître proportionnellement les exigences matérielles des validateurs.
- •La FHE et l'iO restent bien plus coûteuses, Buterin qualifiant les coûts de l'iO d'effectivement « galactiques », bien que des approches comme le diamond iO et le local mixing visent à les réduire.

Le cofondateur d'Ethereum, Vitalik Buterin, a associé des chiffres concrets à une question de longue date en cryptographie : à quel point les outils avancés de confidentialité et de vérification sont-ils proches des coûts de calcul ordinaires. Dans une publication du 6 septembre, Buterin a attribué une probabilité de 60 % au fait que les SNARKs, le chiffrement entièrement homomorphe (FHE) et l'obfuscation indiscernable (iO) fonctionnent un jour avec un surcoût computationnel inférieur à 10x, mesuré par l'utilisation totale d'énergie et les dépenses de calcul amorties. Il a également donné aux trois technologies 33 % de chances de s'approcher d'un surcoût de 1+ε pour le calcul réel moyen.
Ethereum co-founder Vitalik Buterin said he believes there is a 60% chance that SNARKs, fully homomorphic encryption and indistinguishability obfuscation could eventually be implemented with single-digit… pic.twitter.com/kdtCcHwajq — Wu Blockchain (@WuBlockchain) September 6, 2026
Cette distinction compte, car le calendrier est plus resserré que la probabilité annoncée en titre ne le suggère. Buterin n'a pas affirmé que les trois technologies franchiraient le seuil des 10x d'ici 2030. Il a indiqué qu'au moins une d'entre elles pourrait atteindre un surcoût à un seul chiffre d'ici la fin de la décennie, les SNARKs étant le candidat le plus probable. Cette analyse s'appuie sur un problème de longue date en cryptographie appliquée : les trois techniques sont théoriquement viables depuis des années — la FHE a été construite pour la première fois par Craig Gentry en 2009 — mais leur coût computationnel les a cantonnées principalement à des cadres de recherche plutôt qu'à des systèmes en production.
Les SNARKs mènent la course vers des coûts de calcul inférieurs à 10x
Les SNARKs permettent à un système de prouver qu'un calcul a été effectué correctement sans exiger que chaque vérificateur répète l'intégralité du processus. Ils sont donc devenus centraux dans le modèle de scaling à connaissance nulle d'Ethereum. Les rollups à connaissance nulle utilisent déjà cette approche : ils traitent des lots de transactions en dehors de la couche de base d'Ethereum, puis soumettent des preuves de validité au Mainnet, ce qui permet au réseau de vérifier ces transactions tout en préservant les garanties de sécurité d'Ethereum.
La génération de preuves demeure toutefois une contrainte majeure. Les preuves complexes exigent encore une puissance de calcul importante, et certaines charges de travail dépendent de matériel spécialisé. Néanmoins, Buterin a indiqué que l'écart d'efficacité commence à se réduire. En août, il a mis en avant des recherches montrant que certaines charges d'inférence de grands modèles de langage approchaient un surcoût de preuve inférieur à 10x. Il a également cité des fonctions de hachage spécialisées, pour lesquelles un surcoût à un seul chiffre a déjà été atteint.
À mesure que les coûts de preuve diminuent, cette amélioration pourrait avoir des implications directes sur l'architecture future d'Ethereum. La feuille de route zkEVM du réseau prévoit que les validateurs vérifient des preuves de blocs entiers au lieu de rejouer chaque transaction de manière indépendante. Une génération de preuves suffisamment efficace pourrait donc permettre à Ethereum d'augmenter les limites de gaz sans exiger d'augmentations proportionnelles du matériel des validateurs, rendant les SNARKs moins coûteux pertinents à la fois pour le scaling et pour l'efficacité des validateurs. Cette tendance est également visible dans l'écosystème plus large de la connaissance nulle, où les systèmes de preuve ont fait l'objet de efforts d'optimisation successifs visant à réduire le temps du proveur et la dépendance au matériel.
La FHE et l'iO font face à des barrières plus élevées
Tandis que les SNARKs se concentrent sur la vérification des calculs, la FHE aborde un défi différent : la confidentialité. Elle permet d'effectuer des calculs directement sur des données chiffrées sans révéler au préalable les informations sous-jacentes. Le NIST décrit la FHE comme une technologie de renforcement de la confidentialité capable d'appliquer des fonctions arbitraires à des données chiffrées sans accès à la clé de déchiffrement secrète. Pour les blockchains, cette capacité pourrait permettre des teneurs de marché automatisées privées, des marchés de prêt confidentiels et des enchères sous pli scellé — des applications directement identifiées dans la feuille de route de confidentialité d'Ethereum. La FHE conserve toutefois des coûts computationnels nettement supérieurs au traitement ordinaire en texte clair, de sorte qu'atteindre un surcoût inférieur à 10x constituerait une étape majeure vers un usage pratique plus large.
L'obfuscation indiscernable représente un défi encore plus difficile. Cette technologie vise à transformer un logiciel tout en préservant ses fonctionnalités, rendant des programmes obfusqués équivalents computationnellement indiscernables. Des recherches récentes ont renforcé les fondements théoriques de l'iO, mais ses coûts pratiques restent extrêmement élevés ; Buterin a décrit les constructions traditionnelles comme effectivement « galactiques » en matière de dépense computationnelle. Pour réduire ces coûts, ses travaux récents ont exploré des approches telles que le diamond iO et le local mixing. Le diamond iO réduit la charge théorique mais reste impraticable, tandis que le local mixing emprunte une voie différente dont la sécurité n'est pas encore prouvée.
Chaque technologie cible néanmoins une part distincte du problème cryptographique plus large. Des SNARKs moins chers pourraient rendre le calcul vérifiable plus courant, la FHE pourrait étendre le calcul privé à des données partagées, et une iO efficace pourrait aider à protéger la logique interne des logiciels exécutables. Pour l'instant, l'estimation de 60 % de Buterin demeure une évaluation probabiliste personnelle plutôt qu'un engagement de la feuille de route d'Ethereum.
Source : Blockonomi