- Vitalik Buterin ofreció su opinión sobre los sistemas emergentes de verificación asistida por IA.
- Buterin apoya la nueva idea, señalando que podría hacer que los sistemas cripto sean más seguros.
- Destacó las preocupaciones cuando los atacantes utilizan estos protocolos de IA para identificar fallos rápidamente.
El cofundador de Ethereum, Vitalik Buterin , cree que la verificación asistida por IA podría mejorar la seguridad de los sistemas de criptomonedas. De ahí la posibilidad de que haya detectadores de errores asistidos por IA en la industria.
Vitalik Buterin apoya la verificación asistida por IA
La última declaración de Buterin planteó nuevas preocupaciones sobre el futuro de la seguridad del software, considerando su afirmación de que la inteligencia artificial mejora las herramientas de detección de errores. Según Buterin, la IA podría exponer serias debilidades en blockchains, sistemas de criptografía y aplicaciones descentralizadas, a menos que los desarrolladores adopten métodos de verificación más sólidos.
Cabe destacar que el comentario de Buterin llega en un momento crucial en la industria tecnológica, cuando la propagación de la IA está ganando un impulso significativo, con la industria compitiendo por integrar la IA en el desarrollo de software. Mientras tanto, los investigadores en ciberseguridad creen que la IA avanzada puede identificar vulnerabilidades más rápido de lo que los ingenieros humanos pueden corregirlas.
Una capa de defensa potencialmente crítica
Tras los desarrollos actuales, Buterin cree que la verificación formal podría convertirse en una capa de defensa crítica para los sistemas de infraestructura digital, incluido Ethereum. Según él, la verificación formal es una forma de probar matemáticamente el software antes de que los hackers puedan explotar sus debilidades.
Hoy en día, los desarrolladores integran herramientas como la IA Lean, utilizándolas para confirmar cómo se comportan los programas y garantizar la fiabilidad. Este proceso puede ayudar a los ordenadores a detectar errores de codificación que podrían ser invisibles al ojo humano. Por ejemplo, la IA Lean se centra en la amplificación en lugar de en el reemplazo, usando la IA para hacer que las personas sean mejores solucionadoras de problemas.
Buterin señaló además que los investigadores ahora combinan modelos de IA con sistemas de verificación para producir código más rápido y seguro simultáneamente. Considera que este es un cambio que podría volverse cada vez más importante a medida que las herramientas de IA generen grandes cantidades de software en toda la industria tecnológica.
La forma final de desarrollo de software
De manera significativa, Buterin citó los comentarios de Yoichi Hirai, especialmente su descripción del enfoque emergente como «la forma final de desarrollo de software.» También destacó el trabajo de seguridad de Signal, junto con los sistemas modernos de cifrado, señalando que los investigadores ya están utilizando la verificación formal para probar protocolos como el cifrado X3DH y AES.
Mientras tanto, Buterin señaló que las herramientas de IA cada vez más potentes tienen el potencial de exponer debilidades en contratos inteligentes y plataformas financieras descentralizadas mucho más rápido de lo que los desarrolladores pueden responder. Según él, los atacantes que utilicen estas herramientas podrían pronto adquirir la capacidad de identificar fallos de software en minutos, lo que supondría una amenaza significativa para la industria blockchain.
No obstante, argumentó en contra de que el software de código abierto y los contratos inteligentes se vuelvan demasiado arriesgados de mantener. Más bien, cree que los desarrolladores pueden seguir utilizando métodos de verificación más sólidos, lenguajes de programación más seguros y estándares de diseño de software más estrictos para defender sistemas críticos.
Relacionado: Cofundador de Ethereum apoya la IA: No te pierdas la ola verde en los 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.
