📌 Fiche Synthèse / ELI5
Imaginez une chaîne de montage où chaque étape est vérifiée par une mini-facture secrète: les preuves ZK sont ces factures, qui attestent que les calculs effectués hors chaîne sont corrects. Deux familles coexistent en production en 2026. Les zk-STARKs, transparents et sans setup de confiance, fonctionnent comme une vérification publique robuste mais avec des preuves souvent plus lourdes; les zk-SNARKs, plus compacts, sont privilégiés dans les zkEVMs et les déploiements L2 qui exigent des coûts de vérification bas sur Ethereum. Le débat n’est pas théorique: il se joue sur la taille des preuves, la latence de vérification et la capacité à soutenir des milliers de transactions par bloc.
1. Contexte Macro & Métriques On-Chain
Les chiffres publiques dessinent une photo contrastée entre STARKs et SNARKs en production. StarkNet, implémenté par StarkWare et basé sur STARKs, affiche une activité et une adoption croissantes sur Ethereum Mainnet. Sa page officielle indique que StarkNet a des indicateurs clés opérationnels, avec un TVL autour de 686 millions USD et des usages barycentriques autour de 3 000 utilisateurs actifs quotidiens, plus de 318 millions de transactions et un pic de TPS proche de 992. Ces données sont mises à jour régulièrement (dernière mise à jour: 14 octobre 2026). (starkware.co)StarkEx, le moteur d’exécution STARK-vérifiée utilisé par des applications comme des échanges, est en production sur Mainnet depuis juin 2020. Il a traité plus d’un trillion de dollars en valeur et enregistré plus de 400 millions de transactions pour plus de 200 000 utilisateurs, démontrant qu’une approche STARK peut soutenir des usages à grande échelle tout en conservant la sécurité L1 grâce à des preuves « validity ». (starkware.co)
En parallèle, l’écosystème ZK a vu des progrès spectaculaires dans les preuves en production côté SNARK. Ethereum Foundation et les communautés zkEVM rapportent des avancées majeures sur la rapidité et les coûts de preuve: les preuves de machine à l’instantanéité passent de 16 minutes à 16 secondes, les coûts de preuve chutent d’environ 45 fois, et près de 99% des blocs Ethereum peuvent être prouvés en moins de 10 secondes sur le matériel cible. Ces chiffres traduisent une bascule vers des solutions plus pragmatiques et opérationnelles pour le déploiement en production. (blog.ethereum.org)
Dans ce paysage, SNARKs et STARKs ne jouent pas le même rôle. L’écosystème ZK reconnaît les deux familles comme complémentaires: SNARKs restent prisés pour les zkEVM et les déploiements L2 qui exigent des vérifications rapides et de petits proofs; STARKs, eux, apportent une sécurité transparente et robuste sans setup de confiance et avec une meilleure évolutivité brute, au prix de preuves légèrement plus lourdes. Cette dualité structure aujourd’hui l’architecture ZK des Layer-2. (ethereum.org)
Les projets majeurs illustrent ces choix. ZKsync, qui opère une zkEVM SNARK-based Era, pousse une feuille de route 2026 orientée production et adoption institutionnelle; The Block rapporte que ZKsync vise une adoption réelle en 2026 avec des produits comme Prividium, ZK Stack et Airbender, et prévoit le recours à des partenaires institutionnels pour atteindre des millions d’utilisateurs. En parallèle, StarkNet continue de migrer vers une solution décentralisée et généralisable, avec des indicateurs d’usage en croissance, et une trajectoire claire vers la production décentralisée et l’interopérabilité. (theblock.co)
2. Décodage & Nuance Technique
SNARKs en production: avantages et contraintes
Les ZK-SNARKs se distinguent par des preuves compactes et une vérification rapide sur L1, avantage majeur pour les réseaux L2 qui veulent limiter les coûts de vérification. Toutefois, elles reposent sur un Common Reference String et, traditionnellement, sur une installation de type MPC pour générer les paramètres de preuve — un point de confiance et de gouvernance à gérer. Cette dynamique est explicitement décrite dans la documentation Ethereum: les SNARK exigent une mise en place initiale (setup) et une confiance partagée qui peut être fragile si les participants ne respectent pas les règles du CRS. (ethereum.org)Sur le terrain, les déploiements SNARK aujourd’hui se manifestent particulièrement dans les zkEVMs et les L2 « évolutifs » qui exigent des preuves très petites et des coûts de vérification bas, comme dans les cas cités par les projets SNARK-based. L’écosystème SNARK reste très actif et les maisons d’études et les projets continuent d’optimiser les circuits et les temps de vérification. (github.com)
STARKs en production: transparence et sécurité pragmatiques
À l’inverse, les STARKs ne nécessitent pas de setup de confiance: pas de CRS public à gérer, ce qui confère un avantage en matière de sécurité et de transparence — une caractéristique clé pour les applications qui privilégient l’auditabilité et la résistance au quantum. Cependant, les preuves STARK sont typiquement plus volumineuses et peuvent impliquer des coûts de vérification plus élevés sur L1, bien que les architectures comme SHARP permettent une réduction significative du coût amorti par transaction. Dans StarkEx et StarkNet, cette dynamique est explicitée par StarkWare comme étant la base de leur approche: preuves STARK, déployées via Cairo, permettent de grandes économies d’échelle et une sécurité robuste sans setup. (starkware.co)Une autre dimension clé est l’efficience opérationnelle: StarkEx et StarkNet utilisent des architectures qui agrègent plusieurs transactions dans une même preuve (SHARP) pour amortir le coût de la vérification sur L1, ce qui permet des coûts par transaction plus bas en pratique et une latence croissante maîtrisée. (starkware.co)