PUNTOS IMPORTANTES:
- Vitalik Buterin afirma que la inteligencia artificial podría mejorar la seguridad blockchain mediante verificación formal.
- La tecnología permitiría detectar errores matemáticamente antes de que sean explotados.
- La propuesta surge mientras el sector cripto enfrenta una nueva ola de hackeos millonarios.
El cofundador de Ethereum, Vitalik Buterin, respondió a las crecientes preocupaciones sobre el uso de inteligencia artificial para encontrar vulnerabilidades en sistemas blockchain, asegurando que la misma tecnología podría convertirse en una de las herramientas de defensa más poderosas para la industria cripto.
Según Buterin, el avance de la IA no necesariamente hará más inseguras las redes blockchain. Por el contrario, considera que podría acelerar el desarrollo de sistemas matemáticamente verificados capaces de prevenir errores críticos antes de que lleguen a producción.
La idea gira alrededor de la llamada “verificación formal”, una técnica que utiliza pruebas matemáticas para demostrar que un software se comporta exactamente como fue diseñado.
Aunque esta metodología existe desde hace décadas, históricamente ha sido poco utilizada debido a la enorme complejidad y tiempo requerido para crear dichas pruebas manualmente.
Buterin sostiene que la inteligencia artificial cambia completamente ese panorama. En lugar de que los desarrolladores redacten las pruebas matemáticas desde cero, modelos de IA podrían generar tanto el código como sus verificaciones automáticamente.
El desarrollador mencionó proyectos dentro del ecosistema Ethereum que ya exploran este enfoque, incluyendo iniciativas orientadas a verificar matemáticamente componentes críticos de infraestructura blockchain.
Entre ellas destacó herramientas relacionadas con implementaciones STARK y máquinas virtuales EVM verificadas mediante ensamblador RISC-V.
Además, señaló que modelos como Claude y Deepseek 4 Pro ya son suficientemente útiles para tareas de verificación formal, mientras otros modelos especializados comienzan a mostrar resultados prometedores ejecutándose incluso de manera local.
Sin embargo, Buterin también reconoció que la verificación formal no es perfecta ni elimina todos los riesgos. Explicó que han existido casos donde compiladores verificados contenían errores, o donde las pruebas matemáticas no reflejaban correctamente el comportamiento esperado por los desarrolladores.
Pese a estas limitaciones, considera que la tecnología puede reducir considerablemente la cantidad de vulnerabilidades presentes en contratos inteligentes y aplicaciones blockchain.
El debate cobra especial relevancia debido al reciente aumento de hackeos en el ecosistema cripto. Solo en los últimos días, varios protocolos sufrieron ataques millonarios, incluyendo exploits en puentes cross-chain y plataformas DeFi.
Buterin sugiere que muchas de esas vulnerabilidades podrían haberse evitado mediante sistemas de verificación matemática más robustos.
La discusión refleja cómo la industria blockchain comienza a explorar el uso de inteligencia artificial no solo como herramienta financiera o comercial, sino también como parte fundamental de la seguridad y estabilidad futura de la infraestructura cripto.
Descargo de responsabilidad: Toda la información encontrada en Bitfinanzas es dada con la mejor intención, esta no representa ninguna recomendación de inversión y es solo para fines informativos. Recuerda hacer siempre tu propia investigación.
