<Pourquoi ZK a-t-il échoué et qu’est-ce que Succinct veut changer ?> 1. Conscience du problème Le créateur de Bitcoin, Satoshi Nakamoto, a exprimé son scepticisme à l’égard des preuves à divulgation nulle de connaissance (ZKP). « Pour prouver que quelque chose n’existe pas, vous devez connaître l’intégralité de la transaction », a-t-il déclaré, et a jugé que l’application des ZKP aux blockchains est structurellement difficile. Cependant, il a également déclaré : « Si nous trouvons une solution, il sera possible de mettre en œuvre Bitcoin beaucoup mieux, plus facilement et plus pratique. » En d’autres termes, tout en reconnaissant les limites techniques de ZK, ils ont reconnu que si elles étaient abordées, elles pourraient constituer un tournant majeur dans l’évolution de la blockchain. Aujourd’hui, des années plus tard, la communauté cypherpunk et les chercheurs de ZK ont enfin trouvé une solution. Zcash a été le premier à appliquer ZKP aux crypto-monnaies du monde réel, et des projets comme StarkWare, zkSync et Scroll ont depuis développé cette technologie comme un moyen clé d’améliorer l’évolutivité et la vérifiabilité d’Ethereum. Cependant, il y a encore un fossé dans la réalité. La création de zkEVM nécessite une expertise approfondie, des années de développement et un matériel haute performance, et la plupart des projets s’appuient sur des fournisseurs de preuves spécifiques au lieu d’exploiter leur propre infrastructure ZKP. En conséquence, les ZKP sont restés un outil complexe que seuls quelques-uns pouvaient gérer plutôt qu’une « technologie que tout le monde peut utiliser ». 2. Qu’est-ce que Sucinct ? Succinct (@SuccinctLabs) est une tentative d’aborder ce problème de front. La clé est de transformer les ZKP en une infrastructure qui peut être facilement utilisée par tous les développeurs, et d’aider quiconque à créer un « système sans confiance » sans avoir besoin de circuits ou d’infrastructures complexes. Succinct est une infrastructure qui transforme l’idéal d’un système « sans confiance » que la blockchain poursuit en une réalité qui peut réellement être réalisée. Sans confiance ne signifie pas « indigne de confiance », mais fait référence à une structure qui fonctionne par elle-même sans prémisse de confiance, c’est-à-dire un système qui peut être mathématiquement vérifiable sans avoir besoin d’un tiers ou d’une autorité centrale. Cependant, l’écosystème actuel de la blockchain repose encore fortement sur la confiance. Les piratages de ponts, les opérations multisig et la délégation centralisée du validateur sont tous la preuve que le système ne fonctionne que lorsque nous faisons encore confiance aux personnes et aux organisations. Une tentative de franchir cette limite basée sur la confiance est la technologie ZKP, ou Zero-Knowledge Proof. Cette technologie, qui nous permet de prouver mathématiquement que « ce calcul est correct » sans avoir à faire confiance à qui que ce soit, est clairement un socle clé pour les systèmes décentralisés. Le problème était que les ZKP étaient trop complexes et lourds pour être réellement écrits. 3. Pourquoi les ZKP vous ont-ils semblé difficiles ? La technologie ZKP a été aussi élevée que son potentiel. En particulier, la création de zkEVM a nécessité une équipe professionnelle, des années de développement et une infrastructure coûteuse. La plupart des projets zk devaient concevoir leurs propres circuits, construire des zkVM dédiés, et même faire fonctionner le matériel eux-mêmes. Ce n’est qu’après être passés par tous ces processus qu’ils ont pu s’appeler eux-mêmes « ZK rollups ». De plus, les zkVM traditionnelles à usage général ont été très inefficaces pour générer des preuves. Normalement, la preuve d’un bloc nécessitait un cluster de dizaines de machines hautes performances, et le coût atteignait 10 $ ~ 20 $ par bloc. En raison de cette charge technique et de ces coûts opérationnels élevés, de nombreux projets ont abandonné l’introduction des ZKP ou ont opté pour des structures qui s’appuient sur des fournisseurs de preuves centralisés. 4. La tentative de Sucinct @SuccinctLabs considère ces problèmes structurels comme des « problèmes d’infrastructure ». Les ZKP sont assez puissants techniquement, mais le problème est de savoir qui les met en œuvre, comment et à quel coût. C’est pourquoi Succinct crée un réseau de preuve décentralisé qui est facilement accessible à tous, sans qu’il soit nécessaire pour les projets individuels d’exploiter leur propre infrastructure de preuve. Les développeurs n’ont pas besoin de configurer des zkVM complexes ou de fournir du matériel. Lorsqu’une demande d’épreuve est envoyée au réseau, des sondeurs avec du matériel différent enchérissent dessus lors d’une enchère pour la traiter. Les coûts des épreuves diminuent naturellement grâce à la concurrence, et les sondeurs génèrent efficacement des épreuves avec des équipements performants. Le résultat est des preuves rapides et bon marché pour les développeurs et une infrastructure de preuve hautement disponible et résistante à la censure pour l’ensemble de l’écosystème. Succinct ne se contente pas de démontrer ses possibilités techniques, mais prouve également son rôle dans les domaines où la demande est réelle. Un exemple typique est le flux « CLOBs on Blobs » qui a émergé dans l’écosystème @celestia. Avec l’émergence de carnets d’ordres décentralisés (CLOB) haute performance en plus de l’espace blob de Celestia, le traitement des données à grande échelle et les preuves d’état rapides sont des besoins essentiels en matière d’infrastructure. Des projets comme Hyperliquid et @hibachi_xyz mettent en œuvre des transactions complexes du carnet d’ordres et une logique de découverte des prix sur la chaîne, ce qui nécessite une évolutivité et des performances allant au-delà des simples cumuls. C’est là que la couche de disponibilité des données haute performance de Celestia et l’infrastructure décentralisée de preuve ZK fournie par Succinct sont nécessaires. En fait, Celestia connaît une augmentation rapide du taux d’utilisation réel de l’espace blob, avec une infrastructure ZK telle que Succinct qui y contribue discrètement. Si Celestia fournit un « magasin de données vérifiable », Succinct est responsable de la création d’une « transition d’état vérifiable » au-dessus de ces données. Cette combinaison est le point de départ de la technologie ZKP pour aller au-delà des théories abstraites vers les systèmes du monde réel. 5. zkEVM, SP1 et SP1 Reth qui peuvent être manipulés par n’importe qui Succinct, qui a résolu l’accessibilité de l’infrastructure de cette manière, a développé une zkVM open-source appelée SP1 (Succinct Processor 1) pour abaisser la barrière d’entrée pour les zkVM elles-mêmes. SP1 est une zkVM à usage général implémentée dans Rust, conçue pour être utilisée directement par n’importe qui sans avoir besoin de conception de circuits complexes comme les zkEVM traditionnels. Un des premiers exemples du potentiel de SP1 est SP1 Reth. SP1 Reth est un zkEVM de type 1 implémenté avec seulement environ 2 000 lignes de code Rust, et est facilement construit en réutilisant des composants de l’écosystème client Ethereum existant (Reth, Revm, Alloy, etc.). Ce qui est encore plus étonnant, c’est sa performance. SP1 Reth a un coût moyen de preuve par transaction Ethereum de seulement 0,01~0,02 $, ce qui est inférieur aux coûts courants de disponibilité des données sur L2. Cette performance est possible grâce au système de « précompilation » de SP1. Les opérations nécessitant des calculs intensifs, telles que les fonctions de hachage et la vérification de signature, sont gérées avec une structure pré-optimisée, ce qui réduit considérablement les ressources consommées par les zkVM. Jusqu’à présent, l’implémentation de zkEVM avec des zkVM coûtait jusqu’à 10~20 $ par bloc, mais SP1 Reth a réussi à ramener ce chiffre à un chiffre. SP1 et SP1 Reth sont tous deux entièrement open-source, et n’importe qui peut les forker pour créer son propre zkEVM ou ajouter des précompilations pour améliorer les performances. Il s’agit d’un changement qui renverse complètement l’environnement de développement zk existant, coûteux et très difficile, et ouvre une ère où n’importe quel développeur Rust peut participer au système zk. 6. Après tout, ZK est maintenant disponible pour tout le monde Succinct ne concerne pas seulement le potentiel technique de la technologie ZKP, mais aussi la dernière pièce du puzzle : l’accessibilité et la praticité. Sans circuits complexes ni matériel dédié, n’importe qui peut créer des applications à l’aide de ZKP, et la preuve est gérée par un réseau décentralisé. Une époque où tous les rollups peuvent être des rollups ZK, et l’Internet qui ne fonctionne qu’avec la vérité. À ce point de départ se trouvent Succinct et SP1. Aujourd’hui, les ZKP sont la technologie de tout le monde, pas de certains.