Zcash (ZEC) è balzata di oltre il 13% nelle ultime 24 ore, riportando la privacy coin al centro dell’attenzione dei mercati crypto.
Dietro al movimento di prezzo c’è però una storia molto più interessante: il sistema critografico che fa funzionare Zcash è uno degli esempi più raffinati di matematica applicata mai distribuiti su una blockchain pubblica.
Questo sistema si chiama zero-knowledge proof. Se ti sei mai chiesto come una criptovaluta possa garantire matematicamente che una transazione sia valida senza rivelare mittente, destinatario o importo, questa è la guida che fa per te.
In sintesi
- Una zero-knowledge proof permette a una parte (il “prover”) di convincere un’altra parte (il “verifier”) che un’affermazione è vera senza svelare alcuna informazione oltre alla veridicità di quell’affermazione.
- Zcash utilizza una costruzione specifica, gli zk-SNARKs, per schermare i dati delle transazioni su una blockchain pubblica pur consentendo alla rete di verificare che non vengano creati coin dal nulla.
- La stessa tecnologia oggi alimenta soluzioni di scaling Layer 2, protocolli DeFi privati e sistemi di identità, rendendola uno dei mattoni crittografici più importanti del Web3.
Che cos’è davvero una zero-knowledge proof
Una zero-knowledge proof è un metodo con cui una parte, chiamata prover, può convincere un’altra parte, il verifier, che una certa affermazione è vera. Il vincolo cruciale è che la prova non rivela nulla sui dati sottostanti utilizzati per dimostrare quell’affermazione.
Il concetto è stato formalizzato per la prima volta in un paper accademico del 1985 di Shafi Goldwasser, Silvio Micali e Charles Rackoff, intitolato “The Knowledge Complexity of Interactive Proof Systems”.
Gli autori volevano capire qual è la quantità minima teorica di informazioni che un prover deve rivelare per convincere un verifier scettico. La risposta, in alcuni casi, è risultata essere, di fatto, zero.
Una zero-knowledge proof deve soddisfare tre proprietà: completezza (un prover onesto riesce sempre a convincere un verifier onesto), solidità/soundness (un prover disonesto non può ingannare il verifier se non con probabilità trascurabile) e zero-knowledge (il verifier non impara nulla oltre alla validità dell’affermazione).
L’esempio da manuale è la “caverna con la porta magica”, nota come grotta di Alì Babà. Immagina una caverna circolare con un solo ingresso e una porta chiusa in fondo che si apre solo con una password segreta. Il prover vuole dimostrare al verifier di conoscere la password senza rivelarla. Entra in caverna e sceglie il ramo di sinistra o di destra. Il verifier, rimasto all’esterno, urla da quale lato vuole che il prover esca. Se il prover conosce la password, può sempre apparire dal lato richiesto passando attraverso la porta. Ripetendo l’esperimento molte volte, diventa statisticamente impossibile che qualcuno senza password indovini sempre il lato giusto.
Da leggere anche: Il token Pudgy Penguins vola sull’accordo da 5,3 miliardi con il Manchester City
Prove interattive vs non interattive e perché la differenza conta per le blockchain
L’analogia della caverna descrive una zero-knowledge proof interattiva. Il verifier partecipa attivamente lanciando una “sfida” in ogni round. Dal punto di vista matematico è tutto molto pulito, ma per le blockchain c’è un problema evidente: non esiste un verifier “in carne e ossa” dall’altra parte di ogni transazione pronto a inviare sfide in tempo reale.
Le reti blockchain hanno bisogno di zero-knowledge proof non interattive. In uno schema non interattivo, il prover genera un unico oggetto di prova, autosufficiente, che chiunque può verificare in modo indipendente, in qualsiasi momento, senza scambiarsi messaggi con nessuno. È un problema matematico molto più complesso.
Il salto di qualità è arrivato con una tecnica chiamata euristica di Fiat-Shamir, sviluppata nel 1986. Converte le prove interattive in non interattive sostituendo le sfide casuali del verifier con una funzione di hash crittografica. Il prover genera da sé la “sfida” calcolando l’hash dell’affermazione; questo valore non può essere manipolato senza invalidare la prova.
Le prove non interattive hanno reso possibile incorporare la validità crittografica direttamente nelle transazioni on-chain. Un nodo che riceve una transazione schermata non ha bisogno di interrogare nessuno: esegue localmente l’algoritmo di verifica della prova e ottiene una risposta sì/no.
Da leggere anche: Hyperliquid balza del 17% mentre gli ETF HYPE raccolgono un record di 25,5 milioni di dollari in un solo giorno
Come gli zk-SNARKs alimentano le transazioni schermate di Zcash
Zcash è stata la prima grande blockchain pubblica a distribuire in produzione gli zk-SNARKs, al lancio nell’ottobre 2016. L’acronimo sta per Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge. Ogni parola ha un significato tecnico preciso.
“Succinct” indica che la prova è molto compatta e veloce da verificare, indipendentemente dalla complessità del calcolo sottostante. “Non-Interactive” significa che non c’è alcun botta e risposta tra prover e verifier, come visto sopra. “Arguments of Knowledge” implica che il prover deve possedere effettivamente il “witness” segreto (la chiave privata, la spending key, i dettagli della transazione) per generare una prova valida. Il semplice tentativo di indovinare è escluso matematicamente.
Quando un utente Zcash invia una transazione schermata, il wallet del mittente esegue un calcolo che dimostra contemporaneamente diverse condizioni, senza rivelarne nessuna. Dimostra che il mittente possiede i fondi, che la somma degli input è uguale alla somma degli output più la commissione (quindi non vengono creati coin aggiuntivi) e che il mittente conosce la chiave privata di spesa dell’indirizzo sorgente. La prova risultante viene incorporata nella transazione e trasmessa alla rete. Ogni full node la verifica in modo indipendente, in genere nel giro di millisecondi.
Le transazioni schermate di Zcash utilizzano una struttura crittografica chiamata circuito Sapling (che nel 2018 ha sostituito l’originario circuito Sprout), riducendo i tempi di generazione della prova da circa 40 secondi a meno di 2 e la memoria richiesta da 3 GB a circa 40 MB, rendendo per la prima volta realistici i wallet schermati su mobile.
Zcash supporta due tipi di indirizzi. I transparent address (t-address) funzionano come gli indirizzi di Bitcoin (BTC): tutti i dati sono visibili on-chain. I shielded address (z-address) usano gli zk-SNARKs per cifrare mittente, destinatario e importo. È possibile trasferire fondi tra i due tipi di indirizzo, anche se il passaggio da un indirizzo trasparente a uno schermato espone comunque gli importi al punto di “confine”.
Da leggere anche: Goldman Sachs si sfila da XRP e Solana nel brusco reset crypto del Q1
Il problema del “trusted setup”, il punto più controverso di Zcash
L’aspetto tecnicamente più controverso dell’implementazione originaria degli zk-SNARKs in Zcash è la cosiddetta cerimonia di trusted setup. Gli zk-SNARKs richiedono infatti la generazione preliminare di un insieme di parametri pubblici, la “common reference string”. Questi parametri derivano da un valore casuale segreto. Se questo segreto fosse mai ricostruito, un attore malevolo potrebbe forzare prove false e creare Zcash dal nulla senza essere scoperto.
Per mitigare il rischio, il team fondatore di Zcash ha organizzato nel 2016 una cerimonia di calcolo multi‑party con sei partecipanti, ognuno incaricato di generare una porzione del segreto. I parametri risultano sicuri finché almeno uno di loro ha distrutto la propria porzione in modo onesto. La cerimonia è stata ripetuta e migliorata per l’upgrade Sapling nel 2018, con 90 partecipanti, rendendo la probabilità di una compromissione totale estremamente remota.
Il trusted setup resta però una vulnerabilità teorica e un nodo filosofico per la comunità delle privacy coin. I critici sostengono che anche un rischio infinitesimale di inflazione invisibile è inaccettabile. I sostenitori richiamano il numero dei partecipanti e la progettazione verificabile della cerimonia come misure di mitigazione sufficienti.
Proprio questo problema ha spinto lo sviluppo degli zk-STARKs, l’altro grande ramo della famiglia delle zero-knowledge proof, di cui si parla nella sezione successiva.
Da leggere anche: Bitget lancia il contest “Gold Fast Or Go Home” per i trader crypto
zk-SNARKs vs zk-STARKs: i trade‑off chiave
Gli zk-STARKs, acronimo di Zero-Knowledge Scalable Transparent Arguments of Knowledge, sono stati introdotti in un paper del 2018 da Eli Ben‑Sasson e colleghi del Technion e di StarkWare. Risolvono in modo definitivo il problema del trusted setup, basandosi esclusivamente su casualità pubblicamente verificabile derivata da funzioni di hash resistenti alle collisioni, senza parametri segreti.
I trade‑off tra le due famiglie sono sostanziali e pesano sulle scelte degli sviluppatori.
- zk-SNARKs producono prove molto piccole, di solito sotto i 300 byte, e con tempi di verifica estremamente rapidi. Richiedono un trusted setup e si appoggiano alla crittografia a curve ellittiche, teoricamente vulnerabile a un computer quantistico sufficientemente potente.
- zk-STARKs non richiedono alcun trusted setup e sono considerati “post‑quantum secure” perché usano solo funzioni di hash. Le prove sono però molto più grandi, spesso nell’ordine di decine o centinaia di kilobyte, anche se i tempi di verifica restano competitivi.
- PLONK e gli altri SNARK universali rappresentano una generazione intermedia di costruzioni che richiede un trusted setup universale, da eseguire una sola volta anziché per ogni circuito. Progetti come Aztec e Polygon hanno adottato sistemi basati su PLONK per ridurre l’onere operativo del trusted setup senza rinunciare all’efficienza degli SNARK.
Per gli impieghi blockchain concreti nel 2026, gli zk-SNARKs dominano i protocolli layer-one orientati alla privacy come Zcash. Gli zk-STARK, invece, si sono affermati soprattutto nei rollup layer-two dedicati allo scaling, in particolare quelli sviluppati da StarkWare, dove la dimensione della prova è meno critica della minimizzazione del trust e dell’aumento di throughput.
Da leggere anche: Vitalik Buterin vuole che Ethereum smetta di “sbirciare” sulle tue attività on-chain
Dove vengono utilizzate le prove a conoscenza zero oltre le privacy coin
Il primo caso d’uso delle zero-knowledge proof è stato la tutela della privacy finanziaria, come ha dimostrato Zcash. Ma la tecnologia si è poi estesa in modo massiccio all’intero ecosistema blockchain, e l’hype attuale intorno a Nexus e alla sua rete basata su ZK è uno dei segnali più chiari di quanto le infrastrutture ZKP stiano diventando mainstream.
Gli ZK Rollup sono probabilmente l’implementazione commercialmente più rilevante al di fuori delle privacy coin. Le reti di secondo livello come zkSync, StarkNet e Polygon zkEVM utilizzano le zero-knowledge proof per aggregare centinaia o migliaia di transazioni su Ethereum (ETH) in un’unica prova da sottoporre alla chain principale. Il mainnet di Ethereum deve verificare soltanto una prova compatta invece di eseguire ogni singola transazione, aumentando in modo drastico il throughput e al tempo stesso ereditando l’intera sicurezza di Ethereum.
La DeFi privata è una categoria emergente in cui i protocolli sfruttano le ZKP per consentire a utenti e istituzioni di fare lending, trading e strategie di yield senza esporre on-chain i saldi dei wallet o le strategie operative. La rete Venice Token, oggi sotto i riflettori assieme a Zcash, applica una filosofia crittografica affine all’inferenza AI, permettendo di interrogare modelli di intelligenza artificiale senza che il provider possa vedere gli input dell’utente.
I sistemi di identità e credenziali rappresentano una terza ondata di applicazioni. Le ZKP consentono di dimostrare, ad esempio, di essere maggiorenni, residenti in un determinato Paese o di aver superato una verifica KYC, senza rivelare nome, data di nascita o numero di passaporto. Progetti come Polygon ID e Sismo hanno costruito framework di credenziali proprio su questa capacità.
Secondo Grand View Research, il mercato delle zero-knowledge proof è destinato a crescere da circa 243 milioni di dollari nel 2023 a oltre 12 miliardi di dollari entro il 2030, trainato dall’adozione in ambito finanziario, identitario e di tracciabilità della supply chain.
Da leggere anche: Esclusivo: la DeFi vive una crisi silenziosa che nessuno vuole vedere e che sta azzerando gli yield: parla il CEO di Katana
Chi ha davvero bisogno di capire questa tecnologia
Le zero-knowledge proof riguardano diversi segmenti dell’industria crypto, anche se la maggior parte degli utenti non interagirà mai direttamente con la crittografia sottostante.
Per trader e investitori che seguono da vicino privacy coin come Zcash, comprendere la tecnologia è utile per capire che un rally di prezzo non è solo speculazione. L’infrastruttura che sostiene ZEC ha un’utilità reale e crescente nei rollup ZK e nella DeFi privata, creando una domanda strutturale che va oltre l’aspetto puramente speculativo. Nei cicli in cui aumenta la pressione regolamentare sulle blockchain completamente trasparenti, le proprietà di tutela della privacy dei sistemi basati su ZKP diventano un argomento molto più urgente.
Gli utenti e gli sviluppatori DeFi che scelgono tra diversi layer 2 dovrebbero conoscere la differenza tra optimistic rollup (che si basano su meccanismi di fraud-proof e una finestra di contestazione di 7 giorni) e ZK rollup (che usano prove matematiche e possono finalizzare le transazioni in pochi minuti). Questa scelta impatta direttamente sui tempi di withdrawal, sulle assunzioni di fiducia e sull’efficienza del capitale.
Gli utenti attenti alla privacy, a prescindere dal livello di competenza tecnica, dovrebbero sapere che gli indirizzi “shielded” di Zcash offrono un modello di riservatezza radicalmente diverso dalla pseudonimità di Bitcoin. Società di blockchain analytics come Chainalysis hanno riconosciuto pubblicamente che le transazioni Zcash completamente shielded sono, di fatto, opache ai loro strumenti: un elemento non banale per chi ha reali esigenze di confidenzialità finanziaria.
Per i costruttori di protocolli che vogliono sviluppare sistemi di credenziali, meccanismi di voto privato o proof-of-reserves senza rivelare i bilanci, è essenziale comprendere almeno il modello a circuiti delle ZKP. Progettare un sistema ZKP significa infatti progettare il circuito aritmetico che codifica il problema, più che scrivere “semplice” codice applicativo.
Da leggere anche: SpaceX svela una riserva di 18.712 BTC nel filing per l’IPO: il gruppo emerge come una delle 7 più grandi whale Bitcoin
Conclusioni
Le zero-knowledge proof nascono come curiosità teorica in un paper accademico del 1985 e sono diventate, nel giro di pochi decenni, un tassello infrastrutturale di base per privacy coin, reti di scaling e sistemi di identità decentralizzata. L’intuizione centrale – che si possa dimostrare la veridicità di un’affermazione senza divulgare le informazioni sottostanti – è talmente controintuitiva che molti ingegneri trascorrono anni nel settore senza coglierne davvero le implicazioni.
Zcash resta l’esempio di produzione più visibile dell’applicazione delle ZKP alla privacy finanziaria. La sua architettura zk-SNARK, pur in mezzo a un dibattito ancora aperto sul trusted setup, ha dimostrato una notevole resilienza ed è stata il riferimento diretto per tutte le principali costruzioni di ZK rollup successive.
L’estensione della tecnologia allo scaling della DeFi tramite reti come zkSync e StarkNet, e agli strati di privacy per l’AI come Venice, indica che le prove a conoscenza zero non sono più una nicchia riservata alle privacy coin ma un mattone fondamentale per la prossima generazione di sistemi crittografici.
La prossima volta che una privacy coin metterà a segno una fiammata di prezzo o che un nuovo ZK rollup annuncerà record di throughput, questo è il framework che consente di valutare cosa stia facendo davvero la tecnologia sottostante, al di là di ciò che mostra il grafico.
Da leggere dopo: Le privacy coin tornano in auge: l’open interest su Dash balza del 49% in una notte
