Les zero-knowledge proofs (ou ZK proofs) sont en train de devenir un pilier technologique du Web3. Longtemps réservées à des usages de niche comme les rollups zk-EVM ou les protocoles de confidentialité, elles s’imposent désormais comme un outil central pour renforcer la transparence, la scalabilité et la confiance dans les systèmes numériques.
Face à l’essor de l’intelligence artificielle, à la prolifération des contenus générés automatiquement et à la montée de la désinformation, le besoin de preuves vérifiables et infalsifiables s’étend bien au-delà de la blockchain.
C’est dans cette perspective que s’inscrit Succinct, un projet qui propose la première infrastructure décentralisée dédiée à la génération de preuves ZK pour tout type de logiciel.
L’idée centrale est de créer un « proof layer » universelle, capable de prouver l’exécution correcte de n’importe quel programme, sans nécessiter la moindre expertise cryptographique de la part des développeurs.
Contexte et vision
À l’origine, les preuves à divulgation nulle de connaissance (ZK proofs) ont été développées pour résoudre des problèmes cryptographiques ciblés, notamment dans le domaine de la confidentialité.
Pourtant, leur potentiel va bien au-delà de ces premiers cas d’usage. En permettant de prouver qu’un calcul a été exécuté correctement sans avoir à le reproduire, les ZK proofs ouvrent la voie à une vérifiabilité indépendante, efficace, peu coûteuse et applicable à grande échelle.
Un besoin croissant de vérifiabilité
Ce principe prend tout son sens dans les systèmes distribués comme les blockchains, où chaque nœud vérifie habituellement l’ensemble des transactions en les réexécutant intégralement.
Ce mécanisme limite cependant sévèrement l’évolutivité des chaînes : les systèmes sont lents, coûteux, et peu adaptés à une adoption massive.
Dans ce cadre, les preuves ZK rendent possible une séparation entre l’exécution et la vérification : une poignée d’acteurs effectue le calcul et génère la preuve (étape coûteuse), tandis que le reste du réseau peut simplement la vérifier de manière rapide et peu gourmande.
Mais la portée de cette logique dépasse l’univers blockchain. Le Web2 est également confronté à une crise de confiance, exacerbée par la prolifération de contenus générés par l’IA, de spams, de bots et de manipulations informationnelles. Dans les années à venir, la distinction entre le vrai et le faux risque de devenir de plus en plus floue.
Une vision plus large que la blockchain
C’est dans cette dynamique que s’inscrit la vision portée par Succinct : rendre vérifiable l’exécution de n’importe quel logiciel, quel que soit son environnement.
Qu’il s’agisse d’un rollup, d’un agent IA, d’une caméra de surveillance ou d’un jeu vidéo, le protocole vise à offrir des preuves cryptographiques vérifiables par des tiers, garantissant que ce qui est affiché, produit ou diffusé correspond bien à une exécution authentique.
En d’autres termes, Succinct ambitionne de devenir l’infrastructure de référence pour la vérifiabilité généralisée, en fournissant des preuves ZK à la demande, via un réseau ouvert, incitatif et décentralisé.
Architecture du réseau Succinct
Pour cela, Succinct repose sur une architecture modulaire et décentralisée.
L’objectif est de permettre à n’importe quelle application de soumettre un programme à prouver, et à n’importe quel acteur disposant de ressources de calcul de générer cette preuve, de façon sécurisée, efficace et transparente.
Le cœur du système est une marketplace décentralisée : d’un côté, les requesters, qui soumettent des programmes à prouver ; de l’autre, les provers, qui génèrent les preuves en échange d’une récompense. Entre les deux, le protocole fait office de tiers de confiance cryptographique.
Chaque demande de preuve donne lieu à une enchère inversée (proof contest), où plusieurs provers en compétition proposent un prix.
Le plus performant remporte l’exécution, génère la preuve, et est rémunéré selon les conditions définies dans la requête. Ce mécanisme permet d’optimiser en continu le coût, les délais et la qualité des preuves générées.
Une architecture hybride : off-chain pour la performance, on-chain pour la sécurité
Succinct adopte une approche hybride combinant :
- une couche off-chain, pour la coordination rapide et flexible des opérations ;
- une couche on-chain sur Ethereum, pour assurer l’intégrité, la transparence et la vérifiabilité des états.
L’auctioneer service (off-chain)
L’auctioneer constitue le cœur de la couche off-chain. Ce service coordonne l’ensemble du processus : il reçoit les demandes de preuve, organise la mise en concurrence des provers, attribue chaque requête au candidat le plus performant et veille au bon déroulement des opérations en temps réel.
Afin d’assurer une transparence totale, ce service ne détient jamais les fonds des utilisateurs et publie régulièrement des preuves ZK vérifiables sur Ethereum pour attester de l’état du réseau.
Les smart contracts Ethereum (on-chain)
La couche on-chain repose sur des smart contracts déployés sur Ethereum, chargés de gérer les dépôts et retraits des utilisateurs, le staking des provers, les règles de slashing en cas de défaillance, la vérification des preuves soumises, ainsi que l’ensemble des mécanismes de paiement et de gouvernance du protocole.
Ce découplage off-chain/on-chain permet à Succinct d’offrir une expérience utilisateur plus fluide et rapide, tout en conservant les garanties de sécurité et de décentralisation attendues d’une infrastructure Web3.
Une base de données vérifiable
L’auctioneer repose sur une base de données conçue pour être vérifiable cryptographiquement. Toutes les opérations (demandes, soldes, preuves soumises) sont enregistrées sous forme de Merkle proofs, puis agrégées dans des preuves ZK SP1. Ce système assure que l’état du réseau peut être vérifié indépendamment par n’importe quel observateur, à tout moment.
Fonctionnement technique du protocole Succinct
SP1 : une zkVM généraliste conçue pour la preuve
Le cœur du système est SP1, une machine virtuelle à preuves zero-knowledge (zkVM) développée par Succinct. Contrairement aux circuits ZK traditionnels, qui sont complexes, rigides, et conçus sur mesure pour chaque application, SP1 permet d’exécuter du code écrit dans des langages standards comme Rust ou C++, et d’en générer automatiquement une preuve ZK de bonne exécution.
Concrètement, SP1 se comporte comme un processeur normal, sauf qu’il est capable de prouver cryptographiquement l’exécution du programme qu’il exécute.
Lorsqu’une application souhaite obtenir une preuve, elle suit un cycle bien défini :
- Soumission de la requête
- Enchère et sélection du prover
- Une enchère inversée est organisée, et le prover proposant le meilleur prix remporte l’enchère.
- Pour participer, chaque prover doit avoir assez de token PROVE en staking.
- Soumission de la preuve
- Une fois la preuve générée, le prover l’envoie à l’auctioneer.
- Si elle est valide et dans les délais, la preuve est acceptée, la récompense est libérée, et le règlement est soumis on-chain.
- Si le délai est dépassé ou la preuve invalide, le stake du prover peut être partiellement ou totalement confisqué.
- Vérification et paiement
- Le smart contract reçoit la preuve, la vérifie, met à jour l’état, et procède aux paiements.
- La preuve est enregistrée dans le layer de data availibility pour pouvoir être consultée ultérieurement.
Ce mécanisme assure une exécution compétitive, encourage la performance et la fiabilité des provers, tout en offrant aux demandeurs une grande flexibilité pour adapter les conditions en fonction de la criticité de leur requête.
Performances techniques de SP1
Au-delà de son abstraction logicielle, SP1 affiche également de bonnes performances techniques.
La version actuelle, appelée SP1 Hypercube, permet de générer une preuve pour un bloc Ethereum en moins de 12 secondes en moyenne, ce qui est compatible avec le rythme d’un slot Ethereum.
Cette capacité à effectuer du real-time proving ouvre la voie à des applications comme la validation directe de blocs sur Ethereum ou la création de Layer 2 qui externalise la génération de preuve via Succinct.
Pour atteindre ce niveau de performance, les provers peuvent s’appuyer sur des clusters de GPU, mais aussi sur du hardware spécialisé comme des FPGA ou des ASIC optimisés pour les algorithmes de preuve.
Ces avancées font de SP1 l’une des zkVM les plus rapides à ce jour, tout en restant suffisamment flexible pour accepter du code écrit dans des langages standards comme Rust.
Modèle économique et token PROVE de Succinct
Le token PROVE est au cœur du fonctionnement du réseau Succinct. Il sert d’unité de paiement pour les preuves générées, de garantie via le staking, et d’outil de gouvernance.
Chaque demande de preuve est payée en PROVE.
Les provers doivent en parallèle staker des tokens pour participer aux enchères.
Ce mécanisme permet de limiter les comportements malveillants : en cas d’échec ou de retard, une partie du stake est automatiquement perdue.
Le coût d’une preuve dépend de deux éléments : un frais fixe, et un frais variable lié à la complexité du calcul (mesuré en prover gas units).
Une fois la preuve validée, le paiement est partagé entre le prover, ses éventuels stakers, et le protocole (via une commission).
Pour rendre le staking accessible à tous, Succinct permet la délégation : des utilisateurs peuvent confier leurs tokens à un prover et toucher une part des récompenses.
Au final, PROVE aligne les intérêts des différents acteurs : plus un prover est performant, plus il est récompensé, et plus ses délégants en profitent.
Tokenomics du PROVE de Succinct
Le projet a levé 55 millions de dollars auprès de gros investisseurs comme Paradigm.
Mais la répartition des tokens soulève certaines interrogations.
La distribution officielle est la suivante :
- 25 % pour les incitations publiques et futures, dont seulement 5 % réservés à un airdrop communautaire ;
- 25 % pour l’écosystème et la recherche ;
- 29.5 % pour les contributeurs principaux ;
- 10.5 % pour les investisseurs privés ;
- 10 % pour les opérations de la fondation.
Le choix de limiter l’airdrop communautaire à seulement 5 % du supply total soulève des critiques.
Depuis 2024, la plupart des projets qui ont fait un choix similaire, ont vu leur communauté se démobiliser, faute de reconnaissance suffisante envers les premiers utilisateurs. Pour un protocole comme Succinct, qui mise sur l’adoption décentralisée et l’effet réseau, une telle stratégie pourrait freiner l’adoption à long terme.
Conclusion
Succinct occupe aujourd’hui une position unique dans l’écosystème ZK.
Aucun autre projet ne propose une infrastructure aussi généraliste et décentralisée de génération de preuves.
Le projet semble avoir identifié un product-market fit clair, ce qui est un point positif.
Mais le protocole est toujours en testnet, et bien que les proof contests soient désormais ouverts au public, le fonctionnement du réseau dans des conditions de charge réelles reste à valider.
De plus, deux points d’ombre subsistent.
La dépendance à un auctioneer centralisé en phase initiale pose un risque de goulot d’étranglement ou de censure.
Et le fait de limiter l’airdrop communautaire à 5 % de l’offre total paraît peu compatible avec l’ambition du protocole, sachant que plusieurs projets similaires ont déjà souffert d’un désengagement de leur base utilisateur pour cette raison.