<Perché ZK ha fallito e cosa vuole cambiare Succinct?> 1. Consapevolezza del problema Il creatore di Bitcoin, Satoshi Nakamoto, ha espresso scetticismo sulle prove a conoscenza zero (ZKP). "Per dimostrare che qualcosa non esiste, è necessario conoscere l'intera transazione", ha affermato, e ha giudicato che l'applicazione degli ZKP alle blockchain è strutturalmente difficile. Tuttavia, ha anche detto: "Se troviamo una soluzione, sarà possibile implementare Bitcoin molto meglio, più facilmente e più conveniente". In altre parole, pur riconoscendo i limiti tecnici di ZK, hanno riconosciuto che se venissero affrontati, potrebbero essere un importante punto di svolta nell'evoluzione della blockchain. Ora, anni dopo, la comunità cypherpunk e i ricercatori di ZK hanno finalmente trovato una soluzione. Zcash è stato il primo ad applicare ZKP alle criptovalute del mondo reale e da allora progetti come StarkWare, zkSync e Scroll hanno sviluppato questa tecnologia come mezzo chiave per migliorare la scalabilità e la verificabilità di Ethereum. Tuttavia, c'è ancora un divario nella realtà. La creazione di zkEVM richiede competenze approfondite, anni di sviluppo e hardware ad alte prestazioni e la maggior parte dei progetti si affida a fornitori di prove specifici invece di gestire la propria infrastruttura ZKP. Di conseguenza, le ZKP sono rimaste uno strumento complesso che solo pochi potevano gestire, piuttosto che una "tecnologia che chiunque può utilizzare". 2. Che cos'è Succinct? Succinct (@SuccinctLabs) è un tentativo di affrontare questo problema frontalmente. La chiave è trasformare gli ZKP in un'infrastruttura che possa essere facilmente utilizzata da tutti gli sviluppatori e aiutare chiunque a creare un "sistema trustless" senza la necessità di circuiti o infrastrutture complesse. Succinct è un'infrastruttura che trasforma l'ideale di un sistema "trustless" che la blockchain ha perseguito in una realtà che può essere effettivamente realizzata. Trustless non significa "inaffidabile", ma si riferisce a una struttura che opera da sola senza la premessa della fiducia, cioè un sistema che può essere verificabile matematicamente senza la necessità di una terza parte o di un'autorità centrale. Tuttavia, l'attuale ecosistema blockchain si basa ancora molto sulla fiducia. Gli hack dei bridge, le operazioni multisig e la delega centralizzata dei validatori sono la prova che il sistema funziona solo quando ci fidiamo ancora delle persone e delle organizzazioni. Un tentativo di superare questo limite basato sulla fiducia è la tecnologia ZKP, o Zero-Knowledge Proof. Questa tecnologia, che ci permette di dimostrare matematicamente che "questo calcolo è corretto" senza doverci fidare di nessuno, è chiaramente una base fondamentale per i sistemi decentralizzati. Il problema era che gli ZKP erano troppo complessi e pesanti per essere effettivamente scritti. 3. Perché le ZKP erano difficili? La tecnologia ZKP è stata tanto alta quanto il suo potenziale. In particolare, la creazione di zkEVM ha richiesto un team di professionisti, anni di sviluppo e un'infrastruttura costosa. La maggior parte dei progetti zk doveva progettare i propri circuiti, costruire zkVM dedicate e persino gestire l'hardware da soli. È stato solo dopo aver attraversato tutti questi processi che sono stati in grado di chiamarsi "ZK rollups". Inoltre, le zkVM tradizionali per uso generico sono state altamente inefficienti nel generare dimostrazioni. Normalmente, la dimostrazione di un blocco richiedeva un cluster di dozzine di macchine ad alte prestazioni e il costo raggiungeva $ 10 ~ $ 20 per blocco. A causa di questo elevato onere tecnico e dei costi operativi, molti progetti hanno abbandonato l'introduzione delle ZKP o hanno optato per strutture che si basano su alcuni fornitori centralizzati di prove. ...