Succinct est un protocole sur Ethereum qui organise un ensemble distribué de proveurs indépendants pour produire des preuves à connaissance zéro (ZKP) à la demande. En transformant la génération de preuves en un service partagé, Succinct accélère les ZKP, réduit leur coût et simplifie leur intégration dans n'importe quelle application, on-chain comme off-chain.
Le réseau fonctionne comme une place de marché décentralisée. Les développeurs et applications ayant besoin d'une preuve ZK soumettent une demande. Un réseau compétitif de proveurs enchérit ensuite pour exécuter cette demande. Plutôt que de concevoir et maintenir du matériel spécialisé coûteux et des chaînes d'outils logicielles complexes, les équipes peuvent simplement utiliser cette infrastructure partagée. Cela diminue drastiquement les coûts opérationnels et permet aux développeurs de déployer des fonctionnalités ZK comme la confidentialité, la scalabilité et le calcul vérifiable beaucoup plus rapidement.
SP1 est une machine virtuelle à connaissance zéro (zkVM) à usage général conçue pour permettre aux développeurs d'écrire du code familier—comme Rust ou C++—et de le compiler en programmes que les proveurs peuvent exécuter pour produire des preuves ZK. Ainsi, les équipes n'ont pas besoin de concevoir des circuits arithmétiques complexes ou des piles ZK sur mesure. Elles écrivent, compilent et soumettent des programmes ; les proveurs les exécutent sous SP1 et renvoient une preuve que le calcul a été réalisé correctement sans révéler d'entrées privées.
Le système connecte deux acteurs principaux : les demandeurs (applications nécessitant des preuves) et les proveurs (nœuds générant des preuves). Lorsqu'une tâche de preuve est publiée, les proveurs l'évaluent et soumettent des offres—concurrentes sur le prix, la vitesse ou la réputation—afin que les demandeurs obtiennent le meilleur service disponible.
Le matching et les enchères se déroulent off-chain via une couche d'enchères rapide utilisant des messages de type RPC. Cela maintient une faible latence et évite d'attendre des confirmations de blocs, permettant aux proveurs de voir les tâches et d'y répondre en temps réel.
Bien que le matching soit effectué off-chain, les résultats et l'intégrité sont ancrés sur Ethereum. L'enchérisseur et les services de proveur soumettent des preuves cryptographiques et des engagements d'état aux contrats on-chain, qui détiennent les fonds et permettent à quiconque de vérifier l'exactitude de l'attribution des tâches et du règlement des paiements.
L'ensemble du système est conçu pour la transparence et la vérification indépendante. L'enchérisseur conserve un journal clair et auditable de toutes les demandes, soldes et tâches terminées, en utilisant des techniques cryptographiques comme les engagements de Merkle pour prouver son intégrité. Un service de proveur distinct lit cet état, génère une preuve ZK (en utilisant SP1) et publie cette preuve finale on-chain. Cela permet à tout observateur tiers de confirmer que le réseau fonctionne exactement comme prévu.
Le protocole utilise un token utilitaire ERC-20, PROVE, pour aligner les incitations à travers le réseau. Les rôles typiques du token incluent :
Utiliser un réseau de proveurs externe retire une grande partie de la charge de gestion de l'infrastructure de preuve, mais les équipes doivent tout de même évaluer la latence, la tarification et la sécurité économique fournie par le staking et le règlement on-chain. Surveiller les preuves publiées on-chain et comprendre la dynamique des enchères est important pour faire confiance au modèle de service et garantir les SLA souhaités pour des systèmes en production.
En combinant une place de marché de proveurs, un zkVM convivial pour les développeurs (SP1) et une couche de règlement on-chain, l'architecture Succinct vise à rendre les preuves à connaissance zéro plus accessibles pour des applications réelles. Cette approche abaisse les barrières techniques et répartit le coût et la complexité de la génération de preuves sur un réseau décentralisé, aidant les créateurs à ajouter plus facilement confidentialité, scalabilité et calcul vérifiable à leurs produits.