Vitalik Buterin respinge l'idea che gli hack con IA condannino la cybersicurezza

• Buterin afferma che la cybersicurezza favorisce la difesa utilizzando l'IA nella verifica.
• L'imprenditore propone che Ethereum applicherà formalmente la sicurezza assistita dall'IA.

Il cofondatore di Ethereum, Vitalik Buterin, ha respinto la tesi secondo cui gli hack potenziati dall'intelligenza artificiale (IA) lasciano la cybersicurezza senza uscita. "È sempre più comune l'idea che l'hacking con IA significhi che la cybersicurezza è condannata. Non sono d'accordo".

"Credo che la cybersicurezza favorisca naturalmente la difesa una volta che le persone si attivano", ha sostenuto Buterin, aggiungendo che "chiunque continui a mantenere criptovalute (incluso io, il 90% del mio patrimonio netto) sta implicitamente facendo quella scommessa", ha affermato lo sviluppatore ieri 16 settembre 2026.

Il punto centrale di Buterin sottolinea che l'IA può trattare la sicurezza di un software come un teorema matematico, anche di fronte a codici complessi. "Se l'IA può dimostrare Navier-Stokes e FLT, allora l'IA può dimostrare l'affermazione 'questo programma è sicuro' come un teorema matematico. Anche se il programma è molto complicato", ha argomentato.

Le sigle FLT si riferiscono all'Ultimo Teorema di Fermat, mentre Navier-Stokes corrisponde a un insieme di equazioni differenziali della fisica matematica; entrambe rappresentano dimostrazioni complesse.

Lo sviluppatore ha avvertito che la parola "sicuro" nasconde <<ogni tipo di scheletri nell'armadio riguardo a ciò che significa realmente". Per illustrare questa complessità ha utilizzato come caso di prova l'app di messaggistica Signal. Ha spiegato che la definizione più ovvia ---evitare che qualcuno senza la chiave del destinatario legga i messaggi--- non copre scenari in cui l'avversario possa falsificare messaggi, impedire la loro consegna o attaccare attivamente il sistema.

Non contempla nemmeno se un attaccante riesca a inoltrare messaggi vecchi, compromettere il server, adulterare la chiave pubblica, hackerare il dispositivo o provocare perdite di dati tramite errori nel sistema operativo, nel database o nel compilatore. Inoltre, ha messo in discussione se si nasconde la dimensione dei dati inviati o la metainformazione. "Certo, non stai nascondendo l'identità del mittente e del destinatario, né l'ora esatta in cui è stato inviato ogni messaggio", il che consente di inferire "molti fatti importanti su quali relazioni hai e che tipo di conversazioni stai avendo".

Di fronte a questo scenario, ha sottolineato che le definizioni possono superare mille righe di codice. "Lavorare per rendere le definizioni più leggibili per gli esseri umani è di estrema importanza: è forse l'unico 'linguaggio di alto livello' che conta in questo momento", ha indicato. Buterin ha argomentato che verificare la definizione corretta è più accessibile che rivedere il codice direttamente.

Ha anche spiegato che le definizioni sono additive. "Se due gruppi hanno due definizioni distinte A e B, allora, beh, puoi dimostrare che il programma soddisfa sia A che B", mentre nel codice tradizionale un errore in qualsiasi componente può far collassare il sistema.

Il cofondatore di Ethereum ha scartato le revisioni parziali o le corse alla scoperta di vulnerabilità. "La soluzione oggi: mi dispiace, devi verificare letteralmente tutto il tuo programma, incluso il database, la rete, qualsiasi livello di cache, tutto. L'IA moderna può farlo", ha assicurato. "Si tratta specificamente di una strategia asimmetrica per creare codice che sia molto più resiliente fin dall'inizio".

Buterin ha collegato la sua posizione alla rete che guida. "Questa è la direzione che Ethereum prenderà nei prossimi anni. Non c'è futuro per le reti ---specialmente con scalabilità e privacy--- senza fare questo", ha puntualizzato.

Questa visione sulla verifica matematica non emerge in modo isolato, ma risponde a esperimenti dello stesso sviluppatore con strumenti generativi, come riportato da CriptoNoticias. Buterin ha sottolineato che esperimenti di vibecoding ---pratica in cui un programmatore guida l'IA con istruzioni in linguaggio naturale invece di scrivere codice riga per riga--- hanno permesso di costruire in due settimane una versione preliminare della roadmap 2030 della rete.

Questo contenuto è fornito a solo scopo informativo generale e non costituisce consulenza finanziaria, di investimento, legale o fiscale. Qualsiasi evento, ricompensa, promozione online o informazione correlata menzionata nel presente documento non deve essere considerata una raccomandazione, una sollecitazione o un invito ad acquistare, vendere, fare trading o altrimenti negoziare criptovalute. Le criptovalute sono altamente volatili e possono comportare perdite. La disponibilità dei servizi, dei prodotti e degli eventi correlati di WEEX può variare a seconda della regione. È tua responsabilità assicurarti che la tua partecipazione sia conforme alle leggi e ai regolamenti locali applicabili.