La patch di emergenza chiude la finestra delle contraffazioni ZEC

Gli sviluppatori di Zcash hanno completato il 2 giugno una patch di emergenza per un difetto nel circuito Orchard del protocollo privacy che, se non corretto, avrebbe potuto consentire la coniazione non rilevata di ZEC contraffatti illimitati — tra i rischi teorici per l'offerta più rilevanti mai documentati per il protocollo. La scoperta è stata annunciata il 29 maggio da SeedLabs, che ha riferito come il difetto sia emerso durante un audit di sicurezza assistito dall'AI anziché una consueta revisione manuale.

Quell'audit abbinava il modello Claude Opus 4.8 di Anthropic ad agenti di audit realizzati su misura, e il difetto è stato classificato come un "guasto di soundness": le condizioni di verifica all'interno della prova a conoscenza zero non erano sufficientemente vincolate, il che significa che un attaccante poteva costruire dati spacciantisi per una prova valida e generare ZEC falsificati senza attivare le regole di validazione della rete.

Questa distinzione conta per dimensionare correttamente l'accaduto. Le prove a conoscenza zero sono ciò che permette a una rete di confermare che le transazioni nascoste rispettano le sue regole senza esporne il contenuto, quindi un difetto all'interno del circuito di prova è un errore nel regolamento stesso, non nel codice costruito sopra — un livello in cui le vulnerabilità possono persistere per anni senza essere individuate.

La risposta è stata proporzionata al rischio dimostrato. I ricercatori di SeedLabs non sono rimasti sul piano teorico — hanno scritto codice d'attacco funzionante in un ambiente di test locale e confermato che ZEC contraffatti potevano effettivamente essere prodotti, trasformando la scoperta da vulnerabilità teorica a percorso di sfruttamento dimostrato. Il team di sviluppo di Zcash ha quindi trattato la questione come urgente, con l'annuncio che indica il lavoro correttivo completato entro il 2 giugno.

Orchard è lo shielded pool in cui vivono le transazioni private di Zcash, ed è per questo che un difetto di prova in quel punto colpisce il cuore della garanzia di emissione della valuta. Per un orientato alla privacy, l'integrità dell'emissione è la proprietà più critica, e il difetto la toccava direttamente.

Ciò che la patch non chiarisce è la questione dello sfruttamento. Il percorso di generazione dei contraffatti è stato verificato solo nell'ambiente di test locale, e nulla nei registri pubblici conferma che il difetto sia mai stato abusato sulla mainnet. Questa distinzione — vulnerabilità trovata, exploit dimostrato in locale, abusi sulla mainnet non confermati — è il quadro attraverso cui ogni cifra di questa storia va letta.

Come funzionava il difetto di soundness di Orchard

Il meccanismo in gioco è ristretto ma fondamentale. Un guasto di soundness in un sistema di prova a conoscenza zero significa che i controlli che verificano una prova sono troppo laschi: un enunciato che dovrebbe essere falso può essere abbigliato in modo da sembrare dimostrato. Nel circuito Orchard di Zcash, questa lascazza si traduceva in una minaccia diretta all'emissione, perché le note che il pool accetta come valide confluiscono direttamente nella contabilità dell'offerta circolante che ogni nodo della rete riverifica. ZEC contraffatti illimitati non sarebbero stati un semplice malfunzionamento di mercato; avrebbero corrotto silenziosamente la garanzia di emissione che un protocollo di Layer 1 esiste per far rispettare.

Due salvaguardie strutturali meritano di essere segnalate. Il pool Orchard opera sotto un tetto di emissione, un limite alla coniazione, e l'introduzione del pool Ironwood è stata progettata in modo che, anche in caso di errore in una prova a conoscenza zero, i fondi totali in grado di sfuggire alla shielded zone siano limitati — la verifica dell'offerta era già rinforzata proprio contro questa classe di guasti.

Secondo l'interpretazione offerta dall'annuncio stesso, l'AI non ha rotto la crittografia: ha rapidamente individuato un errore logico che il codice pubblico portava da anni senza che i ricercatori umani lo notassero, e ha quindi validato che l'errore fosse attaccabile. Il caso non è quindi quello di una crittografia violata, ma di un errore logico a lungo sfuggito, emerso e validato rapidamente. Questo è il vero significato dell'episodio — i codebase pubblici e i sistemi di automazione delle transazioni sono ormai bersagli legittimi per questo tipo di analisi d'attacco automatizzata.

Al momento della scrittura, lo ZEC spot è in calo dell'8,0% nelle ultime 24 ore, e nulla nei registri on-chain collega il movimento all'annuncio.

Cosa ha cambiato la patch

La patch del 2 giugno ha modificato lo stato tecnico dei fatti, mentre il registro delle prove resta volutamente esiguo. Non c'è un hash di transazione dell'attaccante da citare né un importo drenato da verificare on-chain, perché i dati on-chain non mostrano alcuno sfruttamento confermato sulla mainnet. L'annuncio di SeedLabs funge esso stesso da post-mortem, indicando una condizione di verifica non vincolata nel circuito Orchard come causa principale e la patch di emergenza completata come rimedio. Ciò che resta irrisolto è altrettanto evidente: non è stata pubblicata alcuna cron indipendente di un tentativo di contraffazione sulla mainnet.

Le domande aperte rimaste sono di natura documentale. Se una cronologia indipendente di un tentativo di contraffazione sulla mainnet emergerà mai, e quanti ulteriori dettagli tecnici sul vincolo difettoso verranno pubblicati oltre al riassunto dell'annuncio, sono i indicatori che completerebbero il quadro.

Contro quel registro pulito, l'interesse istituzionale è continuato a crescere — lo split 3-per-1 di ZCSH di Grayscale e l'ammasso di ZEC da 320 milioni di dollari di Garret Jin delineano un mercato che ha trattato l'incidente come contenuto.