<Perché ZK ha fallito e cosa sta cercando di cambiare Succinct?> 1. Consapevolezza del problema Il creatore di Bitcoin, Satoshi Nakamoto, ha espresso scetticismo riguardo ai Zero-Knowledge Proofs (ZKP). Ha dichiarato: "Per dimostrare che qualcosa non esiste, è necessario conoscere l'intera transazione," concludendo che applicare ZKP alla blockchain è strutturalmente difficile. Tuttavia, ha anche menzionato che "se viene trovata una soluzione, sarebbe molto meglio, più facile e più conveniente implementare Bitcoin." In altre parole, pur riconoscendo i limiti tecnici di ZK, ha riconosciuto che se risolti, potrebbe essere un punto di svolta significativo nell'evoluzione della blockchain. Anni dopo, la comunità cypherpunk e i ricercatori ZK hanno finalmente trovato quella soluzione. Zcash è stato il primo caso ad applicare ZKP a una vera criptovaluta, e progetti successivi come StarkWare, zkSync e Scroll hanno sviluppato questa tecnologia come un mezzo chiave per migliorare la scalabilità e la verificabilità di Ethereum. Tuttavia, c'è ancora un divario nella realtà. Creare un zkEVM richiede una profonda esperienza, anni di tempo di sviluppo e hardware ad alte prestazioni, e la maggior parte dei progetti finisce per fare affidamento su fornitori di prove specifici invece di gestire la propria infrastruttura ZKP. Di conseguenza, ZKP rimane uno strumento complesso che solo pochi possono gestire piuttosto che una tecnologia che chiunque possa utilizzare. 2. Cos'è Succinct? Succinct (@SuccinctLabs) è un tentativo di affrontare direttamente questo problema. La sua missione principale è trasformare ZKP in un'infrastruttura che tutti gli sviluppatori possano utilizzare facilmente, consentendo a chiunque di creare un 'sistema senza fiducia' senza circuiti o infrastrutture complesse. Succinct è un'infrastruttura che trasforma l'ideale di un sistema 'senza fiducia', che la blockchain ha perseguito, in una realtà praticamente implementabile. Senza fiducia non significa 'inaffidabile'; piuttosto, si riferisce a una struttura che opera in modo indipendente senza fare affidamento sulla fiducia, cioè, un sistema matematicamente verificabile senza terze parti o autorità centrali. Tuttavia, l'attuale ecosistema blockchain si basa ancora pesantemente sulla fiducia. Gli attacchi ai bridge, le operazioni multi-firma e le deleghe di validatori centralizzati servono tutte come prova che dobbiamo ancora fidarci di persone o organizzazioni affinché il sistema funzioni. Il tentativo di superare queste limitazioni basate sulla fiducia è precisamente la tecnologia Zero-Knowledge Proof (ZKP). Questa tecnologia consente di dimostrare matematicamente che "questo calcolo è corretto" senza fidarsi di nessuno, rendendola una base fondamentale per i sistemi decentralizzati. Il problema è stato che ZKP è troppo complesso e pesante per un uso pratico. 3. Perché ZKP sembrava difficile? La tecnologia ZKP ha alte barriere tanto quanto il suo potenziale. In particolare, creare un zkEVM richiede un team specializzato, anni di tempo di sviluppo e infrastrutture costose. La maggior parte dei progetti zk ha dovuto progettare i propri circuiti, costruire zkVM dedicati e gestire direttamente l'hardware. Solo dopo aver attraversato tutti questi processi potevano affermare di essere "ZK rollup." Inoltre, gli zkVM esistenti di uso generale erano molto inefficienti nella generazione di prove. Tipicamente, dimostrare un singolo blocco richiedeva un cluster di decine di macchine ad alte prestazioni, con costi che variavano da $10 a $20 per blocco. A causa di questi oneri tecnici e costi operativi, molti progetti hanno abbandonato l'introduzione di ZKP del tutto o hanno scelto di fare affidamento su alcuni fornitori di prove centralizzati. 4. Il tentativo di Succinct @SuccinctLabs considera questi problemi strutturali come 'problemi di infrastruttura.' ZKP è tecnicamente potente, ma la domanda è chi, come e a quale costo viene implementato. Pertanto, Succinct sta creando una rete di provatori decentralizzata a cui chiunque può accedere facilmente senza che i singoli progetti debbano gestire direttamente l'infrastruttura di prova. Gli sviluppatori non devono configurare zkVM complessi o procurarsi hardware. Quando inviano richieste di prova alla rete, vari provatori con hardware diverso fanno offerte per elaborarle in modo simile a un'asta. I costi delle prove diminuiscono naturalmente attraverso la competizione, e i provatori generano prove in modo efficiente utilizzando attrezzature ad alte prestazioni. Di conseguenza, gli sviluppatori ricevono prove rapide e a basso costo, mentre l'intero ecosistema beneficia di un'infrastruttura di prova con alta disponibilità e resistenza alla censura. Succinct non sta solo dimostrando possibilità tecniche; sta dimostrando il suo ruolo in aree in cui sorgono domande reali. Un esempio rappresentativo è l'emergere della tendenza 'CLOBs on Blobs' nell'ecosistema @celestia. Gli scambi decentralizzati che utilizzano metodi di central limit order book (CLOB) ad alte prestazioni stanno apparendo nello spazio blob di Celestia, portando a richieste di infrastruttura per l'elaborazione di dati su larga scala e prove di stato rapide. Progetti come Hyperliquid e @hibachi_xyz stanno implementando logiche complesse di trading e scoperta dei prezzi on-chain, che richiedono scalabilità e prestazioni oltre i semplici rollup. Ciò di cui abbiamo bisogno qui è il layer di disponibilità dei dati ad alte prestazioni di Celestia e l'infrastruttura di prova ZK decentralizzata fornita da Succinct. Infatti, Celestia ha visto un rapido aumento dell'uso effettivo dello spazio blob, e dietro questo, infrastrutture ZK come Succinct stanno contribuendo silenziosamente. Se Celestia fornisce un 'storage di dati verificabile', Succinct è responsabile della creazione di 'transizioni di stato verificabili' su quei dati. Questa combinazione può essere vista come il punto di partenza per la tecnologia ZKP per passare dalla teoria astratta a un sistema funzionante nella realtà. 5. Un zkEVM che chiunque può gestire, SP1 e SP1 Reth Risolvendo l'accessibilità dell'infrastruttura, Succinct mira anche a ridurre le barriere all'ingresso dello zkVM stesso sviluppando uno zkVM open-source chiamato SP1 (Succinct Processor 1). SP1 è uno zkVM di uso generale implementato in Rust, progettato per essere utilizzato direttamente da chiunque senza la complessa progettazione di circuiti richiesta dagli zkEVM esistenti. Un esempio precoce che dimostra il potenziale di SP1 è SP1 Reth. SP1 Reth è un tipo-1 zkEVM implementato con circa 2.000 righe di codice Rust, facilmente configurabile riutilizzando componenti dall'ecosistema client di Ethereum esistente (Reth, Revm, Alloy, ecc.). Ancora più sorprendente è la sua prestazione. Il costo medio della prova per transazione Ethereum per SP1 Reth è solo di circa $0,01 a $0,02, che è inferiore ai costi di disponibilità dei dati comunemente sostenuti in L2. Il motivo per cui questa prestazione è possibile è dovuto al sistema 'precompile' che SP1 possiede. Elabora operazioni computazionalmente intensive come funzioni hash e verifiche di firme in una struttura pre-ottimizzata, riducendo significativamente le risorse consumate dallo zkVM. Fino ad ora, implementare zkEVM con uno zkVM costava $10 a $20 per blocco, ma SP1 Reth è riuscito a ridurre questo a cifre singole. Sia SP1 che SP1 Reth sono completamente open-source e disponibili per chiunque forkare e creare il proprio zkEVM o aggiungere precompilazioni per migliorare le prestazioni. Questo rappresenta un completo sconvolgimento dell'attuale ambiente di sviluppo zk ad alto costo e alta difficoltà, aprendo un'era in cui qualsiasi sviluppatore Rust può partecipare ai sistemi zk. 6. In definitiva, ZK è ora accessibile a tutti Succinct sta riempiendo gli ultimi pezzi del puzzle del potenziale, dell'accessibilità e della praticità della tecnologia ZKP. Senza circuiti complessi o hardware dedicato, chiunque può creare applicazioni che utilizzano ZKP, e le prove vengono elaborate da una rete decentralizzata. Stiamo entrando in un'era in cui tutti i rollup possono diventare ZK rollup, e Internet opera esclusivamente sulla verità. Al punto di partenza di questo ci sono Succinct e SP1. Ora, ZKP è una tecnologia per tutti, non solo per pochi eletti.