- Vitalik Buterin ofereceu sua opinião sobre os sistemas emergentes de verificação assistida por IA.
- Buterin apoia a nova ideia, observando que ela pode tornar os sistemas cripto mais seguros.
- Ele destacou preocupações quando atacantes usam tais protocolos de IA para identificar falhas rapidamente.
O cofundador do Ethereum, Vitalik Buterin , acredita que a verificação assistida por IA poderia melhorar a segurança dos sistemas de criptomoedas. Daí a possibilidade de ter detectores de bugs assistidos por IA na indústria.
Vitalik Buterin Apoia Verificação Assistida por IA
A declaração mais recente de Buterin levantou novas preocupações sobre o futuro da segurança de software, considerando sua afirmação de que a inteligência artificial melhora as ferramentas de descoberta de bugs. Segundo Buterin, a IA pode expor sérias fragilidades em blockchains, sistemas de criptografia e aplicações descentralizadas, a menos que os desenvolvedores adotem métodos de verificação mais rigorosos.
Vale ressaltar que o comentário de Buterin chega em um momento crucial na indústria de tecnologia, quando a propagação da IA está ganhando força significativa, com o setor correndo para integrar a IA ao desenvolvimento de software. Enquanto isso, pesquisadores de cibersegurança acreditam que a IA avançada pode identificar vulnerabilidades mais rapidamente do que engenheiros humanos conseguem corrigi-las.
Uma Camada Potencial Crítica de Defesa
Após os desenvolvimentos atuais, Buterin acredita que a verificação formal pode se tornar uma camada crítica de defesa para sistemas de infraestrutura digital, incluindo o Ethereum. Segundo ele, a verificação formal é uma forma de testar matematicamente o software antes que hackers possam explorar suas fraquezas.
Hoje, desenvolvedores integram ferramentas como a IA Lean, usando-as para confirmar como os programas se comportam e garantir confiabilidade. Esse processo pode ajudar computadores a detectar erros de codificação que podem ser invisíveis ao olho humano. Por exemplo, a IA Enxuta foca em amplificação em vez de substituição, usando IA para tornar as pessoas melhores solucionadoras de problemas.
Buterin ainda observou que pesquisadores agora combinam modelos de IA com sistemas de verificação para produzir códigos mais rápidos e seguros simultaneamente. Ele considera essa uma mudança que pode se tornar cada vez mais importante à medida que as ferramentas de IA geram grandes quantidades de software em toda a indústria de tecnologia.
A forma final do desenvolvimento de software
Significativamente, Buterin citou os comentários de Yoichi Hirai, especialmente sua descrição da abordagem emergente como “a forma final de desenvolvimento de software.” Ele também destacou o trabalho de segurança da Signal, junto com sistemas modernos de criptografia, observando que pesquisadores já estão usando verificação formal para testar protocolos como X3DH e AES.
Enquanto isso, Buterin observou que ferramentas de IA cada vez mais poderosas têm o potencial de expor fraquezas em contratos inteligentes e plataformas de finanças descentralizadas muito mais rápido do que os desenvolvedores conseguem responder. Segundo ele, atacantes que usem essas ferramentas podem em breve adquirir a capacidade de identificar falhas de software em minutos, o que se tornaria uma ameaça significativa para a indústria blockchain.
No entanto, ele argumentou contra o uso de software de código aberto e contratos inteligentes se tornarem arriscados demais para manter. Na verdade, ele acredita que os desenvolvedores ainda podem usar métodos de verificação mais rigorosos, linguagens de programação mais seguras e padrões de design de software mais rigorosos para defender sistemas críticos.
Relacionado: Cofundador da Ethereum apoia IA: Não Perca a Onda Verde em Tokens de Big Data
Disclaimer: The information presented in this article is for informational and educational purposes only. The article does not constitute financial advice or advice of any kind. Coin Edition is not responsible for any losses incurred as a result of the utilization of content, products, or services mentioned. Readers are advised to exercise caution before taking any action related to the company.
