Preuve ZK : le "Plan Manhattan" d'Ethereum

Auteur original : @0xJaehaerys

Compilation : LlamaC

« Message de recommandation : Cet article présente principalement comment les preuves à divulgation nulle de connaissance (ZK-Proofs) créent un nouveau marché de calcul vérifiable d'une valeur de plusieurs milliards de dollars, ainsi que les avantages technologiques, le positionnement sur le marché et les récents progrès des données écologiques de la société Succinct et de son jeton natif $PROVE dans ce domaine. En tant que tendance de pointe, sa FDV a significativement augmenté en valorisation, veuillez faire vos propres recherches. »

Introduction

Cet article de Uma Roy, cofondatrice de Succinct, marque un changement de paradigme. Il n'annonce pas la naissance d'un nouveau jeton, mais plutôt l'émergence en temps réel d'une nouvelle économie pilotée par les données : l'économie de calcul vérifiable. Pendant des années, la technologie des preuves à divulgation nulle de connaissance (ZK) a été considérée comme la fin théorique de l'évolutivité de la blockchain. Aujourd'hui, elle est devenue une réalité d'ingénierie, ouvrant l'une des compétitions d'infrastructure les plus importantes de la prochaine décennie.

La motivation derrière cette transformation provient de ce que David Hoffman appelle le “plan Manhattan” d'Ethereum : une réarchitecture fondamentale du protocole qui augmente de plusieurs fois son débit, sans sacrifier la décentralisation. Jusqu'à récemment, cela semblait être une vision lointaine. Mais une série de mises à niveau stratégiques du protocole et de percées technologiques clés en ont fait une feuille de route exécutable.

J'ai toujours pensé que ce que nous faisons avec ZK, en particulier le ZK-EVM qui sera finalement appliqué à Ethereum, ressemble un peu au projet Manhattan d'Ethereum… Pendant qu'Ethereum étudie en coulisses le ZK pour conserver toutes ces choses qui amènent aujourd'hui Wall Street sur la chaîne, ils développent également cette technologie extrêmement futuriste.

Ce rapport analyse les fondamentaux de ce marché émergent de plusieurs milliards de dollars. Le rapport expliquera pourquoi la demande pour les preuves ZK n'est pas spéculative, mais inévitable sur le plan structurel ; quantifier l'ampleur de cette opportunité économique ; et détailler comment des entreprises axées sur la plateforme comme Succinct, grâce à leur token natif $PROVE, ont le potentiel de devenir l'infrastructure de cette nouvelle ère de calcul vérifiable.

La nécessité d'un nouveau marché

1.1 Les exigences inévitables de Gigagas et Teragas

Ethereum traverse une transformation majeure, dont la force motrice provient d'une feuille de route de développement centrale qui n'est pas le fruit d'une conjecture, mais plutôt un processus d'évolution établi et inévitable. Cette restructuration même du protocole crée une demande structurelle, prévisible et exponentielle pour les preuves à connaissance nulle (ZK). Dans la quête d'un débit à l'échelle mondiale, Ethereum est destiné à devenir le premier et le plus grand consommateur d'un tout nouveau corps économique de calcul vérifiable d'une valeur de plusieurs milliards de dollars.

Cette demande découle d'une vision claire et ambitieuse à long terme. La feuille de route de Gigagas vise à étendre le débit de la couche d'exécution L1 à 1 Ggas/s, soit environ 10 000 TPS. Cependant, comme l'a souligné le chercheur de la fondation Ethereum Justin Drake, ce n'est que “la partie émergée de l'iceberg”. L'objectif final est de réaliser un écosystème “Teragas” avec un débit total de 1 Tgas/s (environ 10 millions TPS) grâce à la coopération d'environ 1 000 L2. Dans ce modèle, 99,9 % du volume des transactions se déroule sur L2, tandis que L1 évolue vers un centre ultime de sécurité partagée et de règlement. Comme le dit Drake :

« 10 000 TPS n'est absolument rien. Pour servir le monde entier, nous devons atteindre un niveau de 10 millions de transactions par seconde et 1 teragas par seconde. Comment atteindre cet objectif ? La réponse est L2. »

Les propositions telles que l'EIP-7938 ont officiellement établi cette expansion exponentielle, cette proposition soutient que la limite de gaz L1 augmente automatiquement par 3 fois chaque année. Ce mécanisme vise à réaliser une croissance stable et prévisible, créant ainsi une courbe de demande fiable pour les ressources de calcul nécessaires à la sécurité du réseau.

Cette transformation sera gérée par un plan de “mise en œuvre progressive” sur plusieurs années, qui réduit systématiquement les risques de processus. Ce plan sera mis en œuvre par étapes et exigera finalement, d'ici 2027, l'utilisation de preuves ZK pour valider la validité des blocs, rendant ainsi la génération de preuves une fonction essentielle et économiquement indispensable du protocole. En intégrant cette exigence directement dans l'évolution du protocole, Ethereum établit en réalité une politique industrielle pour le domaine ZK, fournissant le signal économique nécessaire à la rationalité des investissements en capital significatifs pour l'infrastructure future.

1.2 Problèmes de finalité : Vitalik Buterin sur pourquoi ZK est crucial pour L2

L'urgence de cette transformation va bien au-delà de L1. Elle aborde le principal goulot d'étranglement de l'écosystème L2 actuel : les frictions et les risques liés à la lenteur de la finalité des retraits. Comme l'a récemment déclaré Vitalik Buterin, co-fondateur d'Ethereum, atteindre des temps de retrait rapides est un objectif clé, et pour L2, “c'est même plus important que la deuxième phase”.

À l'époque de ZK 1.0, les entreprises que vous avez mentionnées ont combiné la technologie ZK avec des cas d'utilisation commerciaux… ZKSync est à la fois une entreprise L2 et une entreprise ZK… Ce que nous faisons, c'est que nous pouvons permettre à des entreprises qui ne savent rien sur ZK, comme Optimism ou Arbitrum, de bénéficier des avantages de ZK, car ZK est devenu si simple qu'elles peuvent se concentrer sur des choses vraiment importantes, comme l'expansion des affaires ou l'adoption des utilisateurs.

Dans une explication détaillée, Buterin a souligné le problème central de la conception actuelle des Optimistic Rollups :

“Attendre une semaine pour retirer des fonds est vraiment trop long pour les gens, même pour un pont inter-chaînes basé sur l'intention… Si les fournisseurs de liquidités doivent attendre une semaine, le coût de leurs fonds deviendra trop élevé. Cela incite grandement les gens à se tourner vers des solutions dont les hypothèses de confiance sont inacceptables (comme les signatures multiples/MPC), ce qui va à l'encontre de l'objectif même de l'existence des L2.”

Il a proposé une solution qui consiste à se tourner résolument vers un système de preuve d'efficacité basé sur la technologie ZK. Bien qu'il reconnaisse qu'il y a eu des compromis dans le passé, il a souligné les changements récents dans le paysage technologique :

“Historiquement, la technologie des preuves ZK a toujours été immature et coûteuse, ce qui a fait de la preuve Optimistic un choix judicieux et sûr. Mais récemment, cette situation évolue rapidement.”

Selon lui, en réduisant le temps de retrait natif à moins d'une heure à court terme et en réalisant finalement un temps de retrait de 12 secondes à moyen terme, les preuves ZK peuvent “renforcer davantage le statut de l'Ethereum L1 en tant que lieu par défaut d'émission d'actifs et centre économique de l'écosystème Ethereum”. Cette reconnaissance de haut niveau considérera la transition vers ZK non seulement comme une préférence technologique, mais comme une nécessité stratégique pour la sécurité et l'intégrité économique de l'ensemble de l'écosystème Ethereum.

Cette flexibilité attire non seulement les développeurs de logiciels, mais aussi les fabricants de matériel professionnels. La société leader du secteur en matière d'accélération matérielle ZK, Cysic, a annoncé que son ASIC “compatible avec zkVM” sera lancé prochainement et prendra en charge nativement SP1. Cette entreprise de matériel spécialisé prévoit de fournir un soutien natif, ce qui témoigne de la forte confiance du secteur dans SP1 en tant que norme potentielle pour le calcul vérifiable, comblant le fossé entre les logiciels open source et les puces dédiées.

Deux, quantifier des opportunités de plusieurs milliards de dollars

2.1 L'économie unitaire de la preuve

La viabilité économique d'un écosystème ZK à grande échelle dépend du coût unitaire pour prouver une quantité de calcul donnée. Bien que les premiers systèmes ZK aient été notoirement coûteux, une trajectoire de développement similaire à celle de la “loi de Moore” a considérablement réduit leurs coûts. Lors de l'événement “Frontiers” organisé par Paradigm, John de Succinct a déclaré que le coût moyen de preuve par transaction se situe entre 0,01 cent et 0,1 cent, décrivant ce coût comme “pratiquement négligeable par rapport à d'autres coûts comme DA”.

À mon avis, le mécanisme d'incitation est très simple. Comme aujourd'hui, il suffit de s'appuyer sur les frais de transaction et le MEV… Le coût est d'environ 0,01 cent. Tant que les utilisateurs individuels sont prêts à payer ce coût, cela suffit à compenser les coûts de preuve.

On prévoit que ce coût continuera de diminuer. Justin Drake, chercheur à la fondation Ethereum, a formulé une prédiction clé, prévoyant qu'avec l'amélioration exponentielle continue du matériel et des logiciels, le coût à long terme et à grande échelle de la preuve L1 se stabilisera entre 0,0001 et 0,001 dollar par Mgas/s (millions de gaz par seconde). Cette baisse rapide des coûts transforme ZK d'une technologie de niche et coûteuse en un outil pratique et commercialisé, établissant ainsi une base pour un marché énorme.

2.2 Taille du marché - Prévisions ascendantes (point de vue conservateur)

Un modèle financier conservateur et bottom-up estime les revenus annuels du marché des preuves ZK en combinant la croissance du volume prévu avec les estimations de coûts. Selon ce modèle, des revenus non altruistes significatifs pour les preuves L1 devraient commencer à apparaître à partir de 2027, lorsque le protocole exigera l'utilisation de preuves ZK pour valider l'intégrité des blocs.

Si vous imaginez que le coût de chaque transaction n'est même que de 0,1 cent, et que vous traitez un TPS au niveau de Solana, par exemple 4000-5000 transactions par seconde, alors en multipliant tous ces chiffres, la demande de preuve finale est d'environ 100 millions de dollars par an.

Tableau 1 : Prévisions de demande et de revenus ZKP pour l'écosystème L2 (2025-2030)

Méthodologie — Prévisions de la demande et des revenus ZKP pour l'écosystème L2 (2025–2030)

• Quantité L2 et taux de couverture ZK
• À partir de 25 L2 en 2025, avec une extension à 1000 L2 d'ici 2030.
• Le taux de couverture représente la part des L2 basés sur ZK chaque année, passant de 50 % à 85 %.
• Le débit moyen de chaque ZK L2
• Établi pour être égal au débit L1 de la même année, afin de respecter l'hypothèse de “l'agrégation teragas” (c'est-à-dire que la capacité de chaque L2 augmente avec l'expansion de la couche de base).
• Il s'agit d'une hypothèse optimiste, pour simplifier, elle compresse la distribution du débit des queues lourdes en une valeur moyenne uniforme.
• Calcul du volume total :

TotalThroughput(Mgas/s)=(L2Count×CoverageRate)×AvgThroughputperZKL2

• Hypothèse de tarification
• Le prix initial par Mgas est de 0,0104 USD (référence Katana, 2025).
• Grâce à l'efficacité matérielle, à la concurrence sur le marché des validateurs et à l'optimisation au niveau du protocole, les coûts devraient diminuer considérablement à 0,0004 dollar d'ici 2030.
• Utiliser l'interpolation linéaire des prix entre l'année de début et l'année de fin.
• Revenu annuel :

RevenuAnnuel=TotalDébit×PrixparMgas×31,536,000(secondes/an)

Tableau 2 : Taille du marché potentiel des preuves ZK (TAM) ( de 2025 à 2030, méthode ascendante )

• Croissance du nombre de L2 - passant de 25 L2 en 2025 à 1 000 L2 en expansion linéaire d'ici 2030.
• Taux de couverture ZK — Seule une partie des L2 adopte la preuve ZK : 50 % en 2025, augmentant à 85 % d'ici 2030.
• Le débit moyen de chaque ZK L2 - fixé à être égal au débit L1 de la même année (c'est une hypothèse optimiste). Cela est cohérent avec la logique de la feuille de route “teragas”, à savoir que les L2 matures atteindront la capacité des L1.
• Volume total L2 — La formule de calcul est : Nombre de ZK L2 × Débit moyen par ZK L2
• Parmi eux, le nombre de ZK L2 = nombre total de L2 × taux de couverture.
• Le prix par million de Gas — fixé au début de 2025 à 0,0104 dollars (basé sur le coût de preuve de Katana L2), et diminuant linéairement jusqu'à 0,0004 dollars en 2030, pour refléter les gains d'efficacité apportés par zkVM, le matériel et la concurrence sur le marché.
• Valeur totale potentielle du marché L2 pour l'année :

TotalL2Throughput(Mgas/s)×PrixparMgas×SecondesperAnnéeTotalL2Throughput(Mgas/s)×PrixparMgas×SecondesperAnnée

• Montant total potentiel du marché L1 annuel — À partir de 2027 (lorsque la preuve de bloc L1 sera mise en œuvre), le tarif sera le même que celui de L2 de cette année en $/Mgas, et le débit de L1 sera basé sur la feuille de route d'extension d'Ethereum.
• Autres besoins — Estimation prudente de 10 % du marché potentiel total de L2, couvrant les ponts ZK, les coprocesseurs et les applications vérifiables (ZKML, confidentialité sur la chaîne).
• Valeur totale du marché potentiel : Valeur totale du marché potentiel L1 + Valeur totale du marché potentiel L2 + Autres demandes

2.3 Estimation de la taille du marché - Vision descendante (Teragas fin)

Un autre modèle de haut en bas, basé sur la feuille de route entièrement réalisée de l'Ethereum “Gigagas” et “Teragas”, indique que la taille potentielle du marché pourrait être d'un ordre de grandeur supérieur.

Tableau 3 : Prévisions de capacité de gas Ethereum L1 (2027-2030)

Tableau 4 : Prévisions de taille de marché et de revenus pour les preuves ZK (approche descendante, 2027-2030)

• Méthodologie (pour ce tableau de haut en bas)
• L1 débit — Basé sur la feuille de route d'extension d'Ethereum, objectif : 37,5 → 1 000 Mgas/s (2027–2030).
• Quantité L2 — Augmenter de 300 à 1 000 entre 2027 et 2030.
• Taux de couverture ZK — seulement une partie des L2 utilise des preuves ZK, ce ratio est passé de 60 % à 85 %.
• Le débit moyen de chaque ZK L2 - fixé pour être égal au débit de L1 de la même année (par exemple, 37,5 Mgas/s en 2027, 1 000 Mgas/s en 2030), afin de correspondre à l'hypothèse de débit total au niveau teragas.
• Prix par Mgas — en baisse grâce aux améliorations du matériel des validateurs et à la concurrence sur le marché : 0,00075 $ (2027) → 0,00040 $ (2030).
• L2 Volume total :

AggreGateL2Throughput=(L2Count×ZKCoverage)×L1Throughput

• Formule de revenu : L1
• Revenu = L1_Débit × Prix × Nombre de secondes par an
• Revenus L2 = AggreGate_L2_throughput × Prix × Nombre de secondes par an
• Marché total = Revenu L1 + Revenu L2

2.4 Qui va payer pour la preuve ?

Cette demande de plusieurs milliards de dollars ne sera pas financée par l'inflation des protocoles, mais soutenue par des modèles de revenus solides et diversifiés des L2 et des chaînes d'applications. Comme l'explique un article d'analyse de Conduit, les projets ayant leur propre chaîne disposent d'au moins sept leviers de revenus différents, garantissant qu'ils peuvent se permettre les coûts d'exploitation des preuves ZK.

Tableau 5 : Analyse comparative des flux de revenus L2

Celui qui détient la chaîne détient le monde : Les 7 leviers de revenus de Rollup

Trois, les avantages techniques de Succinct

3.1 La preuve en temps réel est devenue réalité

Si aucune avancée majeure récente sur les performances des preuves ZK n'est réalisée, la vision entière de “Gigagas” restera au stade théorique. Comme l'a dit John de l'équipe Succinct, réaliser des “preuves en temps réel” – c'est-à-dire la capacité de générer une preuve ZK pour n'importe quel bloc Ethereum en 12 secondes – est le “moment d'alunissage dans le domaine des ZK”.

Ce changement signifie non seulement une amélioration des performances, mais aussi une révolution en termes d'accessibilité pour les développeurs. Comme l'explique Uma Roy, cofondatrice de Succinct, le développement ZK nécessitait auparavant une “équipe de 40 docteurs en cryptographie” et des centaines de millions de dollars de capital pour créer un seul système de preuve spécifique à une application. Avec l'émergence du zkVM universel, ce modèle a été complètement brisé. Roy déclare : “En gros, vous passez de la nécessité de 40 docteurs en cryptographie et de coûts de recherche et développement de plusieurs dizaines ou centaines de millions de dollars, à un projet qui peut être réalisé en un week-end.”

À travers deux analogies puissantes dans le podcast, on peut mieux comprendre cette percée :

• De l'ASIC au CPU : toute l'industrie passe de circuits intégrés spécifiques (ASIC) qui ne peuvent résoudre qu'un seul problème à des modèles de CPU généraux, c'est-à-dire qu'un moteur comme le SP1 peut prouver qu'il peut exécuter n'importe quel programme.
• Modèle de base de la cryptographie : La fonction de SP1 est similaire à celle des modèles de base dans le domaine de l'intelligence artificielle. Tout comme ChatGPT rend l'IA accessible grâce à l'utilisation exclusive de l'anglais, SP1 rend ZK facile à utiliser grâce à un code standard. “Tout comme dans l'intelligence artificielle et les modèles de base, vous entrez en anglais et vous pouvez utiliser l'IA,” a souligné Roy, “ici, il vous suffit d'entrer un code ordinaire pour utiliser ZK, c'est aussi simple que ça.”

Le SP1 HyperCube de Succinct est la preuve décisive de cet accomplissement. Lors d'une démonstration marquante, le système a réussi à prouver 93 % de tous les blocs en temps réel de la blockchain Ethereum mainnet en 12 secondes. Les 7 % restants des blocs ont pris plus de temps, non pas par des limitations techniques, mais en raison d'une mauvaise tarification de certaines opérations dans la table de facturation du Gas EVM (comme la précompilation Blake2). Ce jalon confirme clairement que la preuve en temps réel est techniquement faisable.

3.2 Moteur de progrès : SP1 zkVM

La technologie essentielle de Succinct est SP1, une machine virtuelle à connaissance nulle open source et haute performance (zkVM). SP1 est un actif stratégique conçu pour répondre aux tâches de calcul vérifiables les plus variées, propulsant l'industrie vers l'ère “ZK 2.0”.

Je pense que le succès de l'émission du jeton $PROVE peut presque être considéré comme une validation de zKVM en tant que classe d'actifs investissable… C'est assez incroyable, vous savez, le premier jour de son émission, sa valorisation entièrement diluée a en réalité dépassé celle des projets ZK Rollup tels que ZKSync, Scroll et Starknet.

« Notre objectif est d'éliminer toute la complexité de la cryptographie, permettant aux développeurs d'écrire du 'code ordinaire' avec des langages standards comme Rust, et d'obtenir des preuves ZK. »

• Facile à utiliser : En tant que RISC-V zkVM, SP1 permet aux développeurs d'utiliser des bibliothèques de code éprouvées et des langages familiers, sans avoir à apprendre des concepts cryptographiques complexes.
• Universalité : Choisir RISC-V comme jeu d'instructions cible ne suit pas seulement la tendance générale de l'écosystème ZK, mais surtout, cela reste cohérent avec la feuille de route à long terme d'Ethereum L1.
• Trajectoire de performance : Les améliorations continues du SP1 présentent une dynamique « à la Moore ». Le temps de preuve a été réduit de plusieurs dizaines de minutes en 2023 à quelques secondes en 2025, avec un rythme d'amélioration bien supérieur au taux de croissance annuel de 3 fois la demande de calcul proposé par la feuille de route d'Ethereum.

La polyvalence de SP1 ne se limite pas à la mise en œuvre complète de ZK-rollup. Sa puissante capacité en tant que zkVM universel a donné naissance à un design hybride novateur pour répondre à des besoins spécifiques du marché. Un exemple typique est son application dans la preuve d'erreur à connaissance nulle. Des projets comme Facet utilisent un système basé sur OP Succinct Lite, transplantant leur fonction de conversion d'état en Rust (via Kona et REVM), et compilant en fichiers binaires SP1 ELF. Cela leur permet d'offrir à la fois le “scénario idéal” à faible coût du système optimiste et de conserver la caractéristique de “résolution de transaction unique” de la preuve ZK en cas de défi. Cela démontre la capacité de SP1 à servir un modèle de sécurité cryptographique plus large, élargissant ainsi son potentiel de marché.

Avec l'arrivée de validateurs de plus en plus matures et professionnels, l'efficacité de ce modèle de marché est en train d'être vérifiée en temps réel. Un développement important est que @cysic_xyz (une entreprise leader en accélération matérielle ZK) est maintenant en ligne en tant que validateur multi-nœuds sur le réseau de validateurs Succinct. Cysic n'est pas un fournisseur de calcul général ; ils “développent entièrement de manière autonome toute la pile technologique”, y compris du matériel sur mesure conçu spécifiquement pour les charges de travail ZK et des clusters GPU à haut débit.

3.3 L'économie de la preuve en temps réel

Ce niveau de performance est non seulement techniquement réalisable, mais aussi économiquement accessible. Établir un cluster de preuve locale capable de fournir des preuves en temps réel nécessite un investissement en capital estimé à

100 000 à 300 000 dollars. C'est beaucoup moins cher que d'utiliser des fournisseurs de services cloud, car selon John, “NVIDIA réduit en réalité les performances des cartes graphiques… c'est fait intentionnellement pour obtenir des profits plus élevés.”

Cette faisabilité est en accord avec l'initiative “Proof of Home” de la Fondation Ethereum, qui fixe une limite de consommation d'énergie cible de ≤10 kW. Justin Drake a déjà exprimé son objectif personnel de prouver la faisabilité de cette démarche :

“C'est essentiellement ce que j'espère accomplir cette année : prouver en temps réel chaque bloc Ethereum… et le faire depuis chez moi.”

Quatre, tout peut être ZK化

4.1 Nouvel espace de conception pour l'application

Bien que l'expansion d'Ethereum soit actuellement un marché d'une valeur de plusieurs milliards de dollars, la véritable opportunité à long terme réside dans la “ZKification” de tout.

Comme l'a souligné John de l'équipe Succinct, un zkVM universel signifie que “les améliorations que nous avons apportées à la preuve en temps réel d'Ethereum seront également applicables à d'autres calculs.”

4.2 Étude de cas succincte

Le SP1 de Succinct a déjà pris en charge diverses applications :

• Échange vérifiable (Hibachi) – Construire un échange de contrats à terme perpétuels axé sur la confidentialité en utilisant ZK, où l'intégrité du carnet de commandes hors chaîne peut être vérifiée de manière cryptographique.
• Interopérabilité inter-chaînes (Celestia) – Utilise la technologie Succinct pour réaliser un “pont paresseux”, c'est-à-dire utiliser des preuves ZK pour vérifier de manière sécurisée et efficace l'état d'autres chaînes.

Nous avons toujours étudié un concept appelé « pont d'inertie »… Si l'environnement d'exécution n'est pas présent sur la chaîne, il est très difficile pour votre chaîne de vérifier l'état des autres chaînes. Par conséquent, nous travaillons dur pour réaliser cela grâce à des preuves ZK.

• DeFi L2s (@katana) – Katana, une L2 axée sur DeFi, lancée sur Polygon via Conduit, utilise la technologie de preuve ZK Succinct pour des règlements rapides et sécurisés, et se connecte à l'Agglayer de Polygon.
• Infrastructure de base DeFi (Lido) : Lido, en tant que leader dans le domaine du staking liquide, utilise SP1 sur son réseau de test pour soutenir un “oracle de comptabilité sans confiance”. Ce système améliore la sécurité en suivant de manière vérifiable les soldes d'ETH staké, sans avoir besoin de faire confiance à un administrateur.
• Pont inter-chaînes avancé (Across) : Le protocole Across collabore avec Succinct pour générer des preuves ZK sur la couche de consensus d'Ethereum. Cela leur permet de transférer en toute sécurité et efficacement l'état d'Ethereum vers de nombreuses autres chaînes, ce qui constitue une fonctionnalité clé pour réaliser l'interopérabilité.
• Rollups implacables (Facet) : Facet est le premier rollup de seconde phase universel, fournissant une étude de cas solide pour l'adoption de la technologie Succinct. Pour atteindre son objectif de devenir un “Rollup implacable” sans clé d'administrateur, Facet a supprimé le pont officiel et les risques de sécurité qui y sont associés. Il n'utilise pas de jeton de gaz de pont, mais plutôt un jeton natif (FCT), dont la quantité minée est proportionnelle à l'ETH L1 détruit lors de la publication de transactions par les utilisateurs. Cette architecture est sécurisée par un système hybride de preuve de fraude ZK basé sur la technologie Succinct. Lorsqu'une proposition de racine d'état est contestée, une preuve ZK est générée par SP1 zkVM pour résoudre clairement le différend. Cela permet à Facet de rester une “plateforme légère”, offrant un calcul pur et implacable, tout en laissant la gestion des actifs et les fonctions de pont à un écosystème concurrent composé d'applications choisies par les utilisateurs.

4.3 Frontière en expansion constante : revenus des ponts inter-chaînes ZK, des coprocesseurs et des applications vérifiables

Le modèle de marché ascendant comprend également une catégorie de « demande autre » en forte croissance, englobant les ponts inter-chaînes ZK, les coprocesseurs ZK et d'autres applications vérifiables.

Selon des estimations prudentes, d'ici 2030, les revenus annuels dans ce secteur devraient dépasser 126 millions de dollars.

Avec la maturité de ZKML et des solutions de confidentialité sur la chaîne, ce domaine pourrait encore s'étendre.

Cinq : Succinct et $PROVE

5.1 Réseau de validateurs : un marché général et sans autorisation

La stratégie centrale de Succinct ne se limite pas à construire un meilleur prouveur, mais consiste à établir un marché de confiance pour la preuve. Cette offre mondiale n'est pas une hypothèse, mais est composée d'opérateurs expérimentés. Le réseau a déjà attiré de nombreux prouveurs, souvent appelés “anciens mineurs”, qui se trouvent principalement en Asie, disposant d'une infrastructure prête à l'emploi, d'une électricité à faible coût et de GPU grand public disponibles.

Son marché bilatéral connecte l'offre mondiale de puissance de calcul à la demande croissante de preuves ZK grâce à un système d'enchères en temps réel.

Nous construisons un marché bilatéral : le réseau de prouveurs succincts. Il vise à commercialiser le processus de génération de preuves ZK.

Cette dynamique concurrentielle est le moteur de l'efficacité du marché, exerçant une pression à la baisse constante sur les prix et les délais, ce qui bénéficie directement aux consommateurs.

5.2 $PROVE Token : Le moteur économique du réseau

Le modèle économique entier de l'écosystème Succinct est condensé dans son jeton natif $PROVE.

Ce jeton a deux fonctions symbiotiques principales :

• Paiement – $PROVE est la seule monnaie sur le marché de ce réseau. Tous les frais de génération de preuves doivent être payés en $PROVE , établissant ainsi une demande de transaction directe pour ce jeton.
• Mise en jeu pour garantir la sécurité – Pour participer à l'enchère de preuve et gagner des revenus, les prouveurs doivent miser $PROVE en tant que dépôt économique. Cela est essentiel pour la fiabilité du réseau, car cela vise à prévenir les “attaques malveillantes” (griefing) – c'est-à-dire que le prouveur s'engage à générer une preuve mais finit par ne pas livrer, causant ainsi des retards graves pour des applications comme L2. Comme le dit Roy, “les prouveurs ne devraient pas être en mesure de mener des attaques malveillantes… ce serait une très mauvaise expérience utilisateur”. Si un prouveur ne respecte pas son engagement, une partie de sa mise sera confisquée pour s'assurer qu'il “prend ses responsabilités”.

5.3 Roue d'accumulation de valeur

Tableau 6 : Modèle d'utilité et d'accumulation de valeur du jeton $PROVE

5.4 Données du premier jour : Mise en pratique de l'argumentation

L'efficacité de ce modèle économique a été prouvée dès le premier jour de mise en ligne du réseau.

Le co-fondateur Uma Roy a rapporté dans un message public :

Roy a souligné qu'avec plus de 35 clients existants dans le cluster privé Succinct prêts à passer au réseau public, la demande de preuves va inévitablement “croître de manière parabolique”.

Conclusion

La grande feuille de route d'extension d'Ethereum, combinée à la maturité des technologies de connaissance zéro, crée l'un des marchés d'infrastructure émergente les plus importants de la prochaine décennie. Le changement de priorité stratégique de la Fondation Ethereum, associé à ses investissements financiers, a transformé un idéal théorique en une course d'ingénierie. Les percées technologiques menées par des équipes comme Succinct ont rendu l'objectif de cette course - des preuves en temps réel et une extensibilité à grande échelle de L1 - une réalité réalisable.

L'ère des exécutions répétées touche à sa fin. L'ère de la vérification cryptographique s'ouvre.

Dans ce nouveau paradigme, des fournisseurs d'infrastructure décentralisés comme Succinct Prover Network deviendront des fournisseurs indispensables de “pioches et de pelles” dans cette nouvelle économie émergente.

Le modèle économique du jeton $PROVE intègre des fonctions de paiement et de staking, créant ainsi un puissant effet de levier qui lie directement la croissance du réseau à l'accumulation de la valeur du jeton. Par conséquent, l'investissement

$PROVE n'est pas seulement un pari sur une seule application, mais un investissement direct dans la couche de calcul fondamental et vérifiable de la prochaine génération d'Internet.

Prouver le logiciel dans le monde entier.