Di: Zooko Wilcox, Jason McGee e Taylor Hornby di Shielded Labs
Sintesi
Shielded Labs sta collaborando con The Zcash Foundation, Tachyon Group, Valar Group e Zcash Open Development Lab (ZODL) a una proposta chiamata "Ironwood" per ripristinare la capacità degli utenti di verificare la solidità della quantità di Zcash in circolazione.
La scorsa settimana, una vulnerabilità critica di contraffazione è stata scoperta nel pool Orchard di Zcash. La vulnerabilità è stata risolta tramite un aggiornamento di rete d'emergenza coordinato da ZODL e altri partecipanti dell'ecosistema, completato il 2 giugno.
Sebbene riteniamo improbabile che la vulnerabilità sia stata sfruttata (per i motivi indicati nella nostra informativa), le proprietà di privacy di Orchard impediscono agli utenti di verificarlo autonomamente.
Ironwood consentirebbe agli utenti di verificare che la quantità di Zcash in circolazione sia corretta. Gli utenti acquisirebbero questa capacità immediatamente dopo l'attivazione di Ironwood, semplicemente sommando i saldi dei pool attivi. Non avrebbero bisogno di ragionare sugli incentivi o sulle azioni di altri, né di attendere la migrazione dal pool Orchard, per verificare che la quantità totale di Zcash in circolazione sia corretta.
Ironwood
L'obiettivo di Ironwood è ripristinare la capacità di ogni utente Zcash di verificare l'integrità della quantità di Zcash in circolazione. Questa verificabilità è stata compromessa dall'esistenza della vulnerabilità di contraffazione. Immediatamente dopo l'attivazione, gli utenti potranno verificare in modo indipendente che la quantità di Zcash in circolazione sia solida, semplicemente eseguendo un nodo.
Per raggiungere questo obiettivo, Ironwood:
- Creerà un nuovo pool protetto utilizzando il circuito Orchard con la recente vulnerabilità di contraffazione corretta.
- Rifiuterà come non valida qualsiasi transazione che crei un nuovo output nel vecchio pool Orchard.
- Aumenterà la garanzia sul codice sorgente, utilizzando tecniche come il controllo di sicurezza assistito da intelligenza artificiale e la verifica formale, tutte finalizzate a garantire l'assenza di ulteriori bug di contraffazione.
Perché Ironwood Funziona
Ironwood modifica ciò che può accadere all'interno del pool Orchard.
Dopo l'attivazione, qualsiasi transazione che crei un nuovo output nel pool Orchard verrà rifiutata. Ciò significa che ZEC non potrà più continuare a circolare all'interno di quel pool. Da quel momento in poi, i fondi nel pool Orchard potranno muoversi solo uscendo dal pool attraverso un tornello.
I tornelli sono il meccanismo contabile on-chain di Zcash per i trasferimenti tra pool. Tengono traccia di quanto ZEC è entrato e uscito da ciascun pool e rifiutano qualsiasi transazione che tenti di spostare più ZEC di quanto sia legittimamente entrato.
Insieme, queste regole significano che gli utenti non devono attendere la migrazione di tutti, o anche solo di alcuni, fondi Orchard. Non appena Ironwood si attiva, gli utenti possono verificare dalle regole di consenso che non possa essere in circolazione più della corretta quantità di ZEC. Ciò fornisce una garanzia immediata e senza fiducia della solidità della quantità di Zcash in circolazione. Lo ZEC in eccesso non può circolare segretamente tra gli utenti del pool Orchard, né può fuoriuscire in un altro pool.
Generare Prove sul Fatto che la Vulnerabilità Sia Stata Sfruttata o Meno
Ironwood potrebbe anche fornire prove sul fatto che la vulnerabilità Orchard sia mai stata sfruttata, ma il raggiungimento del suo obiettivo non dipende dall'emergere di tali prove.
Mentre gli utenti migrano i fondi dal pool Orchard esistente al nuovo pool, qualsiasi ipotetico contraffattore si trova di fronte a una scelta: tentare di spostare fondi contraffatti rischiando di esporre la loro esistenza, o lasciarli indietro rischiando di non poterli spostare in futuro.
Ciò crea due possibili risultati:
Risultato A: Nessun ZEC in eccesso tenta di lasciare il pool Orchard esistente. Questa sarebbe una forte prova che la vulnerabilità non è mai stata sfruttata, poiché un contraffattore avrebbe un forte incentivo a spostare fondi contraffatti prima che gli utenti legittimi completino le loro migrazioni.
Risultato B: Lo ZEC in eccesso tenta di lasciare il pool Orchard esistente. In questo caso, i fondi in eccesso non potrebbero lasciare il pool e verrebbero effettivamente distrutti. Sfortunatamente, ciò è necessario per preservare l'attuale quantità in circolazione in tutti i pool. Ciò fornirebbe anche prove verificabili pubblicamente che la contraffazione è avvenuta. Poiché riteniamo che la vulnerabilità non sia stata sfruttata, riteniamo che questo risultato sia improbabile.
Wallet
Raccomandiamo che tutti i wallet che supportano il pool Orchard esistente aggiungano il supporto per il nuovo pool.
I wallet dovrebbero continuare a supportare il pool Orchard esistente normalmente fino all'attivazione di Ironwood, e quindi migrare i fondi degli utenti dal pool Orchard esistente al nuovo pool. Sebbene la migrazione abbia implicazioni per la privacy (vale a dire, espone la quantità di ZEC trasferita e il momento in cui il trasferimento è avvenuto), riteniamo che l'impatto sulla privacy degli utenti sia modesto e possa essere ulteriormente mitigato dal comportamento del wallet.
I ricevitori Orchard esistenti (cioè gli indirizzi) rimangono validi e non dovrebbero essere ruotati. Lo ZEC inviato ai ricevitori Orchard creati prima dell'attivazione di Ironwood verrebbe automaticamente ricevuto come ZEC nel nuovo pool.
Tempistiche
Come la maggior parte degli aggiornamenti di rete, Ironwood richiederà sviluppo, test, revisione e coordinamento in tutto l'ecosistema. L'esperienza ha dimostrato che questo lavoro spesso richiede più tempo del previsto, quindi riteniamo sia meglio essere cauti nel discutere le tempistiche piuttosto che promettere troppo e mantenere poco.
Un'ulteriore fonte di incertezza è la continua deprecazione di zcashd. Sebbene Shielded Labs non sia stata direttamente coinvolta in questo sforzo, la migrazione di exchange, pool di mining, wallet e altri fornitori di infrastrutture a Zebra potrebbe influenzare i tempi di questo aggiornamento di rete.
Prevediamo di avere una migliore comprensione della tempistica man mano che i piani di implementazione matureranno e le discussioni continueranno.
Conclusione
Vogliamo sottolineare che riteniamo improbabile un precedente sfruttamento della vulnerabilità Orchard. Ma gli utenti non dovrebbero doversi fidare della nostra valutazione, o di quella di chiunque altro, quando si tratta dell'integrità della quantità di Zcash.
Ironwood è progettato per ripristinare una garanzia della quantità di Zcash in circolazione che chiunque possa verificare autonomamente. Che la vulnerabilità sia mai stata sfruttata o meno, l'obiettivo è lo stesso: rendere l'integrità della quantità di Zcash qualcosa di verificabile.
Riteniamo che Ironwood sia la strada migliore da percorrere e non vediamo l'ora di discutere questa proposta con la comunità Zcash.
Ringraziamenti
Grazie a Sean Bowe, Dev Ojha, David Campbell, Alex Bornstein, Nate Wilcox, Kris Nuttycombe, Vitalik Buterin, Balaji Srinivasan, Taylor Hornby, Josh Swihart e Tatyana per la revisione e il feedback. Un ringraziamento speciale a Kris Nuttycombe per aver suggerito che l'aggiornamento Ironwood disabiliti le transazioni che creano output nel vecchio pool Orchard. Ciò si rivela fondamentale affinché Ironwood raggiunga il suo obiettivo.
