O cofundador do Ethereum, Vitalik Buterin, acredita que a inteligência artificial pode se tornar uma grande aliada para aumentar a segurança em criptomoedas e proteger a infraestrutura crítica da internet. Em uma publicação recente, ele defendeu a combinação de códigos gerados por IA com softwares matematicamente validados.
Essa técnica, conhecida como “verificação formal”, utiliza provas matemáticas computacionais para garantir que um sistema funcione exatamente como planejado. Com o avanço tecnológico, Vitalik Buterin aponta que a IA facilitará tanto a escrita dos códigos quanto a criação dessas validações necessárias.
O posicionamento surge em meio ao receio global de que a inteligência artificial possa acelerar ciberataques e a descoberta de falhas por agentes maliciosos. Atualmente, as brechas em protocolos de finanças descentralizadas (DeFi) geram prejuízos de milhões de dólares no ecossistema de ativos digitais.
Como funciona uma DAO e por que a Web3 aposta nesse modelo
Nem tudo é perfeito: o aviso de Vitalik Buterin sobre o uso de inteligência artificial
Segundo Buterin, os softwares validados matematicamente podem mudar esse cenário em frentes cruciais, como nos mecanismos de consenso, sistemas de prova de conhecimento zero (zero-knowledge) e na criptografia pós-quântica. “Erros em códigos de computador são assustadores”, destacou o desenvolvedor.
Apesar do otimismo sobre a melhora na segurança em criptomoedas, o criador do Ethereum reforçou que a ferramenta não é uma solução mágica. Os sistemas ainda podem falhar se os programadores partirem de premissas erradas, ignorarem vulnerabilidades físicas de hardware ou deixarem partes da rede sem checagem.
Alguns pesquisadores temem que softwares complexos gerados por computadores se tornem impossíveis de auditar de forma totalmente confiável. Vitalik Buterin discorda e argumenta que a tecnologia ajudará os defensores a identificar e eliminar falhas antes que os invasores consigam explorá-las.
Em sua conclusão, ele resume o equilíbrio necessário para o setor: “A IA oferece a capacidade de escrever grandes volumes de código ao custo da precisão, e a verificação formal devolve… a precisão”. Para ele, embora o padrão inicial da IA resulte em códigos descuidados, há um futuro otimista para a segurança em criptomoedas.
IA na segurança de criptomoedas: o risco invisível que está mudando o DeFi
