Le cofondateur d'Ethereum, Vitalik Buterin, a attribué une probabilité de 60 % à ce que trois technologies cryptographiques avancées — les SNARKs, le chiffrement homomorphe complet (FHE) et l'obfuscation indiscernable (iO) — parviennent un jour à une surcharge computationnelle inférieure à 10x. Buterin a déclaré que la première de ces technologies à atteindre ce seuil serait probablement les SNARKs, ce jalon pouvant être franchi d'ici la fin de la décennie. Ces propos ont été rapportés par Cointelegraph dans une publication sur X.

Cette estimation désigne un objectif d'efficacité à long terme pour des techniques cryptographiques déjà utilisées, ou en cours de recherche, dans des applications touchant à la confidentialité, à la vérification et au calcul. Les SNARKs sont déjà déployés dans des systèmes blockchain en production, tandis que le FHE et l'iO restent largement au stade de la recherche, ce qui explique pourquoi Buterin s'attend à ce que les SNARKs franchissent le seuil en premier.

Les SNARKs pourraient atteindre le seuil en premier

Parmi les trois technologies, Buterin s'attend à ce que les SNARKs soient les premiers à atteindre une surcharge inférieure à 10x, sans toutefois avancer d'année précise pour cette évolution.

Les SNARKs, ou arguments succincts non interactifs de connaissance, permettent à une partie de prouver qu'un calcul a été effectué correctement sans exiger d'une autre partie qu'elle reproduise indépendamment l'intégralité du calcul. Cette technologie est devenue une composante importante des systèmes à connaissance nulle utilisés dans l'industrie blockchain, notamment les zk-rollups qui regroupent les transactions hors chaîne et publient des résultats vérifiés sur Ethereum.

L'importance de ce seuil d'efficacité tient au coût computationnel associé aux preuves cryptographiques. Une surcharge réduite peut rendre les techniques avancées de vérification plus pratiques pour les applications où les ressources de calcul et le temps de traitement sont des contraintes. Aujourd'hui, générer des preuves coûte généralement bien plus cher que d'exécuter directement le calcul sous-jacent, ce qui explique que ces techniques ne sont pas encore utilisées partout où elles pourraient l'être.

Le FHE et l'iO restent dans une perspective à plus long terme

Buterin a également inclus le chiffrement homomorphe complet et l'obfuscation indiscernable dans son évaluation.

Le FHE permet d'effectuer des calculs sur des données chiffrées sans avoir à les déchiffrer au préalable. Cela en fait un domaine de recherche clé pour les applications nécessitant du calcul tout en maintenant la confidentialité des informations sous-jacentes, comme le traitement de données respectueux de la vie privée. Le FHE a été proposé pour la première fois à la fin des années 2000, et la réduction de sa surcharge constitue depuis un défi central du domaine.

L'obfuscation indiscernable est une technique cryptographique plus avancée, conçue pour rendre difficile la compréhension du fonctionnement d'un programme obfusqué tout en préservant ses fonctionnalités. Elle a été étudiée comme fondation potentielle pour un éventail d'applications de confidentialité et de cryptographie, bien que les constructions pratiques soient généralement considérées comme bien plus éloignées que pour les SNARKs ou le FHE.

L'estimation de 60 % avancée par Buterin porte sur la possibilité que les trois technologies parviennent toutes, à terme, à une surcharge inférieure à 10x. Sa déclaration n'établit pas que ce jalon sera atteint et ne fournit pas de calendrier garanti pour le FHE ou l'iO.

Un objectif pour la fin de la décennie

Le seul élément de calendrier précis mentionné concerne la première technologie censée atteindre le seuil. Buterin a indiqué qu'il s'agirait probablement des SNARKs et que cela pourrait se produire d'ici la fin de la décennie.

Cette estimation place l'efficacité, plutôt que l'introduction des techniques cryptographiques sous-jacentes, au cœur de la prédiction. Les SNARKs, le FHE et l'iO sont déjà des domaines établis de la recherche cryptographique, mais parvenir à une surcharge computationnelle nettement réduite demeure un défi technique majeur. Les progrès des systèmes de preuve ces dernières années, notamment le développement de nouvelles constructions de SNARKs, ont progressivement réduit la surcharge, tendance à laquelle renvoie l'estimation de Buterin.

Pour l'heure, l'évaluation de Buterin formule une probabilité plutôt qu'un développement confirmé. Le jalon clé identifié dans ses propos est de savoir si les SNARKs pourront atteindre une surcharge inférieure à 10x d'ici la fin de la décennie.