Succinct Prover Network: marché décentralisé des zk-SNARKs

La technologie des zk-SNARKs devient rapidement un sujet populaire dans le domaine du Web3, passant d'un concept académique de niche à un point d'attention largement suivi par les développeurs et le marché. Les applications basées sur les zk-SNARKs deviennent de plus en plus matures, et les preuves zk-SNARKs sont également intégrées de manière stratégique dans le cœur de l'infrastructure blockchain.

Avec l'expansion de l'écosystème ZK, la demande de génération de preuves intensives en calcul atteint un point critique. Pour répondre à cette demande, le Succinct Prover Network est né. Il s'agit d'un protocole basé sur Ethereum qui construit un marché décentralisé pour la génération de ZK. Il adopte une architecture vApp, alliant haute performance et sécurité vérifiable. Le cœur du système est le jeton $PROVE, qui agit comme moteur économique pour stimuler ce nouveau marché de biens numériques.

Cet article explorera en profondeur l'architecture du Succinct Prover Network, les fonctions principales de $PROVE et l'économie des tokens, ainsi que les dynamiques du marché de son écosystème.

Architecture du réseau

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

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, similaire au modèle de conception des séquenceurs Layer 2.

• L'exécution hors chaîne est gérée par des services haute performance, gérant en temps réel le processus d'enchères, l'attribution des preuves et l'interaction avec les utilisateurs. Les utilisateurs peuvent soumettre des demandes et recevoir des mises à jour, sans avoir à s'inquiéter des délais de confirmation de bloc.
• Le règlement sur la chaîne se fait sur le réseau principal Ethereum, utilisant des zk-SNARKs pour vérifier régulièrement l'état du réseau et la validité 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 les opérations de marché rapides et efficaces.

Composant clé

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

• Service d'enchères hors chaîne : entité principale hors chaîne responsable de la mise en correspondance des demandes des utilisateurs avec les vérificateurs. Reçoit les demandes de preuve, collecte les enchères, exécute les enchères et attribue le travail. Les utilisateurs interagissent directement via des appels RPC, obtenant une expérience en temps réel.
• Contrat de règlement on-chain : contrats intelligents déployés sur Ethereum, y compris SuccinctVApp.sol, SuccinctStaking.sol et SuccinctGovernor.sol, servant de points d'ancrage de confiance pour le réseau. Responsable de la liquidation des racines d'état et des preuves zk-SNARKs soumises régulièrement par les enchérisseurs, garantissant 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. Comprend :

• Base de données stockant les soldes des utilisateurs, les demandes en attente et l'état d'exécution, prenant en charge les opérations de lecture et d'écriture.
• Preuve zk basée sur SP1, utilisée pour lire la base de données et calculer le nouvel état du réseau. Cette preuve vérifie toutes les transitions d'état, telles que la mise à jour des soldes et l'attribution des preuves, puis se règle sur Ethereum pour vérification publique.

$PROVE jeton

Le token $PROVE est un token utilitaire ERC-20 basé sur Ethereum, qui constitue le poumon é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é centrale

L'utilité de ce jeton se manifeste sous plusieurs aspects :

• Paiement : $PROVE est le seul jeton de paiement dans le réseau. Si un demandeur souhaite obtenir une preuve, il doit payer des frais correspondants au prouveur, en utilisant $PROVE. Cela crée une demande commerciale directe et continue pour le jeton.
• Sécurité : Garantir la sécurité du réseau par le staking. Les validateurs doivent staker $PROVE pour participer aux enchères, assurant une action honnête. Si un validateur agit de manière malveillante ou manque la date limite, une partie de son staking sera confisquée.
• Incitation : $PROVE est utilisé pour inciter les prouveurs à investir dans l'infrastructure et à continuer à offrir des prix compétitifs.

Approvisionnement et émission de jetons

Le montant initial de l'offre de $PROVE est de 1 milliard de pièces, mais il n'y a pas de limite fixe. Le protocole comprend un mécanisme d'émission continue de jetons. Le taux d'émission nouvellement émis n'est pas fixe, mais est contrôlé par des paramètres du système de gouvernance décentralisé du réseau, permettant à la communauté d'ajuster dynamiquement les incitations avec le développement du réseau.

Staking et délégation

Pour garantir la sécurité économique, tout utilisateur peut miser $PROVE. Le système prend en charge deux principales méthodes :

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

Une fois que la demande de preuve a été 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, son mandataire et le trésor du protocole. Par exemple, un schéma de répartition potentiel pourrait être le suivant : le prouveur gagnant reçoit la majorité des frais, le mandataire reçoit une partie des frais pour avoir fourni une garantie de sécurité, et le protocole perçoit une petite partie des frais du réseau en tant que trésor. L'émission du réseau sera répartie proportionnellement entre tous les stakers (, y compris les prouveurs et les mandataires ).

Gouvernance

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

Enchères et demandes

Le Succinct Prover Network utilise une structure de marché soigneusement conçue pour favoriser la découverte des prix et attribuer les tâches de génération de preuves aux proveurs 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 une allocation des demandes par enchères en temps réel. Ce mécanisme d'enchères permet de découvrir les prix de manière efficace avec un minimum de latence, et utilise le jeton $PROVE comme moyen de paiement.

• Version initiale : La première version du réseau utilise une enchère inversée simple, attribuant les demandes de preuve au preneur de prix le plus bas.
• Évolution future : avec le temps, le mécanisme pourra être transféré vers un mode de "compétition de preuves" grâce à des mécanismes de gouvernance. Ce mode vise à distribuer les récompenses à un plus large groupe de proveurs, 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 les 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 de preuves est conçu pour être simple et sécurisé.

• Pour le demandeur : l'utilisateur peut facilement demander une preuve, en transférant d'abord $PROVE au commissaire-priseur pour payer les frais. Ensuite, il envoie une demande de preuve via un appel RPC, en spécifiant le programme à prouver, la date limite et le montant maximum qu'il est prêt à payer. Le commissaire-priseur hors chaîne associera cette demande avec le prestataire de preuve qualifié 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-SNARKs, permettant au demandeur de vérifier si elle a été correctement traitée.
• Pour le prouveur : le prouveur concurrence pour le droit d'exécuter la demande. Pour obtenir une qualification spécifique à une enchère, le $PROVE mis en jeu par le prouveur doit satisfaire aux exigences minimales définies par le demandeur (. Par exemple, une demande peut nécessiter un dépôt de 50 $PROVE ). Les prouveurs qualifiés soumettent des enchères aux enchérisseurs. Le prouveur ayant l'enchère la plus basse remporte l'enchère et obtient la preuve, qu'il doit compléter avant la date limite spécifiée. En cas de succès, un paiement sera reçu sous forme de $PROVE. Si la preuve n'est pas soumise à temps, la mise de départ sera réduite.

Montant minimum de mise: 1 000 $PROVE( test net; main net à déterminer )

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 cherchant les prix les plus compétitifs ou pour les applications ayant des besoins massifs occasionnels.
• Réservation hors chaîne : Pour les utilisateurs nécessitant une garantie de fiabilité plus forte ou une demande à haute fréquence et à grande échelle, le réseau prend en charge la signature d'accords de service hors chaîne avec des prouveurs spécifiques (SLA). Ces accords peuvent mettre sur liste blanche les prouveurs approuvés, leur permettant ainsi de bénéficier d'une qualification exclusive pour soumissionner. En raison de la nature à long terme des accords, les prix peuvent être plus avantageux.

Dynamique du 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 une stratégie claire pour générer des effets de réseau. Le jeton $PROVE est au cœur de ce système économique conçu pour coordonner les actions de participants rationnels et indépendants dans un marché prospère.

Marché bilatéral

Le 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, notamment des GPU, FPGA, ASIC (. Les deux parties sont :

• Demandeur ) : Ce groupe est composé de protocoles blockchain, d'applications et de développeurs qui ont besoin de zk-SNARKs pour mener à bien leurs activités. Ces demandeurs créent une demande organique pour les services du réseau et représentent la principale source de revenus, qui afflue dans l'écosystème sous la forme de paiements en $PROVE.
• Fournisseur ( prouveur ) : Ce groupe est composé d'individus et d'entités professionnelles qui possèdent et exploitent le matériel informatique nécessaire à la génération de zk-SNARKs. Ils investissent dans des infrastructures nécessitant beaucoup de capital pour concurrencer les services, gagnant des frais et des récompenses réseau libellés en $PROVE.

Garantie de l'écosystème

Pour les marchés émergents, l'un des plus grands défis est le problème du "cold start" : sans demande, les validateurs ne rejoindront pas ; sans un approvisionnement fiable de validateurs, 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 dès le premier jour une demande instantanée et importante.

Cette initiative réduit le risque économique pour les prouveurs et garantit que le token $PROVE possède dès le départ une vitesse de transaction instantanée, soutenant ainsi l'ensemble du modèle économique.

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