Vitalik Buterin ha una visione diversa sugli hacker dell'IA e sul futuro della sicurezza informatica

Vitalik Buterin non ritiene giustificata la crescente preoccupazione secondo cui gli attacchi informatici basati sull’IA potrebbero rendere la sicurezza informatica sempre più difficile. In un recente post, il cofondatore di Ethereum ha detto di non essere d’accordo con l’idea che l’hacking basato sull’IA significhi che «la sicurezza informatica è spacciata».

Ha invece affermato che la sicurezza potrebbe naturalmente favorire la protezione, una volta che le persone avranno creato i sistemi giusti e adottato strumenti di verifica più efficaci.

Gli hacker basati sull’IA e il futuro della sicurezza informatica

Buterin ha fatto un semplice esempio che coinvolge l’intelligenza artificiale avanzata e la matematica. Ha detto:

«Se l’IA riesce a dimostrare Navier-Stokes e FLT, allora può dimostrare l’affermazione “questo programma è sicuro” come teorema matematico, anche se il programma è molto complicato.»

Buterin ha però sottolineato che definire cosa significhi davvero «sicuro» è molto più difficile di quanto sembri. Un sistema può presentare molteplici problemi di sicurezza da prendere in considerazione. Le definizioni di sicurezza possono diventare estremamente dettagliate. Possono descrivere come un aggressore potrebbe interferire con un sistema, come potrebbero trapelare informazioni e cosa potrebbe accadere se diverse parti del software o dell’hardware si guastassero o venissero compromesse.

Per questo, Buterin ha detto che rendere le definizioni più comprensibili alle persone è estremamente importante. Ha descritto questo aspetto come forse l’unico «linguaggio di alto livello» che conta in questo momento. Buterin ritiene comunque che, per i componenti critici per la sicurezza, la definizione possa rappresentare una superficie di attacco molto più ridotta rispetto all’implementazione stessa.

Verificare se la definizione è adeguata può anche essere più semplice che esaminare direttamente il codice. Ha detto che strumenti migliori potrebbero rendere questo processo ancora più pratico.

Vede persino un vantaggio nel lavorare con le definizioni: sono additive. Se due gruppi hanno due definizioni diverse, gli sviluppatori possono dimostrare che un programma soddisfa entrambe. Se le due definizioni non possono essere soddisfatte contemporaneamente, il conflitto viene isolato e diventa una questione importante da affrontare per il progetto.

Verifica dell'intero programma

Secondo il cofondatore di Ethereum, il codice non funziona così. Se un programma è composto da parti diverse, un bug in una qualsiasi di esse può compromettere l'intero programma. Buterin ha riconosciuto che questo approccio non funziona altrettanto bene per ogni tipo di software. In alcuni casi, come per i componenti dell'interfaccia utente, la definizione può essere quasi grande quanto l'implementazione.

Ma per molti componenti critici, ha detto, la differenza è reale. Ha citato in particolare i protocolli di scambio di messaggi, le sandbox e i sistemi crittografici come gli SNARK e la crittografia completamente omomorfica. In passato, gli sviluppatori verificavano spesso solo le parti del codice che ritenevano critiche per la sicurezza. Il resto rimaneva senza verifiche. Sebbene fosse comprensibile quando la verifica era difficile e poco diffusa, ritiene che l'IA moderna cambi la situazione.

Per Buterin, la risposta quindi non è semplicemente sperare che i «buoni» trovino le vulnerabilità prima dei «cattivi». La strategia più importante è rendere il codice molto più resiliente fin dall’inizio. Secondo lui, non c’è futuro per le blockchain, soprattutto quelle incentrate sulla scalabilità e sulla privacy, senza questo tipo di lavoro.

Fonte: CryptoPotato