Vitalik Buterin declaró el 17 de septiembre que la afirmación de que los hackers de IA harán que la ciberseguridad sea insostenible es errónea. Recordó que el 90% de su fortuna permanece en criptomonedas y argumentó que la verificación formal respaldada por IA puede ayudar a demostrar que el software cumple con los requisitos de seguridad establecidos. Según Buterin, el equipo de seguridad de Ethereum ya utiliza agentes de IA para verificar el código del protocolo y reproducir vulnerabilidades de manera independiente. Según datos de Anthropic, la IA avanzada puede acelerar los ataques, mientras que sus modelos han descubierto miles de vulnerabilidades.
En su mensaje en la plataforma X, Buterin expresó su desacuerdo con la opinión de que "los hacks utilizando IA significan que la ciberseguridad está condenada". Cree que aquellos que continúan manteniendo criptomonedas implican que los sistemas digitales confiables pueden sobrevivir a ataques automatizados más fuertes. Describió la verificación formal como una técnica que utiliza especificaciones matemáticas y pruebas para evaluar el software, afirmando que una IA suficientemente potente podría ayudar a demostrar que "este programa es seguro", incluso si el software en sí es complicado. Buterin señaló que la verificación formal podría ser beneficiosa para los defensores si se determina qué propiedades debe cumplir el sistema.
También afirmó que el desarrollo de la verificación formal se ha convertido en parte del programa de investigación actual del protocolo Ethereum. El 7 de septiembre, la Fundación Ethereum informó que la verificación formal se utilizará en diversas áreas de su investigación a largo plazo, incluyendo privacidad y seguridad post-computación cuántica. En este mismo contexto, los investigadores ya han comenzado a combinar agentes de IA con pruebas verificables por máquina.
Artículos relacionados
