Illia Polosukhin, cofondatore di NEAR Protocol, ha lanciato un serio avvertimento lunedì: l'hacking basato sull'intelligenza artificiale si sta muovendo più velocemente del tradizionale processo di revisione del codice, rendendo obsoleti i vecchi metodi di sicurezza. Ha definito la verifica formale – un approccio matematico per dimostrare che un programma fa esattamente ciò che dovrebbe fare – il passo successivo necessario per la sicurezza delle blockchain.
Il commento di Polosukhin arriva in un momento in cui gli strumenti di IA generativa possono già scrivere smart contract funzionanti, trovare exploit e persino creare carico per attacchi. Le revisioni tradizionali, in cui gli esseri umani leggono manualmente il codice riga per riga, semplicemente non riescono a tenere il passo con la velocità e la scala degli attacchi generati dall'IA, ha sostenuto.
La verifica formale non è una novità. È stata a lungo utilizzata nel software aerospaziale, della difesa e finanziario, dove i bug sono inaccettabili. Ma i costi sono elevati: scrivere specifiche formali per un singolo smart contract può richiedere settimane. Polosukhin ha riconosciuto il costo, ma ha affermato che il compromesso sta cambiando man mano che le minacce guidate dall'IA si moltiplicano.
"Con l'hacking assistito dall'IA, l'attaccante può generare migliaia di varianti di un exploit in pochi secondi", ha detto Polosukhin in un'intervista con The Block. "Un revisore umano potrebbe cogliere uno schema, ma non le variazioni. La verifica formale ti dà una garanzia, non solo un'ipotesi."
L'avvertimento ha un peso particolare per i progetti blockchain, dove un singolo difetto nel codice può prosciugare milioni in pochi secondi. La stessa NEAR utilizza una piattaforma di smart contract basata su Rust e ha investito in strumenti di verifica formale per il suo ecosistema, ma il settore in generale si affida ancora pesantemente alle revisioni manuali.
Per trader e sviluppatori, questo cambiamento significa un premio crescente per le chain e le dApp che adottano rigorosi metodi formali – e un rischio crescente per quelle che non lo fanno. Il prossimo catalizzatore da osservare: se i principali protocolli DeFi inizieranno a imporre la verifica formale nei loro standard di sicurezza.
Cofondatore di NEAR: l'hacking con IA supera le revisioni del codice
Il cofondatore di NEAR, Polosukhin, sottolinea l'importanza della verifica formale per proteggere il codice blockchain da tecniche di hacking avanzate basate sull'IA. Ciò riflette le crescenti preoccupazioni riguardo alle minacce dell'IA per la sicurezza delle blockchain.