Zcash ha recentemente completato l’**upgrade Ironwood**, un’importante evoluzione della sua rete, sostituendo il pool shielded Orchard con una versione formalmente verificata. L’obiettivo principale di questo aggiornamento è prevenire la creazione di ZEC contraffatti in modo non rilevabile e migliorare l’integrità dell’offerta.
Summary
Zcash attiva l’upgrade Ironwood che sostituisce il pool shielded Orchard
L’**upgrade Ironwood di Zcash** è stato attivato al blocco 3.428.143 come parte del processo di aggiornamento NU6.3. Questo aggiornamento ha introdotto un nuovo pool shielded, progettato per ripristinare la fiducia nell’integrità dell’offerta di Zcash dopo le preoccupazioni sollevate dal pool Orchard.
Il pool Orchard, ora in fase di uscita, permette solo il ritiro dei fondi senza accettare nuove attività shielded. Nonostante oltre 40.000 ZEC siano già stati trasferiti a Ironwood, circa 3,6 milioni di ZEC restano ancora nel pool Orchard in attesa di migrazione.
Dettagli sull’attivazione e stato della migrazione
Il completamento dell’attivazione di Ironwood segna il culmine di un lavoro di mesi da parte delle organizzazioni coinvolte in Zcash, dopo la scoperta di un bug nel pool Orchard che avrebbe potuto consentire la creazione di ZEC contraffatti. Questo ha portato a una significativa volatilità nel prezzo di ZEC, che ha subito un calo del 9% dopo l’annuncio dell’upgrade.
Modifiche operative al pool Orchard
Orchard è ora limitato a supportare solo i prelievi, segnando una transizione verso il nuovo sistema di contabilità introdotto da Ironwood, che include un proprio albero di impegno delle note e un checkpoint pubblico per prevenire la contraffazione.
Miglioramenti tecnici e sicurezza dell’offerta in Ironwood
L’**upgrade Ironwood** introduce nuovi confini contabili e checkpoint pubblici, migliorando la sicurezza delle transazioni shielded e l’integrità dell’offerta. Questo sistema permette ai nodi di monitorare indipendentemente il nuovo pool shielded.
Nuovi confini contabili e checkpoint pubblici
Il nuovo sistema contabile di Ironwood comprende un albero di impegno delle note, un set di annullamenti e una catena di valori, consentendo una verifica indipendente che l’offerta circolante di Zcash rispetti il limite di emissione di 21 milioni di ZEC.
Integrazione delle note quantum-recoverable
Ironwood incorpora anche le note ZIP 2005 quantum-recoverable, che potrebbero un giorno consentire un meccanismo di recupero se i progressi nel calcolo quantistico indebolissero le protezioni crittografiche attuali.
Scoperta del bug infinito in Orchard e le sue conseguenze
L’infinity bug scoperto nel pool Orchard da Taylor Hornby ha evidenziato un rischio teorico di creazione di ZEC contraffatti non rilevabili. Sebbene non ci siano prove che il bug sia stato sfruttato, ha spinto allo sviluppo urgente di una soluzione alternativa.
Scoperta del bug e rischio teorico
Il bug è stato scoperto a fine maggio e ha sollevato preoccupazioni sulla possibilità che avesse permesso la creazione di ZEC contraffatti. Questo ha reso necessario un intervento tempestivo per garantire la sicurezza dell’intera rete Zcash.
Riparazioni d’emergenza e motivi della sostituzione
Le riparazioni d’emergenza hanno temporaneamente disabilitato Orchard, ma la necessità di un pool shielded sostitutivo è stata chiara per garantire l’integrità dell’offerta. La sostituzione di Orchard con Ironwood è stata quindi pianificata e attuata.
Verifica formale del modello di sicurezza di Ironwood
La verifica formale del modello di sicurezza di Ironwood ha rafforzato la fiducia nella sua capacità di prevenire la creazione di ZEC contraffatti.
Prova matematica controllata da macchina e metodologia
Il team di Project Tachyon ha completato una prova matematica controllata da macchina, composta da oltre 2.700 teoremi, confermando che Ironwood non può creare ZEC contraffatti non rilevabili.
Limiti della portata della verifica
La verifica formale si concentra sull’integrità del bilancio, ma non si estende alle garanzie di privacy separate di Ironwood. Ciò significa che ulteriori verifiche potrebbero essere necessarie per coprire tutti gli aspetti della sicurezza.
FAQ
Cos’è l’upgrade Ironwood di Zcash?
Ironwood è un aggiornamento di rete che ha sostituito il vulnerabile pool shielded Orchard con un pool formalmente verificato, migliorando la sicurezza dell’offerta e mantenendo la privacy.
Perché l’upgrade Ironwood era necessario?
L’aggiornamento era necessario perché un bug ‘infinito’ nel pool Orchard rappresentava un rischio teorico di creazione di ZEC contraffatti non rilevabili.
Ironwood può ancora creare ZEC contraffatti?
Secondo una prova matematica controllata da macchina realizzata da Project Tachyon e dagli sviluppatori di Zcash, Ironwood non può creare ZEC contraffatti non rilevabili sotto le sue ipotesi di progetto.
Cosa succede ai fondi ancora nel pool Orchard?
Orchard è entrato in una fase di uscita, permettendo agli utenti di ritirare i fondi ma senza nuove transazioni shielded. La migrazione a Ironwood è in corso con circa 3,6 milioni di ZEC rimanenti.
Contenuto realizzato con l’assistenza dell’intelligenza artificiale e con revisione editoriale umana.
