Buterin propone pruebas automáticas basadas en inteligencia artificial para asegurar contratos y fortalecer la protección en tecnologías blockchain

• En un ecosistema donde los contratos inteligentes manejan millones de dólares y no se pueden modificar una vez publicados, esa capacidad cambia las reglas del juego
• Buterin conectó esta técnica (llamada verificación formal) con áreas críticas de Ethereum: - Los STARKs (pruebas criptográficas avanzadas) - La ZK-EVM (la máquina virtual con privacidad) - Los algoritmos de consenso -...
• Mencionó herramientas como Claude, Deepseek 4 Pro y Leanstral (un modelo de código abierto especializado) como opciones para empezar
• La visión de Buterin para el futuro de la seguridad en blockchain Su visión de futuro apunta a dividir el software entre "bordes inseguros" (con permisos limitados y en entornos aislados) y un "núcleo seguro" que...