Les preuves à divulgation nulle de connaissance (ZKPs) sont l'une de ces technologies qui semblent magiques : elles vous permettent de prouver quelque chose comme vrai sans révéler tous les détails. Elles peuvent sécuriser des blockchains, vérifier des calculs et même protéger la vie privée en ligne. Mais la magie vient souvent avec un revers – elles sont notoirement difficiles à utiliser. Mettre en place l'infrastructure, embaucher des experts en cryptographie et construire des systèmes de preuve sur mesure a été hors de portée pour la plupart des équipes.$PROVE
@Succinct Labs, une petite startup de San Francisco, veut changer cela. Leur présentation est agréablement simple : que diriez-vous si utiliser des preuves à divulgation nulle de connaissance était aussi facile que de faire fonctionner un logiciel sur votre ordinateur portable ou d'appeler une API cloud ?
Pour que cela se réalise, ils ont construit deux choses clés : un zkVM puissant appelé SP1 et un réseau Prover décentralisé auquel tout le monde peut accéder. Ensemble, ces outils visent à démocratiser ZK, le déplaçant des cryptographes de niche aux développeurs quotidiens.
SP1 : Un zkVM qui semble familier.
La plupart des systèmes à connaissance nulle obligent les développeurs à penser comme des cryptographes. Vous devez concevoir des circuits, apprendre des langages spéciaux et optimiser pour des contraintes que vous n'avez jamais entendues. SP1 (abréviation de Succinct Prover 1) renverse ce modèle.
Au lieu de tout réécrire, vous écrivez simplement votre code en Rust, C++ ou dans n'importe quel langage qui se compile en RISC-V. SP1 s'occupe du reste, exécutant votre programme et crachant une preuve à connaissance nulle.
C'est comme si quelqu'un avait remis aux développeurs l'équivalent d'un compilateur pour les preuves. Vous n'avez pas besoin de savoir comment le moteur fonctionne sous le capot – vous écrivez simplement du code, et le système garantit que la sortie est vérifiable.
Et ce n'est pas seulement accessible, c'est rapide. Les benchmarks montrent que SP1 peut être des dizaines de fois plus rapide que les zkVM précédents. Le système prend également en charge des fonctionnalités avancées comme la récursivité (preuves à l'intérieur des preuves) et dispose de modules préconçus optimisés pour des opérations crypto courantes comme le hachage et les courbes elliptiques.
Il est important de noter que SP1 est open-source et audité, donc ce n'est pas une boîte noire. Des équipes comme Celestia, Mantle, Polygon et Lido construisent déjà de véritables produits avec.
Le réseau Prover : ZK en tant que service.
Même avec SP1, exécuter des calculs de preuves lourds sur vos propres serveurs peut être décourageant. C'est là que le réseau Prover de Succinct entre en jeu.
Pensez-y comme un marché décentralisé pour les preuves. Les développeurs soumettent des travaux (programmes plus entrées), et des proueurs indépendants enchérissent pour avoir la chance de générer la preuve. Le proueur gagnant utilise SP1, soumet le résultat et est payé.
Pourquoi cela importe-t-il ? Parce que les développeurs n'ont pas besoin de matériel spécialisé, de fermes GPU ou de cryptographes dans le personnel. Ils se branchent simplement sur le réseau, et en arrière-plan, les preuves sont traitées sur des GPU, des FPGA et d'autres machines haute performance.
Le réseau lui-même est coordonné par des contrats intelligents Ethereum. Les paiements, le staking et la vérification se produisent tous de manière transparente sur la chaîne. Les proueurs mettent en jeu un jeton appelé PROVE pour participer, alignant les incitations et garantissant la sécurité.
En pratique, ce design signifie :
Finalité plus rapide : World Chain a réduit les temps de finalité de sept jours à environ une heure.
Coûts réduits : Les preuves agrégées réduisent les frais de gaz pour la vérification.
Fiabilité : Plusieurs proueurs sont en concurrence, donc la disponibilité reste élevée.
À partir de 2025, le réseau a déjà traité plus de 5 millions de preuves, sécurisant plus de 4 milliards de dollars en valeur. Ce n'est pas une démo de testnet, c'est à l'échelle de la production.
Pourquoi cette architecture fonctionne.
L'approche de Succinct semble nouvelle car elle emprunte le meilleur des deux mondes.
Hors chaîne : Tout le travail lourd (exécution de SP1, traitement des preuves) se fait rapidement sur du matériel spécialisé.
Sur la chaîne : Les règlements, paiements et vérifications sont enregistrés sur Ethereum, avec des preuves SP1 garantissant que tout est auditable.
Même la comptabilité du réseau est prouvée – les soldes, les attributions de tâches et les paiements sont mis en œuvre comme des applications vérifiables dans RISC-V. En d'autres termes, le réseau se prouve lui-même.
Ce design récursif et autonome est ce qui donne à Succinct sa crédibilité. Les développeurs n'ont pas à faire confiance aux serveurs de Succinct – ils peuvent vérifier les mathématiques eux-mêmes.
Cas d'utilisation dans le monde réel.
Parce que SP1 est à usage général, la gamme des cas d'utilisation est large :
Mise à l'échelle des blockchains : Mantle et d'autres rollups utilisent SP1 pour devenir des zkRollups, réduisant drastiquement les temps de confirmation.
Ponts inter-chaînes : Succinct a alimenté IBC Eureka, reliant plus de 120 chaînes Cosmos avec Ethereum.
Applications d'interopérabilité : Un partenariat avec LayerZero a introduit des vApps qui combinent la messagerie inter-chaînes avec des preuves.
DeFi et trading : Des projets utilisent SP1 pour des oracles et des livres de commandes sur la chaîne.
Identité et vie privée : Des tirages au sort vérifiables aux votes privés, SP1 prend en charge des applications légères préservant la vie privée.
Clients légers : Des clients blockchain entiers (comme Tendermint) peuvent être prouvés de manière succincte, permettant des portefeuilles mobiles sécurisés.
Le thème est constant : au lieu de réinventer ZK pour chaque projet, les développeurs peuvent simplement se brancher sur SP1 et le réseau Prover.
Élan d'adoption.
Succinct n'est pas seulement une théorie – elle prend de l'ampleur rapidement.
Arbitrum : Un contrat exclusif d'un an avec Tandem (Offchain Labs) pour apporter la preuve ZK aux chaînes Arbitrum.
OP Stack : La chaîne de Worldcoin a utilisé SP1 pour réduire la finalité à une heure. D'autres projets OP Stack expérimentent des configurations similaires.
Polygon, Celestia, Lido, Near, Avail : Tous construisent ou expérimentent avec SP1.
Partenaires matériels : Des équipes comme Cysic et ZAN rejoignent le réseau, ZAN montrant des accélérations de vitesse de 20x utilisant des FPGA.
En parallèle, Succinct a lancé la Succinct Foundation, qui travaille désormais avec près de 40 protocoles pour financer et développer l'écosystème.
Comment il se démarque.
Comparé à zkSync, Polygon zkEVM ou StarkWare, Succinct est moins axé sur la possession d'une chaîne et plus sur être la couche de preuve universelle. Alors que d'autres s'optimisent spécifiquement pour Ethereum, le zkVM RISC-V de Succinct peut gérer n'importe quel programme, sur n'importe quelle chaîne.
Cette approche à usage général est pourquoi ses partenaires vont des rollups L2 aux projets d'IA. Ce n'est pas lié à un écosystème – c'est une plateforme de preuve neutre.
Équipe, financement et vision.
Succinct Labs a été fondée par Uma Roy (ancien de Google Brain) et John Guibas (formation MIT). L'équipe est encore petite – moins de dix ingénieurs – mais elle a levé environ 66 millions de dollars lors de tours de financement de départ et de Série A dirigés par Paradigm, avec le soutien d'anges de grands noms de la crypto.
Leur vision est simple mais ambitieuse : amener ZK dans le grand public en le faisant ressentir comme du calcul en cloud. Le PDG Uma Roy le dit simplement : les preuves deviendront la norme par laquelle Internet établit la confiance. Le CTO John Guibas appelle l'infrastructure du réseau Prover à l'échelle d'Internet.
Pourquoi cela importe.
@Succinct s'attaque à un problème difficile mais critique : transformer les preuves à connaissance nulle d'un outil spécialisé pour cryptographes en une infrastructure quotidienne. En combinant SP1 (le zkVM qui rend les preuves accessibles) avec le réseau Prover (le marché qui rend les preuves évolutives), ils construisent une nouvelle chaîne d'approvisionnement de preuves.
S'ils réussissent, les développeurs n'auront pas à penser à ZK du tout – ils écriront simplement du code, l'exécuteront et obtiendront une preuve sur laquelle le monde peut compter.
C'est un grand changement. Et cela pourrait faire de Succinct non seulement un autre projet de blockchain, mais la couche de preuve pour Internet lui-même.
