Qu'est-ce que les SNARKs ? Pourquoi Vitalik Buterin pense que les coûts des preuves ZK pourraient tomber en dessous de 10x

Qu'est-ce que les SNARKs ? Pourquoi Vitalik Buterin pense que les coûts des preuves ZK pourraient tomber en dessous de 10x

Vitalik Buterin considère que la cryptographie approche un coût quasi nul

Le cofondateur d'Ethereum, Vitalik Buterin, a publié une analyse le 6 septembre 2026, attribuant des probabilités concrètes à la praticabilité à long terme de trois primitives cryptographiques avancées. Il a estimé à 60 % la probabilité que les SNARKs, le chiffrement entièrement homomorphe et l'obfuscation par indistinguabilité finissent par fonctionner à moins de 10 fois le coût d'un calcul ordinaire, mesuré par la consommation énergétique totale plus les frais informatiques amortis. Il a également estimé à 33 % la probabilité que ces mêmes outils puissent atteindre un surcoût de 1+ε à une échelle suffisante, ce qui signifie que le coût cryptographique supplémentaire devient arbitrairement petit par rapport au travail sous-jacent. Les SNARKs se distinguent comme les plus matures des trois et les plus susceptibles d'atteindre un surcoût à chiffre unique d'ici la fin de la décennie. Des fonctions de hachage spécialisées et certains chargements de travail d'inférence de grands modèles linguistiques ont déjà démontré des niveaux d'efficacité comparables.
 
Ces projections interviennent au moment où les coûts de preuve à connaissance nulle connaissent des améliorations rapides, les benchmarks publics montrant une chute des preuves de blocs Ethereum de plusieurs dollars à des fractions de centime en environ un an. Une charge réduite élargirait l'utilisation possible des preuves privées, permettrait d'augmenter les limites de gaz sans croissance proportionnelle du matériel des validateurs, et soutiendrait une adoption plus large des applications préservant la vie privée sur les systèmes blockchain. Cette évaluation reste un avis personnel, non consensuel, et non un engagement de feuille de route du protocole. Les SNARKs offrent déjà une valeur en production et sont, selon les estimations de probabilité de Buterin de septembre 2026 et les progrès empiriques simultanés dans les systèmes de preuve, les outils cryptographiques avancés les plus proches d'atteindre une charge suffisamment faible pour un déploiement courant et à grande échelle.

Comment les SNARKs permettent de fournir des preuves compactes de calcul correct sans révéler les entrées

Les arguments non interactifs succincts de connaissance, ou SNARKs, permettent à une partie de générer une preuve cryptographique courte attestant qu’un calcul a été effectué correctement. Le vérificateur vérifie la preuve sans réexécuter le calcul complet ni apprendre les entrées privées. La propriété de « succinctité » maintient la taille de la preuve réduite et la vérification rapide, même lorsque l’énoncé sous-jacent est complexe. Le design non interactif signifie que le prouveur produit un seul message que tout vérificateur peut vérifier indépendamment. Les variantes à connaissance nulle cachent en outre les données de témoin, permettant des applications de confidentialité telles que des transactions masquées ou une logique de contrat intelligent confidentielle. En pratique, les constructions modernes de SNARK reposent sur la cryptographie à appariement ou des alternatives fondées sur les fonctions de hachage, avec des circuits exprimant le calcul sous forme de contraintes arithmétiques. Le temps et la mémoire nécessaires pour prouver restent les coûts principaux, tandis que la vérification est généralement suffisamment peu coûteuse pour être utilisée sur chaîne. Des systèmes spécialisés récents ont réduit la surcharge pour des charges de travail structurées, telles que des évaluations répétées de hachage, à des niveaux bien inférieurs aux implémentations générales antérieures.
 
Ce écart d'efficacité entre les cas spécialisés et généraux explique pourquoi Buterin met en avant les SNARKs comme le candidat le plus proche pour un surcoût unique à chiffre unique. Les déploiements en production s'appuient déjà sur les SNARKs pour les preuves de validité des rollups et les protocoles de confidentialité, démontrant que le mécanisme de base fonctionne à grande échelle même avant que les réductions de coûts prévues ne se matérialisent pleinement. Les progrès continus en matière d'optimisation des circuits, d'accélération matérielle et de composition récursive continuent de réduire l'écart de performance restant entre l'exécution native et l'exécution prouvée. La valeur pratique des SNARKs repose sur l'asymétrie entre la génération de preuve et la vérification. Générer une preuve peut encore nécessiter des ressources substantielles par rapport à l'exécution simple du programme original, mais l'objet résultant reste petit et rapide à vérifier. Cette propriété sous-tend les conceptions d'évolutivité de couche 2 qui publient des preuves compactes sur une couche de base plutôt que les données complètes des transactions. Elle soutient également des applications où une partie doit démontrer la connaissance d'un secret ou l'exécution correcte d'un calcul privé sans révéler le secret lui-même.
 
Des références empiriques de 2025 à 2026 montrent que les coûts de preuve pour des blocs à l'échelle d'Ethereum ont chuté d'environ 45 fois en un an sur les traceurs publics, atteignant des niveaux inférieurs au centime pour les configurations éligibles dans des environnements optimisés multi-GPU. Ces améliorations valident la direction vers les objectifs de surcharge décrits par Buterin. Les tendances matérielles, notamment les GPU grand public et les conceptions spécialisées de prouveurs, réduisent davantage les coûts énergétiques et en capital absolus associés à la génération de preuves. Lorsque les fonctions de hachage spécialisées opèrent déjà près de quelques fois le coût natif, le défi d'ingénierie restant consiste à étendre ces efficacités à des circuits plus généraux sans introduire de nouveaux goulets d'étranglement. La combinaison des avancées algorithmiques et de la maturation du matériel fournit donc la base factuelle pour la probabilité optimiste attribuée à l'atteinte, cette décennie, des niveaux de surcharge largement utiles pour les SNARKs.

Cadre de probabilité de Vitalik Buterin pour la surcharge cryptographique en septembre 2026

Le 6 septembre 2026, Buterin a quantifié des questions anciennes sur la praticabilité de la cryptographie avancée en attribuant des probabilités explicites. Il a estimé à 60 % la probabilité que les SNARKs, le chiffrement entièrement homomorphe et l'obfuscation par indistinguabilité atteignent un jour un coût énergétique et informatique amorti inférieur à 10 fois celui du calcul ordinaire. Une probabilité distincte de 33 % s'applique à l'affirmation plus forte que les trois techniques pourraient approcher un surcoût de 1+ε pour des charges de travail réelles moyennes une fois l'échelle suffisamment grande. La mesure intègre délibérément la consommation énergétique plutôt que le temps écoulé seul, reflétant le véritable fardeau économique du déploiement de cette technologie à grande échelle. Buterin a décrit la perspective globale comme optimiste et non consensuelle. Il a noté qu'au moins l'une des trois primitives, probablement les SNARKs, a de bonnes chances d'atteindre un surcoût à chiffre unique d'ici la fin de la décennie. Des cas spécialisés démontrent déjà la faisabilité de tels niveaux pour certaines fonctions de hachage et des tâches d'inférence de modèles linguistiques. Les prévisions ne comportent aucune date limite de protocole ni engagement technique ; elles représentent une évaluation personnelle de la possibilité technique, et non un calendrier pour les mises à jour d'ethereum.
 
La couverture médiatique du 6 et du 7 septembre a confirmé les mêmes plages numériques et l'accent mis sur les SNARKs comme candidat à court terme. Ces chiffres fournissent un point de référence concret pour mesurer les progrès futurs de la recherche. La distinction entre la probabilité de moins de 10x à 60 % et le calendrier plus restreint pour un surcoût à chiffres uniques est importante. Buterin n'a pas affirmé que les trois technologies franchiraient le seuil de 10x d'ici 2030. L'énoncé plus limité concerne la probabilité qu'au moins une, attendue être les SNARKs, atteigne des multiples à chiffres uniques dans la décennie. Ce cadre évite de faire des promesses excessives sur les primitives plus lointaines tout en mettant en avant le potentiel mesurable à court terme. La comptabilisation énergie-plus-coût-amorti ancre davantage l'estimation dans la réalité économique plutôt que dans une complexité asymptotique pure.
 
Lorsque les coûts de preuve diminuent, le même budget computationnel peut supporter un débit plus élevé ou des déclarations plus complexes sans augmenter proportionnellement les exigences matérielles pour les validateurs ou les utilisateurs. Les rapports publics de l'analyse du 6 septembre ont systématiquement cité les mêmes chiffres de 60 % et 33 %, ainsi que l'observation selon laquelle les charges de travail spécialisées ont déjà atteint la plage cible. Le cadre fournit donc à la fois une prévision quantitative et un classement qualitatif de la maturité relative entre les trois technologies. Les améliorations empiriques continues des systèmes de preuve SNARK apportent un soutien indépendant au classement qui place les SNARKs en tête de la séquence des réductions de coûts attendues.

Les fonctions de hachage spécialisées approchent déjà un surcoût SNARK à chiffre unique

Buterin a explicitement noté que les fonctions de hachage spécialisées ont déjà atteint des niveaux d'efficacité comparables à un surcoût à chiffre unique par rapport à l'exécution native. Des constructions récentes telles que Flock, un SNARK basé sur le hachage optimisé pour des lots de calculs booléens, illustrent ce point avec des chiffres concrets de débit. Sur du matériel grand public, un Apple M4 Max peut prouver des centaines de milliers de compressions BLAKE3, de compressions SHA-256 ou de permutations Keccak par seconde, ce qui représente environ une amélioration d'un ordre de grandeur par rapport aux systèmes précédents de pointe pour les mêmes charges de travail. Les tailles de preuve restent inférieures à 450 Ko, et la vérification s'achève en moins de quatre millisecondes. Ces résultats sont importants car les évaluations de hachage dominent de nombreux circuits cryptographiques, notamment les ouvertures de chemins Merkle, les chaînes de hachage et les couches internes des preuves récursives.
 
Lorsque les opérations dominantes deviennent peu coûteuses à prouver, la surcharge globale des déclarations plus importantes diminue, même si la logique environnante reste moins optimisée. Le même principe s'applique à certaines tâches d'inférence de modèles de langage à grande échelle, où les multiplications matricielles et les opérations structurées associées admettent des stratégies de preuve hautement efficaces. La documentation publique de ces systèmes spécialisés confirme que les multiples à un seul chiffre ne sont plus purement théoriques pour des motifs de calcul étroits mais fréquents. Étendre cette efficacité aux circuits à usage général reste un défi d'ingénierie, mais les résultats spécialisés établissent une preuve d'existence claire. L'accélération matérielle amplifie encore les gains : les configurations multi-cœurs et multi-GPU augmentent encore le débit, tandis que l'empreinte mémoire reste pratique pour les tailles de lot ciblées. La conception Flock combine des protocoles lincheck et zerocheck optimisés avec des techniques d'implémentation agressives, démontrant que la co-conception des algorithmes et du logiciel peut produire des accélérations substantielles.
 
Des modules spécialisés similaires apparaissent dans d'autres systèmes SNARK modernes qui isolent des opérations coûteuses telles que les hachages ou les signatures et les prouvent à l'aide de sous-protocoles dédiés et fortement optimisés. Lorsque la majeure partie d'un calcul consiste en ce type de travail structuré, la surcharge générale résiduelle devient une fraction plus petite du coût total. La référence de Buterin à ces cas existants repose donc sur des performances mesurables, et non uniquement sur des projections. À mesure que davantage de charges de travail sont réécrites ou compilées pour mettre l'accent sur des primitives adaptées aux SNARK, la fraction du calcul du monde réel pouvant fonctionner avec une surcharge à chiffres uniques continue de s'étendre. Cette spécialisation progressive fournit l'une des voies concrètes soutenant la probabilité plus large que les SNARK atteignent la plage cible pour les cas moyens d'ici la fin de la décennie.

Récentes baisses empiriques des coûts de preuve de blocs Ethereum

Des benchmarks indépendants suivent une baisse marquée du coût de génération des preuves à divulgation nulle de connaissance pour les blocs Ethereum. Les données publiques d'ethproofs ont enregistré une baisse des coûts moyens, passant d'environ 1,69 dollar au début de 2025 à moins de quatre cents à la fin de cette année, soit une réduction d'environ 45 fois. Au début de septembre 2026, certaines configurations ont rapporté des coûts proches de la moitié d'un cent pour les blocs éligibles, bien que les taux de réussite pour les preuves en moins de 10 secondes sur l'ensemble des créneaux évalués restent partiels, car les exécutions hors ligne et non éligibles sont comptabilisées. La Fondation Ethereum avait précédemment fixé des objectifs concrets pour la preuve en temps réel : moins de 10 secondes pour 99 % des blocs mainnet sur du matériel coûtant au plus 100 000 dollars, consommant au plus 10 kilowatts, avec des preuves inférieures à 300 KiB et sans configuration de confiance. Plusieurs équipes ont atteint ou approché ces objectifs à la fin de 2025.
 
Ces chiffres s'appliquent aux preuves de bloc complet plutôt qu'aux circuits d'application isolés, mais ils démontrent que le coût absolu de la génération de SNARK continue de diminuer sous des charges de travail et des contraintes matérielles réalistes. La vérification reste nettement moins coûteuse que la preuve, ce qui maintient les coûts sur chaîne gérables même tandis que la complexité des preuves augmente. La trajectoire des coûts a des implications directes sur les multiples de surcharge mentionnés par Buterin. Lorsque le coût énergétique et en capital absolu de production d'une preuve diminue, le rapport par rapport à l'exécution native s'améliore, même si la surcharge algorithmique reste constante. Les améliorations matérielles, notamment des déploiements GPU plus denses et des logiciels de preuve plus efficaces, contribuent aux réductions mesurées.
 
Des systèmes spécialisés accélèrent davantage le sous-ensemble d'opérations qui dominent la preuve de bloc, telles que le hachage et les vérifications de signature. La combinaison des progrès algorithmiques et des gains matériels courants produit des effets cumulatifs visibles sur les traceurs publics. Des coûts de preuve plus bas assouplissent également les contraintes sur les limites de gaz et le débit : les validateurs n'ont plus besoin d'augmenter leur matériel proportionnellement à chaque hausse de la demande computationnelle si une part plus importante du travail peut être prouvée plutôt que réexécutée. La capture d'écran de septembre 2026 des coûts inférieurs à un centime pour certaines configurations fournit donc un contexte empirique actuel pour la probabilité de 60 % attribuée à un surcoût inférieur à 10 fois. Une surveillance continue des mêmes benchmarks publics permettra aux observateurs de vérifier si le taux d'amélioration observé maintient la trajectoire nécessaire pour atteindre l'objectif à chiffres uniques pour des charges de travail plus larges dans la décennie.

Comment une réduction des coûts SNARK pourrait augmenter les limites de gaz Ethereum sans provoquer de pics matériels

Réduire la surcharge SNARK affecte directement l'économie de l'augmentation des limites de gaz. Des limites plus élevées augmentent le travail computationnel que chaque bloc peut contenir, ce qui augmente à son tour les ressources nécessaires pour une validation complète si chaque nœud réexécute chaque transaction. Lorsqu'une part substantielle de ce travail peut être couverte par des preuves succinctes, la charge matérielle marginale sur les validateurs croît plus lentement. Buterin a déjà lié des preuves moins coûteuses à la faisabilité d'un débit plus élevé sans augmentations proportionnelles des exigences en validateurs. Dans l'extrême, les preuves récursives peuvent compresser de grands montants d'exécution en des objets dont le coût de vérification reste presque constant. Des modules spécialisés de hachage et de signature démontrent déjà que les opérations dominantes à l'intérieur de nombreux circuits peuvent fonctionner à des multiples modérés du coût natif.
 
Étendre ces efficacités réduit l'énergie totale et les frais amortis associés à la preuve de blocs plus volumineux. Le résultat est un compromis plus favorable entre capacité et décentralisation : les réseaux peuvent traiter davantage d'activités tout en gardant la barrière à l'exécution d'un nœud de validation accessible à un plus large éventail de participants. Des illustrations pratiques apparaissent dans les conceptions existantes de Layer-2 qui publient déjà des preuves SNARK ou STARK plutôt que des traces d'exécution complètes. À mesure que les coûts de preuve diminuent, les mêmes conceptions peuvent supporter des lots plus denses ou une logique d'application plus complexe sans augmenter proportionnellement les coûts d'infrastructure de preuve. Sur la couche de base elle-même, les propositions qui reposent sur des preuves quotidiennes ou par epoch pour les mises à jour d'état des validateurs bénéficient également d'une charge réduite.
 
La métrique énergie + coût amorti mise en avant dans l'analyse de septembre 2026 capture l'impact économique complet de ces changements. Lorsque le coût supplémentaire de la cryptographie diminue vers des multiples à un seul chiffre, l'incitation à garder les preuves hors du chemin critique s'atténue, et leur utilisation peut s'étendre à des fonctions de protocole plus courantes. Les participants au marché suivant les métriques de capacité d'Ethereum peuvent donc interpréter la baisse des coûts de preuve comme un indicateur d'une marge future pour des augmentations de la limite de gaz qui préservent une large participation. Le lien entre l'efficacité cryptographique et l'évolution du protocole reste l'une des applications les plus claires à court terme des réductions de coûts quantifiées par Buterin.

FHE et l'obfuscation d'indistinguabilité se situent plus loin des objectifs de surcharge pratique

Le chiffrement entièrement homomorphe permet d'effectuer des calculs arbitraires sur des données chiffrées sans les déchiffrer, tandis que l'obfuscation par indistinguabilité vise à cacher la logique interne d'un programme de manière si complète que seule son comportement entrée-sortie reste observable. Ces deux primitives élargissent l'espace de conception pour les applications à état partagé privé et la protection logicielle, mais leur surcharge actuelle dépasse largement celle des SNARKs. Buterin a précédemment décrit l'iO comme le « boss final » de la cryptographie, car les constructions empilent plusieurs primitives avancées et produisent encore des temps d'exécution galactiques sous des hypothèses conservatrices. Même les approches optimistes fondées sur les réseaux laissent des temps d'exécution mesurés en jours sur du matériel puissant pour des programmes modestes. Les implémentations de FHE se sont améliorées, mais continuent de générer des artefacts de plusieurs gigaoctets et des temps d'exécution de plusieurs heures pour des tâches d'apprentissage automatique relativement petites dans les benchmarks de 2026.
 
L'analyse de septembre classe donc les deux technologies derrière les SNARKs en termes de temps attendu pour atteindre un surcoût à un chiffre. La probabilité de 60 % s'applique à la réalisation finale d'un coût inférieur à 10 fois pour les trois ; l'énoncé plus précis à la fin de la décennie désigne les SNARKs comme les plus susceptibles d'être les premiers à y parvenir. La distance relative n'implique pas une stagnation. La recherche se poursuit avec des hypothèses plus agressives, de nouvelles approches non-réseau comme le mélange local, et une optimisation progressive des tours existantes de constructions. Des améliorations des primitives composantes telles que le chiffrement fonctionnel ou le FHE efficace peuvent se répercuter sur une réduction globale des coûts d'iO. Pour le FHE, la voie inclut de meilleures techniques de regroupement, une accélération matérielle et des encodages adaptés aux circuits qui réduisent la croissance du bruit.
 
Néanmoins, l'écart empirique reste suffisamment important pour que le classement de Buterin place la surcharge pratique à chiffres uniques pour ces outils plus tardivement que pour les SNARKs. Les applications nécessitant un calcul sur un état partagé chiffré ou une logique de programme cachée continueront donc de s'appuyer sur des techniques alternatives ou des conceptions hybrides jusqu'à ce que les objectifs de surcharge soient atteints. Le cadre probabiliste traite les trois technologies comme un portefeuille : le succès sur le membre le plus proche (les SNARKs) libère déjà une valeur substantielle, tandis que les progrès ultérieurs sur les membres les plus éloignés élargissent l'ensemble des garanties de confidentialité et d'intégrité réalisables. Le suivi des résultats spécialisés sur les SNARKs reste donc l'indicateur le plus immédiat pour déterminer si l'évaluation globale de 60 % est sur la bonne voie.

La composition récursive de preuves étend les gains d'efficacité à des déclarations plus grandes

La composition récursive permet à un SNARK de vérifier un autre SNARK, permettant une compression hiérarchique de grandes computations en une seule preuve compacte. Cette technique est déjà au cœur de nombreux systèmes de production qui agrègent plusieurs transactions ou blocs. Lorsque les preuves internes deviennent moins coûteuses à générer, la couche récursive externe hérite de ces économies et peut fonctionner avec un débit plus élevé ou une latence plus faible. Des modules spécialisés pour les hachages et d'autres opérations fréquentes accélèrent encore davantage le chemin récursif, car la vérification d'une preuve interne se réduit souvent à des vérifications structurées qui admettent un traitement efficace.
 
Des benchmarks publics montrant des coûts inférieurs au centime pour les preuves de blocs Ethereum complets intègrent déjà des techniques récursives dans plusieurs des principaux ensembles de preuve. Alors que les coûts de preuve de base continuent de diminuer, le coût marginal des couches récursives supplémentaires diminue également, permettant une imbrication plus profonde sans croissance proportionnelle des ressources. La même propriété de composition soutient les conceptions de consensus « extrêmement légères » qui remplacent les mises à jour répétées des soldes sur chaîne par des preuves à divulgation nulle de connaissance quotidiennes ou par epoch. Les validateurs suivent leur propre état et soumettent une preuve succincte couvrant la participation et les récompenses ; la couche de base vérifie l'agrégat plutôt que de stocker et mettre à jour chaque solde. Une surcharge réduite rend ces preuves réalisables sur du matériel modeste et dans des fenêtres temporelles pratiques.
 
L'agrégation récursive peut encore compresser les preuves provenant de nombreux validateurs en un seul objet dont le coût de vérification reste presque constant. Ces schémas architecturaux illustrent comment les réductions de coûts au niveau primitif se traduisent par une efficacité systémique. Lorsque l'énergie et le coût amorti de chaque couche de preuve approchent des multiples à chiffres uniques du travail sous-jacent, la surcharge cumulée des systèmes multinationaux reste gérable. Les progrès empiriques tant chez les proveurs spécialisés que dans les benchmarks de blocs complets fournissent donc des preuves soutenant la faisabilité des conceptions récursives qui dépendent de SNARKs abordables.

Accélération matérielle et proveurs grand public réduisent l'écart de coût

Les prouveurs SNARK modernes exploitent de plus en plus les ressources GPU grand public et les processeurs multicœurs, plutôt que de compter uniquement sur des ASIC spécialisés. Des configurations utilisant 16 GPU grand public ont démontré la preuve en temps réel des blocs Ethereum dans les cibles de latence et de consommation énergétique de la Fondation. Des résultats avec un seul GPU, voire sur des ordinateurs portables, pour des charges de travail plus restreintes, telles que les lots de hachage Flock ou les preuves d'identité sur appareil, montrent que les barrières matérielles absolues continuent de diminuer. Les empreintes mémoire de certains prouveurs mobiles et de bureau restent dans la gamme des appareils grand public ordinaires.
 
Ces évolutions réduisent à la fois le coût en capital de l'infrastructure de preuve et la composante énergétique de la métrique de surcharge soulignée par Buterin. Lorsque le même travail de calcul peut être effectué sur du matériel largement disponible, la dépense amortie diminue et la technologie devient accessible à un plus grand nombre d'opérateurs. Cette tendance interagit également avec la spécialisation algorithmique. Le matériel qui accélère les multiplications matricielles ou les évaluations de hachage parallèles amplifie les gains déjà réalisés pour l'inférence de modèles linguistiques et les circuits booléens structurés. Les logiciels de preuve qui cartographient les circuits sur ces primitives matérielles améliorent encore davantage l'utilisation.
 
Les traceurs publics qui rapportent à la fois les coûts et les taux de réussite sur plusieurs configurations indépendantes offrent une visibilité continue sur l'effet combiné des progrès matériels et logiciels. À mesure que davantage d'équipes publient des benchmarks reproductibles sur du matériel comparable, la communauté peut distinguer les gains réels d'efficacité des artefacts spécifiques à la configuration. L'observation de septembre 2026 de coûts de demi-centime pour les preuves de bloc éligibles, même avec des taux de réussite incomplets sur tous les créneaux, indique que la voie matérielle reste productive. Une amélioration continue sur cet axe soutient la probabilité qu'un surcoût à chiffres uniques devienne atteignable pour un éventail croissant de charges de travail avant la fin de la décennie.

Les applications de confidentialité sont les premières à bénéficier de SNARKs moins chers

La réduction des coûts SNARK élargit l'éventail des applications préservant la vie privée qui peuvent fonctionner de manière économique sur les chaînes publiques. Les transactions masquées, l'état privé des contrats intelligents et la divulgation sélective d'identifiants reposent toutes sur des preuves à divulgation nulle de connaissance dont le coût de génération doit rester pratique pour les utilisateurs finaux ou les opérateurs de services. Lorsque la surcharge de preuve diminue vers des multiples à un seul chiffre, la friction liée à la génération et à la soumission de ces preuves décroît, favorisant une adoption plus large. Les systèmes existants démontrent déjà ce schéma : les protocoles de confidentialité qui exigeaient autrefois un calcul important hors ligne ou du matériel de confiance peuvent désormais migrer vers des conceptions plus transparentes et entièrement cryptographiques une fois les coûts améliorés.
 
Les kits d'outils de preuve sur appareil publiés en 2026 illustrent davantage cette direction, en générant des preuves d'identité localement sur les téléphones grand public sans envoyer les documents sous-jacents à des serveurs externes. Des preuves plus rapides et moins coûteuses rendent ces flux de travail locaux plus réactifs et économes en énergie. Les mêmes réductions de coûts soutiennent des conceptions d'état partagé privé qui combinent les SNARK avec d'autres primitives. Les market makers confidentiels, les enchères à soumission fermée et les pools de prêt privés deviennent plus réalisables lorsque la surcharge cryptographique ne domine plus le calcul économique. La discussion plus large de Buterin sur les feuilles de route de la confidentialité, incluant les lectures, écritures et preuves privées, s'aligne sur l'attente que des SNARK abordables formeront une couche fondamentale.
 
Les baisses de coûts empiriques sont déjà visibles dans les benchmarks publics, se traduisant donc par une marge concrète pour les fonctionnalités de confidentialité qui étaient auparavant limitées par des contraintes économiques. Les participants au marché suivant l'adoption des protocoles de préservation de la confidentialité peuvent considérer la baisse des coûts de preuve comme un indicateur avancé d'un espace de conception élargi. Ce lien reste fondé sur des preuves : les réductions mesurées des dépenses énergétiques et en capital améliorent directement la viabilité des applications dont la correction et la confidentialité reposent sur des preuves SNARK.

Context du marché et de l'industrie pour accélérer l'efficacité des SNARK

L'écosystème plus large de preuves à connaissance nulle continue de montrer un développement actif, même si les indicateurs des projets individuels fluctuent. Les dépôts publics et les traceurs d'activité des développeurs en 2026 enregistrent des milliers de contributeurs historiques et un ensemble plus réduit, mais encore substantiel, de développeurs actuellement actifs sur plusieurs systèmes de preuve et machines virtuelles. Les zkVM de production rapportent la preuve en temps réel ou quasi temps réel de charges de travail à l'échelle d'ethereum sur du matériel multi-GPU, avec plusieurs systèmes atteignant un statut de production audité. Des proveurs spécialisés pour les lots de hachage et l'identité sur appareil diversifient davantage les outils disponibles.
 
Ces efforts parallèles créent une pression concurrentielle qui accélère l'optimisation dans tous les domaines. Lorsque plusieurs équipes indépendantes publient des chiffres améliorant les coûts et la latence, la direction globale devient plus robuste que toute implémentation unique. L'adoption industrielle dépasse la simple mise à l'échelle de la blockchain. Des pilotes de tokenisation d'actifs transfrontaliers, des prototypes de monnaies numériques et des cadres de vérification de données médicales commencent à intégrer des preuves basées sur SNARK. Le besoin commun est la capacité de démontrer un calcul correct ou des identifiants valides sans révéler les données sous-jacentes.
 
La baisse des coûts de preuve réduit également la barrière à l'entrée pour ces cas d'utilisation non crypto, élargissant la demande totale adressable pour la technologie SNARK efficace. La publication publique des réductions de coûts sur les preuves de blocs Ethereum sert donc de proxy visible des progrès qui profitent à un ensemble plus large d'applications. La combinaison de benchmarks ouverts, d'implémentations concurrentes et de cas d'utilisation en expansion fournit le contexte de marché dans lequel les estimations de probabilité de Buterin pourront être évaluées au cours des prochaines années. Une amélioration soutenue sur ces dimensions augmenterait la confiance dans la faisabilité de l'évaluation à 60 % pour un surcoût inférieur à 10x.

Parcours d'ingénierie pratiques vers une surcharge à un seul chiffre plus large

Plusieurs directions d'ingénierie concrètes convergent vers l'objectif de surcharge à chiffre unique pour les charges de travail générales. Les compilateurs de circuits qui transforment le code de haut niveau en représentations intermédiaires adaptées aux SNARK réduisent le nombre de contraintes pour les opérations courantes. Les langages et bibliothèques spécifiques au domaine qui exposent des modules optimisés de hachage, de signature et d'arithmétique permettent aux développeurs de structurer leurs programmes autour de primitives déjà efficaces. Les techniques d'agrégation récursive et de données portant des preuves répartissent les coûts de vérification sur de grandes séries. La co-conception matériel-logiciel mappe en outre les travaux généralistes restants sur des accélérateurs parallèles.
 
Chacun de ces chemins a généré des gains mesurables pendant la période 2025–2026. Lorsque les modules spécialisés fonctionnent déjà près de la cible, la fraction résiduelle à usage général devient le point focal de l'optimisation continue. Les réductions successives de cette fraction résiduelle font tendre le surcoût moyen pour les programmes réalistes vers la plage à chiffres uniques. Les coûts de vérification restent faibles par rapport à la preuve, de sorte que l'effort d'ingénierie dominant se concentre sur le prouveur. Les traceurs publics qui rapportent à la fois les coûts absolus et les statistiques de taux de réussite sur diverses configurations matérielles fournissent un tableau de bord indépendant.
 
Les équipes qui publient des résultats reproductibles sur des environnements comparables permettent à la communauté d'identifier quelles combinaisons d'algorithme, de conception de circuit et de matériel produisent les gains les plus importants. L'existence de plusieurs zkVMs prêts pour la production et de proveurs spécialisés démontre déjà que la technologie a dépassé le stade des prototypes de laboratoire. Étendre l'efficacité démontrée sur les hachages et l'inférence de modèles linguistiques à l'ensemble de la logique d'application constitue le défi pratique restant. Les progrès sur ces voies d'ingénierie fournissent la base factuelle pour l'attente que les SNARKs puissent atteindre un surcoût à chiffre unique largement utile dans la décennie.

🔥 Au-delà des titres : ce que KuCoin 5.0 signifie pour vous

Les actualités du marché évoluent rapidement — mais où vous agissez dessus compte tout autant. Ce octobre, KuCoin lance KuCoin 5.0, transformant KuCoin en une plateforme entièrement重构. Voici ce qui change réellement pour vous :
  • Un seul compte pour tout. Les anciennes plateformes répartissaient votre argent entre des comptes séparés « spot », « marge » et « futures » et s'attendaient à ce que vous compreniez pourquoi. Le compte unifié de KuCoin 5.0 élimine complètement cela — déposez une fois, et tout est simplement disponible.
  • Actions, indices et matières premières. KuCoin 5.0 s'étend au-delà du crypto vers les marchés mondiaux. Lorsque le crypto stagne et que les actions progressent (ou l'inverse), vous effectuez une rotation en quelques minutes au lieu d'ouvrir un compte de courtage et d'attendre des jours pour les voies monétaires.
  • Actifs du monde réel (RWA). Une exposition tokenisée à des actifs traditionnels comme les matières premières, directement dans votre compte crypto. L’un des segments à la croissance la plus rapide de la finance mondiale n’est plus réservé aux institutions — vous y accédez depuis le même solde que celui que vous utilisez pour trader.
  • Gagnez tout en apprenant. Pas prêt à trader ? KCUSD permet à vos stablecoins de générer des intérêts quotidiens, avec un auto-compound. La manière la moins stressante de faire travailler vos dépôts inactifs pour un rendement de 4 %.
  • Un assistant IA en langage simple. Posez des questions, obtenez du contexte sur le marché, comprenez ce que vous voyez — intégré à la plateforme, aucun jargon requis.
  • Une application qui ne submerge pas. Plus rapide, plus propre et cohérente — intuitive dès le premier toucher, sans besoin de tutoriel.
  • Sécurité que vous pouvez vérifier, et non seulement confier. Une entité européenne autorisée MiCAR, Proof of Reserves que vous pouvez vérifier vous-même, et une sécurité certifiée au niveau international (SOC 2 Type II, ISO 27001:2022).
 
Créez votre compte en quelques minutes — et commencez sur la plateforme conçue pour où va la crypto, pas où elle en est venue.

Perspective à plus long terme pour les systèmes d'état partagé privé et les rôles d'intermédiaires

Si les réductions de coûts prévues se concrétisent, les applications à état partagé privé deviennent plus pratiques. Le chiffrement entièrement homomorphe permettrait à plusieurs parties d'effectuer des calculs sur des données chiffrées sans révéler les entrées, tandis que les SNARKs fourniraient des preuves compactes que le calcul a suivi les règles convenues. L'obfuscation par indistinguabilité pourrait protéger davantage la logique propriétaire. Des versions moins coûteuses de ces outils réduiraient la dépendance à des custodians, auditeurs ou moteurs de matching centralisés fiables pour certains processus financiers et computationnels. L'analyse de septembre 2026 relie explicitement une charge cryptographique réduite à la possibilité d'affaiblir les rôles traditionnels d'intermédiaires une fois que la confidentialité et la vérifiabilité deviennent des fonctionnalités par défaut plutôt que spécialisées.
 
Le calendrier reste long pour l'ensemble complet des primitives, mais les gains progressifs de l'efficacité des SNARK étendent déjà l'espace de conception pour les systèmes hybrides combinant les preuves de production actuelles avec d'autres techniques de confidentialité. Les feuilles de route de confidentialité et d'évolutivité d'Ethereum illustrent la voie à court terme. Les propositions pour des lectures, écritures et preuves privées, ainsi que des transactions frame et des nonces clés, peuvent intégrer une utilisation plus agressive des SNARK à mesure que les coûts diminuent. Les conceptions de consensus légères qui remplacent les mises à jour d'état répétées par des preuves succinctes en bénéficient également.
 
Hors des systèmes blockchain, les mêmes gains d'efficacité soutiennent des environnements réglementés exigeant à la fois confidentialité et traçabilité. La probabilité de 33 % attribuée à un surcoût presque nul à grande échelle représente une possibilité à plus long terme dans laquelle le surcoût de la protection cryptographique devient négligeable pour les charges de travail moyennes. Même la probabilité plus conservatrice de 60 % pour un surcoût inférieur à 10 fois constituerait un changement substantiel par rapport aux performances historiques. Suivre la trajectoire empirique du coût des SNARKs reste donc le moyen le plus direct d'évaluer si ces implications à plus long terme approchent de la praticabilité.

FAQ

Qu'est-ce que Vitalik Buterin a exactement dit sur les coûts des SNARK en septembre 2026 ?

Le 6 septembre 2026, Buterin a attribué une probabilité de 60 % à ce que les SNARKs, le chiffrement entièrement homomorphe et l'obfuscation par indistinguabilité finissent par fonctionner à moins de 10 fois le coût énergétique et informatique amorti combiné d'un calcul ordinaire. Il a estimé séparément une chance de 33 % que les trois puissent approcher un surcoût de 1+ε à une échelle suffisante.
 

À quelle distance se trouvent les coûts actuels de preuve SNARK de l'objectif de surcoût à chiffre unique ?

Des charges de travail spécialisées, telles que les évaluations par lots de hachage, fonctionnent déjà près ou dans des multiples à un chiffre de l'exécution native sur le matériel grand public. Les preuves de blocs Ethereum complets ont vu leurs coûts absolus passer d'environ 1,69 dollar au début de 2025 à moins de quatre cents à la fin de 2025 et à près d'un demi-cent pour certaines configurations au début de septembre 2026. Ces réductions absolues améliorent le ratio de surcharge effectif, même avant d'autres gains algorithmiques.
 

Pourquoi l'énergie plus le coût amorti sont-ils plus importants que le temps d'exécution pur ?

Le seul temps d'exécution peut sous-estimer la charge économique de la cryptographie, car la consommation d'énergie et l'amortissement du capital des équipements constituent des coûts réels à grande échelle. Mesurer la surcharge par la somme de la dépense énergétique et du coût informatique amorti fournit une image plus complète de la praticabilité d'une technologie pour un déploiement courant.
 

Les SNARKs moins chers peuvent-ils augmenter directement le limite de gaz d’Ethereum ?

Une charge de preuve réduite diminue le matériel marginal requis pour valider des blocs plus volumineux lorsque une part importante de l'exécution est couverte par des preuves succinctes plutôt que par une ré-exécution. Les validateurs peuvent donc supporter des limites de gaz plus élevées sans augmentation proportionnelle de leur capacité de calcul. Les preuves récursives et agrégées amortissent davantage les coûts de vérification.
 

Quel rôle jouent les fonctions de hachage spécialisées dans les réductions de coûts ?

Les évaluations de hachage dominent de nombreux circuits cryptographiques. Lorsque des modules SNARK dédiés prouvent des lots de hachages standards avec un débit élevé et un surcoût relatif faible, le coût global des déclarations plus importantes diminue, même si la logique environnante reste moins optimisée. Des systèmes tels que Flock ont publié des chiffres concrets de débit dépassant plusieurs centaines de milliers de compressions par seconde sur des ordinateurs portables grand public, avec des tailles de preuve et des temps de vérification restant pratiques.
 

Comment la maturité du FHE et de l'obfuscation par indistinguabilité se compare-t-elle ?

Les deux restent beaucoup plus chers que les SNARKs. Les implémentations actuelles de FHE produisent encore de grands artefacts et des temps d'exécution de plusieurs heures pour des tâches modestes. Même sous des hypothèses optimistes, les constructions d'obfuscation d'indistinguabilité ont des temps d'exécution « galactiques » ou de plusieurs jours sur du matériel puissant.
 
Avertissement : Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil en investissement. Les investissements dans les cryptomonnaies comportent des risques. Veuillez effectuer vos propres recherches (DYOR).
 

Avertissement : Pour votre confort, cette page a été traduite à l'aide de la technologie IA. Pour obtenir les informations à la source, consultez la version anglaise originale.