Vitalik Buterin: l'IA non comprometterà la sicurezza delle criptovalute

Il cofondatore di Ethereum Vitalik Buterin afferma che l'IA non comprometterà la sicurezza delle criptovalute. In un post pubblicato mercoledì su X, Buterin ha detto che l'IA non darà agli hacker un vantaggio insormontabile. Ha affermato che i detentori di criptovalute stanno scommettendo sulla capacità delle difese di sicurezza di tenere il passo. Circa il 90% del patrimonio netto di Buterin è costituito da criptovalute. Buterin ha detto che l'IA potrebbe rendere concretamente praticabile la verifica formale di sistemi complessi. La verifica formale usa dimostrazioni matematiche per stabilire che un software è sicuro. Buterin ha affermato che l'IA potrebbe dimostrare che programmi complessi soddisfano requisiti di sicurezza definiti chiaramente. Ha detto che la parte difficile è definire che cosa significhi essere sicuri. Gli sviluppatori blockchain usano sempre più spesso agenti di IA per scansionare il codice, testare gli exploit e verificare le vulnerabilità prima che agiscano gli aggressori. A maggio, il ricercatore di sicurezza Taylor Hornby ha usato Claude Opus 4.8 di Anthropic per scoprire una vulnerabilità vecchia di 4 anni nel pool per la privacy Orchard di Zcash. La vulnerabilità avrebbe potuto consentire la contraffazione illimitata e non rilevabile di ZEC. Gli sviluppatori non hanno trovato prove che gli aggressori avessero sfruttato la vulnerabilità prima di applicare la patch a giugno. A luglio, i ricercatori della Ethereum Foundation hanno detto che gli agenti di IA avevano scoperto vulnerabilità nelle infrastrutture di rete critiche. Gli aggressori hanno inoltre iniziato a svuotare i portafogli Coldcard sfruttando una vulnerabilità del firmware vecchia di anni che indeboliva la generazione del seed. Gli attacchi hanno sottratto circa 130 milioni di dollari in Bitcoin. Coinkite, il produttore di Coldcard, ha detto che probabilmente l'IA ha contribuito a individuare il bug. Ad agosto, Boltz ha sospeso il proprio servizio di swap. Boltz ha detto che gli aggressori sospetti stavano individuando le vulnerabilità più rapidamente di quanto i suoi sviluppatori riuscissero a correggerle. Core Lightning ha confermato che diverse vulnerabilità individuate nei report generati dall'IA erano reali. Il gruppo di volontari Bitcoin Red Team ha usato audit assistiti dall'IA per segnalare 4.962 potenziali vulnerabilità in 390 progetti. Buterin ha detto che ora l'IA può verificare programmi interi invece di componenti selezionati. Ethereum prevede di portare avanti questo approccio nei prossimi anni.