Succinct è un protocollo su Ethereum che organizza un insieme distribuito di prover indipendenti per produrre proof a conoscenza zero (ZKP) su richiesta. Trasformando la generazione delle proof in un servizio condiviso, Succinct rende le ZKP più veloci, economiche e semplici da integrare in qualsiasi applicazione, sia on-chain che off-chain.
La rete funge da marketplace decentralizzato. Sviluppatori e applicazioni che hanno bisogno di una proof inviano una richiesta. Una rete competitiva di prover quindi fa offerte per soddisfare quella richiesta. Invece di costruire e mantenere costosi hardware specializzati e pipeline software complesse, i team possono semplicemente attingere a questa infrastruttura condivisa. Questo abbassa drasticamente i costi operativi e aiuta gli sviluppatori a rilasciare funzionalità basate su ZK come privacy, scalabilità e calcolo verificabile molto più rapidamente.
SP1 è una macchina virtuale a conoscenza zero (zkVM) general-purpose progettata per permettere agli sviluppatori di scrivere codice familiare — come Rust o C++ — e compilarlo in programmi che i prover possono eseguire per produrre ZKP. Ciò significa che i team non devono progettare circuiti aritmetici intricati o stack ZK su misura. Scrivono, compilano e inviano programmi; i prover li eseguono sotto SP1 e restituiscono una proof che dimostra che il calcolo è stato eseguito correttamente senza rivelare input privati.
Il sistema connette due attori principali: i richiedenti (app che necessitano di proof) e i prover (nodi che generano proof). Quando viene pubblicato un task di proof, i prover lo valutano e inviano offerte — competendo su prezzo, velocità o reputazione — così che i richiedenti possano ottenere il miglior servizio disponibile.
Matching e bidding avvengono off-chain attraverso un livello di auctioneer veloce che usa messaggistica in stile RPC. Questo mantiene la latenza bassa ed evita di aspettare conferme di blocco, permettendo ai prover di vedere i task e rispondere in tempo reale.
Pur essendo il matching eseguito off-chain, risultati e integrità sono ancorati su Ethereum. L'auctioneer e i servizi dei prover inviano proof crittografiche e commit di stato a contratti on-chain, che detengono fondi e permettono a chiunque di verificare la correttezza dell'assegnazione dei lavori e del regolamento dei pagamenti.
L'intero sistema è progettato per trasparenza e verifica indipendente. L'auctioneer mantiene un registro chiaro e verificabile di tutte le richieste, i saldi e i lavori completati, usando tecniche crittografiche come commit Merkle per dimostrarne l'integrità . Un servizio prover separato legge questo stato, genera una proof ZK (usando SP1) e pubblica quella proof finale on-chain. Questo permette a qualsiasi osservatore terzo di confermare che la rete sta operando esattamente come progettato.
Il protocollo utilizza un token ERC-20 di utilità , PROVE, per allineare gli incentivi nella rete. I ruoli tipici per il token includono:
Usare una rete di prover esterna rimuove gran parte del lavoro pesante di gestire infrastruttura di proof, ma i team dovrebbero comunque valutare latenza, prezzi e la sicurezza economica fornita dallo staking e dal regolamento on-chain. Monitorare le proof pubblicate on-chain e comprendere le dinamiche d'asta è importante per fidarsi del modello di servizio e assicurare gli SLA desiderati per sistemi di produzione.
Combinando un marketplace di prover, una zkVM user-friendly per sviluppatori (SP1) e un layer di regolamento on-chain, l'architettura Succinct mira a rendere le proof a conoscenza zero più accessibili per applicazioni reali. Questo approccio abbassa le barriere tecniche e distribuisce il costo e la complessità della generazione delle proof su una rete decentralizzata, aiutando i builder ad aggiungere privacy, scalabilità e calcolo verificabile ai loro prodotti più facilmente.