Principais pontos
Vitalik Buterin afirmou em publicação que a inteligência artificial fortalecerá a segurança das criptomoedas por meio de verificação formal.
Segundo reportagem do Livecoins, Vitalik Buterin, cofundador do Ethereum, contestou a ideia de que ataques cibernéticos impulsionados por inteligência artificial representam o fim da segurança cibernética. Em uma publicação no X, ele argumentou que a mesma tecnologia que alimenta novos ataques pode tornar o software mais difícil de ser invadido.
Buterin observou que cerca de 90% de seu patrimônio líquido está em criptomoedas. Seu argumento concentra-se na verificação formal, método que usa provas matemáticas para confirmar se um software atende a um padrão de segurança definido. Ele afirmou que sistemas de IA capazes de resolver problemas matemáticos complexos poderiam aplicar o mesmo raciocínio para provar que um programa é seguro.
O cofundador do Ethereum destacou que o desafio mais difícil é escrever a própria definição de segurança. Apesar da complexidade, ele argumentou que verificar uma definição é uma tarefa menor do que analisar todo o código diretamente. O contexto dos comentários envolve uma série de ataques assistidos por IA na indústria cripto nos últimos meses, afetando redes e projetos. Buterin afirmou que o Ethereum pretende realizar a verificação completa do programa nos próximos anos.
Nota sobre fontes e checagem
Este relatório sintetiza a cobertura de Livecoins. As informações foram verificadas e organizadas para clareza de mercado pela equipe de pesquisa da CoinQuickly.
Ler artigo original em Livecoins ↗
