Zcash rischia un'interruzione di rete

Zcash $ ZEC Secondo InfinityHedge, il 3 giugno la rete non è riuscita a produrre un blocco per oltre quattro ore, prolungando un periodo di instabilità iniziato il giorno precedente, quando gli sviluppatori avevano coordinato un aggiornamento di emergenza del protocollo.

Che fine ha fatto la piscina dell'Orchard?

Il Zcash Open Development Lab (ZODL) ha coordinato un aggiornamento di rete per correggere una vulnerabilità in Orchard, il pool protetto più recente della blockchain, dopo aver segnalato il problema durante una revisione della sicurezza nel fine settimana. L'aggiornamento è stato attivato al blocco 3,363,426 della mainnet intorno alle 02:00 UTC del 2 giugno e ha richiesto ai miner di tutta la rete di interrompere temporaneamente il mining di tutte le transazioni relative a Orchard mentre la correzione a livello di protocollo veniva implementata.

Il problema risiedeva in una vulnerabilità di solidità nel pool protetto di Orchard. In Zcash, la solidità implica che il protocollo debba accettare solo transazioni valide e modifiche di stato valide. Un bug di solidità può consentire al sistema di accettare qualcosa che dovrebbe rifiutare. In questo caso, uno sfruttamento riuscito avrebbe potuto consentire transizioni di stato non valide all'interno di Orchard, potenzialmente compromettendo le garanzie contabili del pool.

Il team di Zcash ha dichiarato che il problema è stato identificato tramite controlli di routine e verifiche di sicurezza prima che si verificasse qualsiasi sfruttamento noto. Le transazioni Sapling, trasparenti e protette, non sono state interessate. La soluzione è stata implementata in due fasi: la prima è stata un soft fork che ha disabilitato temporaneamente Orchard bloccando la creazione di nuovi output e la spesa dei fondi esistenti, mentre la seconda è stata un hard fork che ha aggiornato il circuito di prova a conoscenza zero e ripristinato completamente la funzionalità di Orchard.

Un aspetto rilevante dell'annuncio è stata la rivelazione da parte di Zcash di star notificando i gestori di altri protocolli che hanno implementato Orchard, il che suggerisce che il problema potrebbe estendersi oltre l'implementazione di Zcash stessa.

Contesto più ampio e reazione del mercato

Gli sviluppatori hanno indicato che il problema richiedeva una modifica a livello di protocollo piuttosto che un normale aggiornamento software, il che significa che i validatori dovevano adottare nuove regole di consenso per risolvere il problema. A differenza dei controversi fork della blockchain che creano catene concorrenti, l'ecosistema Zcash si è allineato attorno a un unico percorso di aggiornamento, con i validatori che hanno di fatto isolato il sottosistema Orchard interessato, consentendo al contempo alla maggior parte delle attività di rete di continuare senza interruzioni.

L'interruzione si verifica durante un ciclo di aggiornamenti insolitamente attivo per la rete. Una serie di patch di emergenza, tra cui Zebra 4.4.0 all'inizio di maggio, 4.5.0 il 29 maggio e 4.5.1 subito dopo, ha sollevato interrogativi sulla complessità strutturale della manutenzione del protocollo. La precedente versione 4.4.0 ha corretto cinque vulnerabilità di sicurezza, tre delle quali critiche per il consenso, tra cui un blocco del rilevamento dei blocchi che poteva essere attivato con una sola connessione malevola.

Nonostante le turbolenze, i mercati hanno reagito con serenità all'ultima perturbazione. Il mercato ha interpretato la risposta rapida e trasparente come un segno di solida governance del protocollo, con $ZEC che si è disaccoppiato dal più ampio sell-off delle criptovalute e ha registrato un netto guadagno giornaliero mentre Bitcoin è calato.

fonti
Forum della community di Zcash: Vulnerabilità di Orchard risolta con successo
Crypto Times: Zcash esegue un fork di emergenza dopo la scoperta di una vulnerabilità critica nell'Orchard.
Avventura nel mondo delle criptovalute: Zcash ripristina Orchard dopo una vulnerabilità critica del pool protetto.