# Progrès concrets des zk-SNARKs et zk-STARKs en production en 2026: qui s’impose dans les Layer 2 ?
📌 Fiche Synthèse / ELI5: imaginez qu’un témoin puisse certifier qu’un concert a lieu sans révéler qui est le musicien ni ce qui a été joué. Les preuves ZK jouent ce rôle pour les chaînes: elles prouvent qu’un calcul a été correctement exécuté sans tout révéler. Entre zk-SNARKs et zk-STARKs, deux écoles se disputent le leadership en production: l’une privilégie des preuves très petites et vérifiables rapidement sur la chaîne, l’autre privilégie la transparence et la résistance quantique, parfois au prix de preuves plus lourdes. Dans la production réelle de Layer 2 (L2), cette différence pèse sur les coûts, la latence et la sécurité à long terme. (ethereum.org)
1. Contexte Macro & Métriques On-Chain
Depuis 2020-2021, le paysage des rollups ZK a fait émerger une fracture entre deux philosophies de preuve en production. Les preuves SNARK (ZK-SNARKs) sont célèbres pour leurs preuves compactes et une vérification rapide, mais reposent sur des setups souvent spécifiques à chaque circuit. À l’inverse, les preuves STARK (ZK-STARKs) offrent une configuration transparente et une sécurité post-quantique potentielle, mais avec des preuves historiquement plus volumineuses et des coûts de génération plus élevés. Cette distinction n’est pas abstraite dans la pratique: les réseaux déployés en production font des choix qui pèsent sur les coûts de vérification sur L1/L2 et sur la liquidité des preuves. (ethereum.org)
Plusieurs réseaux ZK en production illustrent le paysage réel en 2026:
Sur le plan des coûts et de la data availability, l’introduction des blobs (EIP-4844) a modélisé le coût des données et a ouvert la voie à des architectures où les preuves peuvent être plus légères à vérifier tout en laissant la data accessibilité en blob. Les analyses académiques et les documents techniques sur EIP-4844 et les blobs (y compris les études sur le coût et la dynamique du marché des blobs) indiquent une réduction relative des coûts de données et une évolution des mécanismes de disponibilité des données pour les ZK-rollups. (eips.ethereum.org)
Le paysage 2026 montre aussi des avancées matérielles autour des preuves et de leur implémentation dans StarkNet: le projet S-two (prover de StarkWare) est passé en production et a été rendu entièrement open-source, markant une étape clé pour la disponibilité et l’auditabilité des preuves dans un réseau réel. Cette évolution est décrite par les communications officielles de StarkWare en 2026. (starkware.co)
2. Décodage & Nuance Technique
La production met en lumière un compromis fondamental entre les familles de preuves. Les zk-SNARKs, qui dominent aujourd’hui dans des protocoles comme zkSync Era et Scroll, offrent une vérification très rapide et des preuves généralement compactes, mais exigent parfois un « trusted setup » pour chaque circuit ou pour des circuits spécifiques. Dans la pratique, certains réseaux utilisent des variantes comme PLONK ou GROTH pour atteindre des vérifications efficaces sur L1, tout en gérant des questions de sécurité liées au setup. Cette réalité opérationnelle est explicitement discutée dans les ressources techniques et les documents Ethereum sur les rollups et les preuves ZK. (ethereum.org)
Les zk-STARKs, de leur côté, offrent une approche « sans setup de confiance » et une philosophie transparent et post-quantum-friendly. En production, cela se traduit par des architectures qui résistent mieux à des scénarios futurs de cryptanalyse, mais avec des preuves plus volumineuses et des coûts de génération plus élevés. Ethereum.org et les documents de référence sur les zéro-knowledge rollups décrivent cette dualité et les implications opérationnelles en termes de coût de vérification et de latence. Cette dimension est cruciale pour comprendre pourquoi StarkNet, malgré des coûts de preuve plus lourds à court terme, peut offrir des garanties de sécurité et de décentralisation qui restent attractives à long terme. (ethereum.org)
La production actuelle met aussi en évidence le rôle des architectures de réduction et d’agrégation des preuves. Des mécanismes comme SHARP (pour Stark) et les approches basées sur des preuves finales (par exemple des circuits STARK ou des preuves SNARK recyclées) visent à réduire l’empreinte sur l’EVM et à optimiser l’usage des données. La roadmap et les communiqués de StarkNet indiquent que la vérification des blocs peut être accélérée par l’intégration de ces technologies, et les articles techniques et blogs du secteur montrent que l’écosystème cherche un équilibre entre décentralisation et coût opérationnel. (starknet.io)
En termes de trajectoire, les analystes soulignent que les blobs et EIP-4844 ont transformé le calcul coût-données dans les ZK-rollups et ont donné lieu à des analyses qui comparent les coûts de preuve et les coûts de données dans le temps. Les recherches et rapports de 2024-2026 démontrent que, bien que les preuves STARK puissent être plus lourdes, les coûts des données et les mécanismes de disponibilité ont évolué favorablement pour la production à grande échelle. Des documents académiques et des rapports techniques détaillent ces dynamiques et les évolutions futures prévues, comme la progression vers des architectures qui mélangent SNARK et STARK selon les besoins (par exemple pour la vérification en L1 et la gestion des données blob). (eprint.iacr.org)
Deux points de vue s’affrontent dans le paysage actuel:
L’enjeu n’est plus seulement “qui est le meilleur” entre SNARK et STARK, mais « quelle combinaison opérationnelle répond le mieux au besoin de production à grande échelle et à l’exigence sécurité/décentralisation sur le long terme ». Les initiatives autour des blobs, les mises à jour des protocoles L2 et les preuves en production dessinent une scène où les deux familles coexistent, chacune œuvrant dans des niches complémentaires. (github.com)