I fondatori di Gemini, Tyler e Cameron Winklevoss, hanno sostenuto pubblicamente la verifica formale come soluzione per mettere in sicurezza Zcash (ZEC), approvando l’interpretazione di uno sviluppatore in merito al recente bug di contraffazione, ora corretto, della privacy coin.
I loro commenti sono arrivati durante una forte ondata di vendite di ZEC, cambiando la narrazione dell’episodio e spostando l’attenzione su una strategia di sicurezza di lungo termine, invece che sul difetto in sé.
Perché il sostegno dei Winklevoss è importante per Zcash
Tyler Winklevoss ha concordato con Haseeb Qureshi, managing partner di Dragonfly, che ha affermato che il bug avrebbe colpito principalmente le persone che detengono Zcash in modalità shielded, e non il mercato trasparente.
I gemelli Winklevoss hanno co-fondato Gemini, un exchange regolamentato negli Stati Uniti. Il loro sostegno, quindi, ha un peso particolare presso le istituzioni che ora detengono riserve di ZEC.
“Ma se l’IA ha scoperto questo bug, sarà anche l’IA a fornire la soluzione definitiva: la verifica formale… La crittografia verificata formalmente non può avere bug di implementazione per costruzione”, ha spiegato l’esecutivo di Dragonfly.
Seguici su X per ricevere le ultime notizie in tempo reale
La verifica formale come roadmap
Cameron Winklevoss ha affermato che la verifica formale rendetà impossibili i bug di contraffazione nei pool shielded. Gli sviluppatori di Zcash intendono integrare questo metodo nel prossimo upgrade della rete.
Secondo Qureshi, l’upgrade abbinerà un nuovo pool shielded a un nuovo turnstile. Questo meccanismo migrerà i fondi dall’attuale pool Orchard e dimostrerà on-chain che nessun ZEC contraffatto è stato creato.
Il piano segue l’emergenza per correggere il bug di Orchard, che ha risolto la falla prima che venisse sfruttata.
Zcash aveva anche appena raggiunto una fornitura shielded da record prima che si diffondesse la notizia.
“Nell’era dell’IA, la verifica formale è la strada da seguire per mettere in sicurezza il software e Zcash sta facendo da apripista. Zcash introdurrà la verifica formale nel prossimo upgrade di rete, rendendo impossibili i bug di tipo ‘stampa denaro’ nei pool shielded. Il denaro criptato con correttezza dimostrabile è inarrestabile”, ha aggiunto Cameron Winklevoss.
La ondata di vendite su Zcash di venerdì ha cancellato parte del rally 2026 registrato in precedenza da ZEC. Qureshi ha anche rivelato che Dragonfly detiene ZEC e che lui personalmente investe in un veicolo correlato.
Questo contesto è importante quando si valutano i commenti bullish provenienti dai grandi detentori di ZEC.
Il prossimo upgrade verificherà se la correttezza dimostrabile può ristabilire la fiducia nel denaro privato. Fino a quando un nuovo pool non certificherà la fornitura, i detentori stanno prezzando l’incertezza.
