Les nouvelles forces du marché des zk-SNARKs : Analyse approfondie du Succinct Prover Network

1. Aperçu

La technologie des zk-SNARKs devient rapidement l'un des sujets les plus populaires dans le domaine du Web3. Avec la maturation croissante des applications basées sur ZK et l'intégration stratégique des preuves ZK dans le noyau de l'infrastructure blockchain, la technologie ZK a évolué d'un concept académique de niche à un point focal d'intérêt pour les développeurs et le marché.

Pour répondre à la demande croissante de preuves intensives en calcul, une nouvelle couche d'infrastructure spécialisée a vu le jour. Le Succinct Prover Network est un protocole basé sur Ethereum, conçu pour construire un marché décentralisé pour la génération de zk-SNARKs. Ce réseau adopte une architecture vApp, alliant haute performance et sécurité vérifiable. Au cœur du système se trouve son jeton natif, agissant comme moteur économique pour le développement de ce nouveau marché de biens numériques émergents.

Cet article explorera en profondeur l'architecture du Succinct Prover Network, les fonctionnalités des tokens et le modèle économique, ainsi que la dynamique du marché de son écosystème.

2. Architecture du réseau

L'architecture du Succinct Prover Network est une vApp basée sur Ethereum. Ce modèle vise à offrir aux utilisateurs une expérience hautes performances similaire aux applications Web traditionnelles, tout en préservant la sécurité et les garanties de confiance des protocoles décentralisés.

Séparation de l'exécution et du règlement

Le cœur de l'architecture vApp réside dans la séparation de l'exécution et du règlement, ce qui est similaire au modèle de conception des séquenceurs Layer 2.

• L'exécution hors chaîne est gérée par un service haute performance qui gère en temps réel le processus d'enchères, l'attribution de preuves et les interactions avec les utilisateurs. Cela permet aux utilisateurs de soumettre des demandes et de recevoir des mises à jour, sans avoir à se soucier des délais de confirmation des blocs.
• Le règlement sur la chaîne se fait sur le réseau principal d'Ethereum, où le réseau principal utilise des zk-SNARKs pour vérifier régulièrement l'état du réseau et l'exactitude des opérations hors chaîne.

Cette méthode hybride garantit que les fonds des utilisateurs sont toujours protégés par des contrats Ethereum et peuvent être retirés directement, tout en maintenant une opération de marché rapide et efficace.

Composants clés

Le réseau est composé de deux composants principaux :

• Service d'enchères hors chaîne : C'est l'entité principale hors chaîne responsable de la correspondance des demandes des utilisateurs avec les prouveurs. Elle reçoit les demandes de preuve, collecte les enchères, exécute les enchères et attribue le travail. Les utilisateurs interagissent directement avec ce service via des appels RPC pour obtenir une expérience en temps réel.
• Contrats de règlement on-chain : un ensemble de contrats intelligents déployés sur Ethereum, servant de point d'ancrage de confiance pour le réseau. Ces contrats sont responsables du règlement des racines d'état régulièrement soumises par les enchérisseurs et des preuves zk-SNARKs, garantissant ainsi l'intégrité du réseau.

Base de données vérifiable

Pour garantir l'intégrité des opérations hors chaîne, le service d'enchères est construit sur une base de données vérifiable. Cette architecture backend permet à quiconque de vérifier de manière indépendante toutes les mises à jour de solde et l'état d'exécution des preuves. Elle comprend :

• Une base de données qui stocke le solde des utilisateurs, les demandes en attente et l'état d'exécution. Cette base de données prend en charge les opérations de lecture et d'écriture.
• Un prouveur basé sur SP1, conçu pour lire la base de données et calculer le nouvel état du réseau avec un ZK prouveur. Cette preuve validera toutes les transitions d'état, telles que la mise à jour des soldes et la distribution des preuves, puis sera réglée sur Ethereum pour une vérification publique.

3. Économie des tokens

Le jeton natif du réseau est un jeton utilitaire basé sur l'Ethereum ERC-20, et constitue le nerf économique du Succinct Prover Network. Sa conception comprend trois fonctions principales : faciliter les paiements, garantir la sécurité du réseau et coordonner les intérêts de tous les participants.

Utilité principale

L'utilité de ce jeton se manifeste de plusieurs manières :

• Paiement : le jeton natif est le seul jeton de paiement dans le réseau. Si un demandeur souhaite obtenir une preuve de son calcul, il doit payer des frais correspondants au prouveur, les frais étant payés en jetons natifs. Cela crée une demande de transaction directe et continue pour les jetons.
• Sécurité : Garantir la sécurité du réseau par le staking. Les validateurs doivent staker des tokens natifs pour participer aux enchères, garantissant ainsi leur bonne foi. Si un validateur agit de manière malveillante ou manque la date limite, une partie de son staking sera confisquée.
• Incitation : Le jeton natif est utilisé pour inciter les validateurs à investir dans l'infrastructure et à continuer d'offrir des prix compétitifs.

Approvisionnement et émission de jetons

L'offre initiale de jetons natifs est de 1 milliard, mais il n'y a pas de limite fixe, car le protocole comprend un mécanisme d'émission continue de jetons. Le taux d'émission des nouveaux jetons n'est pas constant, mais est un paramètre contrôlé par le système de gouvernance décentralisé du réseau, permettant à la communauté d'ajuster dynamiquement les incitations au fur et à mesure que le réseau se développe.

Staking et Délégation

Pour garantir la sécurité économique, tout utilisateur peut mettre en jeu des jetons natifs. Le système prend en charge deux principales méthodes :

• Staking des validateurs : Le staking de jetons natifs par les validateurs leur confère le droit de participer aux enchères et d'exécuter des demandes de preuve.
• Délégation : Tout détenteur de jetons natifs peut déléguer ses jetons à un validateur sélectionné. Cela leur permet de contribuer à la sécurité du réseau et de gagner une part des frais perçus par le validateur sélectionné, sans avoir à exécuter de matériel eux-mêmes. Un déléguant ne peut déléguer qu'à un seul validateur à la fois.

Lorsque la demande de preuve est exécutée avec succès, les frais payés par le demandeur et les jetons émis par le réseau seront répartis entre le prouveur gagnant, ses délégataires et le trésor du protocole.

Gouvernance

Les détenteurs de jetons natifs sont les gouverneurs finaux du protocole, ayant le droit de voter sur des paramètres clés du réseau. Cela inclut la définition des frais de réseau, l'ajustement des exigences de mise et la décision sur la forme du mécanisme d'enchères.

4. Mécanisme d'enchères et de demandes

Le Réseau de Preuve Succincte adopte une structure de marché soigneusement conçue pour faciliter la découverte des prix et attribuer les tâches de génération de preuves aux prouveurs les plus efficaces. Ce système est construit de manière flexible et peut répondre à un large éventail de besoins des utilisateurs grâce à différents modes de service.

Mécanisme d'enchères

Le réseau utilise un système d'enchères en temps réel pour allouer les demandes. Ce mécanisme d'enchères permet une découverte des prix efficace avec un délai minimal et utilise des jetons natifs pour le paiement.

• Version initiale : La première version de ce réseau utilise une enchère inversée simple pour attribuer les demandes de preuve au preneur de preuve ayant proposé le prix le plus bas.
• Évolution future : Au fil du temps, le mécanisme peut être transféré vers un mode de "compétition de preuve" grâce à un mécanisme de gouvernance. Ce mode vise à distribuer les récompenses à un plus large groupe de prouveurs, augmentant ainsi le degré de décentralisation.

L'ensemble du processus d'enchères est géré par un service d'enchères hors chaîne, mais tout le monde peut utiliser des zk-SNARKs publiés régulièrement sur la chaîne pour vérifier indépendamment les résultats.

Expérience utilisateur

Le processus de demande et d'exécution des preuves est conçu pour être simple et sécurisé.

• Pour les demandeurs : les utilisateurs peuvent facilement demander une preuve en transférant d'abord des jetons natifs au commissaire-priseur pour payer les frais. Ensuite, ils envoient une demande de preuve via un appel RPC, en spécifiant le programme à prouver, la date limite et le montant maximum qu'ils sont prêts à payer. Le commissaire-priseur hors chaîne associera cette demande avec le prouveur éligible ayant le prix le plus bas. Une fois la preuve terminée et soumise, les frais seront transférés, et l'ensemble de la transaction sera réglé sur Ethereum via une seule preuve ZK, permettant au demandeur de vérifier si elle a été traitée correctement.
• Pour les prouveurs : les prouveurs compétissent pour le droit d'exécuter des requêtes. Pour être éligible à une enchère spécifique, les tokens natifs mis en jeu par le prouveur doivent répondre aux exigences minimales établies par le demandeur. Les prouveurs qualifiés soumettent des offres aux enchérisseurs. Le prouveur ayant la plus basse offre remporte l'enchère et obtient la preuve, qu'il doit compléter avant la date limite spécifiée. S'ils réussissent, ils recevront un paiement sous forme de tokens natifs. En cas de non-soumission de la preuve dans les délais, leur dépôt sera réduit.

Mode de service

Le réseau offre aux utilisateurs de la flexibilité grâce à deux modes de service différents :

• Demande à la demande : Les utilisateurs peuvent envoyer des demandes au réseau selon leurs besoins, ces demandes entreront dans une enchère publique ouverte à tous les prouveurs en ligne. C'est un choix idéal pour les utilisateurs recherchant les prix les plus compétitifs ou pour les applications ayant des besoins importants occasionnels.
• Réservation hors chaîne : Pour les utilisateurs nécessitant une garantie de fiabilité plus forte ou des demandes fréquentes et à grande échelle, le réseau prend en charge la signature d'accords de service hors chaîne (SLA) avec des prouveurs spécifiques. Ces accords peuvent mettre sur liste blanche des prouveurs approuvés, leur conférant un droit exclusif de soumission. En raison de la nature à long terme de ces accords, les prix peuvent être plus avantageux.

5. Dynamiques de marché et écosystème

Un système économique cryptographique réussi nécessite non seulement une technologie robuste, mais aussi un écosystème de participants dynamique et des stratégies claires pour générer des effets de réseau. Les tokens natifs sont au cœur d'un système économique conçu pour coordonner l'action de participants rationnels et indépendants dans un marché prospère.

Marché bilatéral

Ce réseau a établi un marché bilatéral classique, qui est un modèle courant dans le domaine de DePIN. Dans ce cas, l'infrastructure coordonnée est le matériel informatique nécessaire pour générer des zk-SNARKs (GPU, FPGA, ASIC). Les deux parties sont :

• Demandeurs (requérants) : ce groupe est composé de protocoles blockchain, d'applications et de développeurs qui ont besoin de ZK pour mener leurs activités. Ces requérants créent une demande organique pour les services du réseau et constituent la principale source de revenus, sous forme de paiements en tokens natifs qui affluent dans l'écosystème.
• Fournisseur (preuveur) : Ce groupe est composé d'individus et d'entités professionnelles possédant et exploitant le matériel informatique nécessaire pour générer des zk-SNARKs. Ils investissent dans des infrastructures nécessitant des capitaux intensifs pour concurrencer la fourniture de services, gagnant des frais et des récompenses réseau exprimés en jetons natifs.

Garantie de l'écosystème

Pour les marchés émergents, l'un des plus grands défis est le problème de "cold start" : sans demande, les prouveurs ne rejoindront pas ; sans une offre de prouveurs fiable, les demandeurs ne rejoindront pas non plus. Succinct Labs résout ce problème en se concentrant sur l'assurance de la demande du marché avant le lancement du réseau principal.

Ce projet a établi des partenariats avec de nombreux projets de premier plan dans le domaine du Web3, garantissant une demande instantanée et massive dès le premier jour. Cette initiative réduit le risque économique pour les validateurs et assure que le jeton natif possède dès le départ une vitesse de transaction instantanée, soutenant ainsi tout le modèle économique.

En fin de compte, le Succinct Prover Network repose sur un principe simple : l'avenir du calcul est vérifiable. Le jeton natif est le mécanisme clé pour réaliser cet avenir, transformant la preuve cryptographique d'une technologie de niche en un produit numérique accessible à tous et liquide.