<Pourquoi ZK a-t-il échoué, et que cherche à changer Succinct?> 1. Prise de conscience du problème Le créateur de Bitcoin, Satoshi Nakamoto, a exprimé des doutes sur les preuves à divulgation nulle de connaissance (ZKP). Il a déclaré : "Pour prouver que quelque chose n'existe pas, vous devez connaître l'ensemble de la transaction," concluant que l'application des ZKP à la blockchain est structurellement difficile. Cependant, il a également mentionné que "si une solution est trouvée, il serait beaucoup mieux, plus facile et plus pratique de mettre en œuvre Bitcoin." En d'autres termes, tout en reconnaissant les limitations techniques des ZK, il a reconnu que si elles étaient résolues, cela pourrait être un tournant significatif dans l'évolution de la blockchain. Des années plus tard, la communauté cypherpunk et les chercheurs en ZK ont enfin trouvé cette solution. Zcash a été le premier cas à appliquer les ZKP à une véritable cryptomonnaie, et des projets ultérieurs comme StarkWare, zkSync et Scroll ont développé cette technologie comme un moyen clé d'améliorer la scalabilité et la vérifiabilité d'Ethereum. Cependant, il existe encore un fossé dans la réalité. Créer un zkEVM nécessite une expertise approfondie, des années de temps de développement et du matériel haute performance, et la plupart des projets finissent par s'appuyer sur des fournisseurs de preuves spécifiques au lieu d'exploiter leur propre infrastructure ZKP. En conséquence, les ZKP restent un outil complexe que seuls quelques-uns peuvent manipuler plutôt qu'une technologie que tout le monde peut utiliser. 2. Qu'est-ce que Succinct ? Succinct (@SuccinctLabs) est une tentative de s'attaquer directement à ce problème. Sa mission principale est de transformer les ZKP en une infrastructure que tous les développeurs peuvent facilement utiliser, permettant à quiconque de créer un "système sans confiance" sans circuits ou infrastructures complexes. Succinct est une infrastructure qui transforme l'idéal d'un système "sans confiance", que la blockchain a poursuivi, en une réalité pratiquement réalisable. Sans confiance ne signifie pas "non fiable" ; cela fait plutôt référence à une structure qui fonctionne de manière indépendante sans dépendre de la confiance, c'est-à-dire un système mathématiquement vérifiable sans tiers ou autorités centrales. Cependant, l'écosystème blockchain actuel repose encore fortement sur la confiance. Les hacks de ponts, les opérations multi-signatures et les délégations de validateurs centralisés servent tous de preuves que nous devons encore faire confiance à des personnes ou des organisations pour que le système fonctionne. La tentative de briser ces limitations basées sur la confiance est précisément la technologie des preuves à divulgation nulle de connaissance (ZKP). Cette technologie permet de prouver mathématiquement que "ce calcul est correct" sans faire confiance à quiconque, en faisant une base fondamentale pour les systèmes décentralisés. Le problème a été que les ZKP sont trop complexes et lourds pour une utilisation pratique. 3. Pourquoi les ZKP semblent-ils difficiles ? La technologie ZKP a des barrières élevées autant que son potentiel. En particulier, créer un zkEVM nécessite une équipe spécialisée, des années de temps de développement et une infrastructure coûteuse. La plupart des projets zk ont dû concevoir leurs propres circuits, construire des zkVM dédiés et exploiter directement le matériel. Ce n'est qu'après avoir traversé tous ces processus qu'ils pouvaient prétendre être des "ZK rollups." De plus, les zkVM généralistes existants étaient très inefficaces pour générer des preuves. En général, prouver un seul bloc nécessitait un cluster de dizaines de machines haute performance, coûtant entre 10 et 20 dollars par bloc. En raison de ces charges techniques et des coûts opérationnels, de nombreux projets ont soit abandonné l'introduction des ZKP, soit choisi de s'appuyer sur certains fournisseurs de preuves centralisés. 4. La tentative de Succinct @SuccinctLabs considère ces problèmes structurels comme des "problèmes d'infrastructure." Les ZKP sont techniquement puissants, mais la question est qui, comment et à quel coût ils sont mis en œuvre. Par conséquent, Succinct crée un réseau de preuves décentralisé auquel tout le monde peut facilement accéder sans que les projets individuels aient besoin d'exploiter directement l'infrastructure de preuves. Les développeurs n'ont pas besoin de configurer des zkVM complexes ou d'acquérir du matériel. Lorsqu'ils envoient des demandes de preuves au réseau, divers fournisseurs avec différents matériels enchérissent pour les traiter de manière similaire à une enchère. Les coûts de preuve diminuent naturellement grâce à la concurrence, et les fournisseurs génèrent efficacement des preuves en utilisant du matériel haute performance. En conséquence, les développeurs reçoivent des preuves rapides et peu coûteuses, tandis que l'ensemble de l'écosystème bénéficie d'une infrastructure de preuves avec une haute disponibilité et une résistance à la censure. Succinct ne démontre pas seulement des possibilités techniques ; il prouve son rôle dans des domaines où la demande réelle émerge. Un exemple représentatif est l'émergence de la tendance "CLOBs on Blobs" dans l'écosystème @celestia. Des échanges décentralisés utilisant des méthodes de livre de commandes à limite centrale (CLOB) haute performance apparaissent dans l'espace blob de Celestia, entraînant des demandes d'infrastructure pour le traitement de données à grande échelle et des preuves d'état rapides. Des projets comme Hyperliquid et @hibachi_xyz mettent en œuvre des logiques de trading de livre de commandes complexes et de découverte de prix sur la chaîne, ce qui nécessite une scalabilité et des performances au-delà des simples rollups. Ce qui est nécessaire ici, c'est la couche de disponibilité des données haute performance de Celestia et l'infrastructure de preuve ZK décentralisée fournie par Succinct. En fait, Celestia a connu une augmentation rapide de l'utilisation réelle de l'espace blob, et derrière cela, des infrastructures ZK comme Succinct contribuent discrètement. Si Celestia fournit un "stockage de données vérifiable," Succinct est responsable de la création de "transitions d'état vérifiables" sur ces données. Cette combinaison peut être considérée comme le point de départ pour que la technologie ZKP passe de la théorie abstraite à un système fonctionnel dans la réalité. 5. Un zkEVM que tout le monde peut manipuler, SP1 et SP1 Reth En résolvant l'accessibilité de l'infrastructure, Succinct vise également à abaisser les barrières d'entrée du zkVM lui-même en développant un zkVM open-source appelé SP1 (Succinct Processor 1). SP1 est un zkVM généraliste implémenté en Rust, conçu pour que quiconque puisse l'utiliser directement sans le design de circuit complexe requis par les zkEVM existants. Un exemple précoce démontrant le potentiel de SP1 est SP1 Reth. SP1 Reth est un zkEVM de type 1 implémenté avec environ 2 000 lignes de code Rust, facilement configuré en réutilisant des composants de l'écosystème client Ethereum existant (Reth, Revm, Alloy, etc.). Encore plus étonnant est sa performance. Le coût moyen de preuve par transaction Ethereum pour SP1 Reth est seulement d'environ 0,01 à 0,02 $, ce qui est inférieur aux coûts de disponibilité des données couramment encourus dans L2. La raison pour laquelle cette performance est possible est due au système de "précompilation" que possède SP1. Il traite des opérations intensives en calcul comme les fonctions de hachage et les vérifications de signature dans une structure pré-optimisée, réduisant considérablement les ressources consommées par le zkVM. Jusqu'à présent, la mise en œuvre d'un zkEVM avec un zkVM coûtait entre 10 et 20 dollars par bloc, mais SP1 Reth a réussi à réduire cela à des chiffres à un chiffre. SP1 et SP1 Reth sont entièrement open-source et disponibles pour que quiconque puisse les forker et créer son propre zkEVM ou ajouter des précompilations pour améliorer les performances. Cela représente un bouleversement complet de l'environnement de développement zk existant, coûteux et difficile, ouvrant une ère où tout développeur Rust peut participer aux systèmes zk. 6. En fin de compte, ZK est maintenant accessible à tous Succinct comble les derniers morceaux du puzzle du potentiel, de l'accessibilité et de la praticité de la technologie ZKP. Sans circuits complexes ni matériel dédié, quiconque peut créer des applications utilisant les ZKP, et les preuves sont traitées par un réseau décentralisé. Nous entrons dans une ère où tous les rollups peuvent devenir des ZK rollups, et l'internet fonctionne uniquement sur la vérité. Au point de départ de cela se trouvent Succinct et SP1. Maintenant, les ZKP sont une technologie pour tout le monde, pas seulement pour quelques privilégiés.