O cofundador do Ethereum, Vitalik Buterin, não acredita que melhorar a inteligência artificial acabará tornando a cibersegurança essencialmente impossível de vencer.
Buterin está confiante de que o oposto pode acabar acontecendo: a IA pode dar aos defensores as ferramentas necessárias para construir softwares que sejam significativamente mais difíceis de explorar desde o início.
"É uma opinião cada vez mais comum que o hacking por IA significa que a cibersegurança está condenada. Eu discordo", escreveu Buterin em uma longa e, como de costume, substancial publicação nas redes sociais na quarta-feira, na rede social X.
De acordo com o cofundador do Ethereum, a cibersegurança deveria naturalmente favorecer os defensores assim que os desenvolvedores começarem a aproveitar plenamente a verificação formal.
Buterin também vinculou essa crença diretamente à sua própria exposição a criptomoedas, revelando que cerca de 90% do seu patrimônio líquido permanece em cripto.
Qualquer pessoa que continue a manter quantias substanciais de criptomoedas, argumentou ele, está implicitamente apostando que sistemas digitais suficientemente seguros podem ser construídos apesar de atacantes cada vez mais sofisticados.
"Se a IA pode provar Navier-Stokes e o Último Teorema de Fermat, então a IA pode provar a afirmação 'este programa é seguro' como um teorema matemático", escreveu Buterin, referindo-se ao problema de Navier-Stokes e ao Último Teorema de Fermat.
Seu argumento baseia-se na verificação formal, um método de demonstrar matematicamente que um software satisfaz propriedades específicas.
Buterin explorou a mesma ideia extensivamente em seu ensaio de maio, no qual descreveu a verificação formal assistida por IA como uma ferramenta enormemente transformadora para softwares críticos de segurança. No entanto, provar que tais softwares são seguros pode se revelar desafiador.
O problema da definição
Buterin usou o aplicativo de mensagens criptografadas Signal como exemplo para mostrar por que isso pode ser difícil.
Um atacante pode tentar forjar mensagens, impedir que elas cheguem, reproduzir mensagens antigas, comprometer um servidor, manipular o processo usado para descobrir a chave pública de outro usuário ou explorar uma vulnerabilidade no sistema operacional.
Outros problemas podem surgir de bancos de dados corrompidos, bibliotecas maliciosas, compiladores ou até mesmo vazamentos de informações em nível de hardware.
Mesmo que o conteúdo de uma conversa permaneça criptografado, um atacante ainda pode descobrir quem está se comunicando. Como resultado, a definição matemática do que "seguro" realmente significa pode se tornar extremamente complicada.
"Então ... até mesmo as definições podem ter mais de mil linhas de código, e precisam de reflexão profunda e cuidadosa para serem compreendidas", escreveu Buterin.
Atacante e defensor
Sem dúvida, sistemas de IA mais capazes podem tornar mais fácil encontrar vulnerabilidades.
No entanto, a mesma melhoria no raciocínio de máquina também pode reduzir drasticamente o custo de provar formalmente que um software se comporta de acordo com especificações de segurança cuidadosamente construídas.
Ambos os lados terão IA.
