Vitalik Buterin dice que la IA podría acelerar la hoja de ruta de Ethereum mientras fortalece la seguridad

• Las herramientas de IA están comprimiendo significativamente los plazos de desarrollo de Ethereum, permitiendo prototipos rápidos y iteraciones.
• La verificación formal con IA está acelerando las pruebas para criptografía compleja basada en STARK, mejorando la seguridad de la cadena de bloques.
• Dividir las ganancias de la IA entre velocidad y seguridad permite a los desarrolladores de Ethereum ampliar la cobertura de pruebas y reducir errores críticos.

Vitalik Buterin dice que la inteligencia artificial está comenzando a transformar la forma en que se construye Ethereum.

En una publicación reciente en X, describió un experimento en el que se utilizó IA para “vibe-codear” gran parte de la hoja de ruta de Ethereum para 2030 en pocas semanas. Llamó al resultado impresionante, aunque advirtió que sigue siendo altamente experimental.

El proyecto se completó sin finalizar las Propuestas de Mejora de Ethereum (EIP). Solo eso, señaló, significa que el código probablemente contiene errores graves. Algunas funciones pueden existir solo como implementaciones parciales. Hace seis meses, añadió, incluso llegar a esta etapa habría parecido imposible.

Este es un experimento bastante impresionante. Vibe-coding de toda la hoja de ruta 2030 en semanas.

Obviamente, algo así construido en dos semanas sin siquiera tener las EIPs tiene grandes advertencias: casi con certeza muchos errores críticos, y probablemente en algunos casos versiones “stub” de una cosa… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 28 de febrero de 2026

Ganancias en codificación con IA – Pero no perfección

Buterin dijo que las herramientas de IA están comprimiendo drásticamente los plazos de desarrollo. Recientemente utilizó un modelo de código abierto ejecutado localmente para recrear una versión de su software de blog en aproximadamente una hora. Sugirió que modelos más potentes podrían completar construcciones similares en un solo intento.

La hoja de ruta de Ethereum se centra en mejoras de escalabilidad, mayor descentralización y mejor seguridad en la cadena de bloques. Los desarrolladores trabajan en múltiples capas del protocolo para reducir el tráfico y aumentar la eficiencia. Los ciclos de codificación más rápidos podrían acelerar esos esfuerzos paralelos.

Aún así, Buterin advirtió contra la sobreconfianza. Una sola instrucción no generará código seguro para producción. Los ingenieros deben esperar inconsistencias, fallos en casos límite y brechas estructurales. Lo que cambia, argumentó, es la velocidad con la que se identifican y corrigen esos problemas.

La verificación formal se pone en foco

En lugar de usar IA solo para acelerar, Buterin sugirió redirigir parte de las ganancias de productividad hacia la seguridad. Esto incluye generar mayores volúmenes de casos de prueba y ampliar los esfuerzos de verificación formal.

Se refirió al trabajo bajo LeanEthereum, una iniciativa de investigación dedicada a verificar matemáticamente los componentes centrales de Ethereum. Un socio, dijo, utilizó recientemente IA para construir una prueba verificable por máquina de un teorema complejo que sustenta la criptografía basada en STARK.

Los STARKs forman la base de varios sistemas de pruebas de conocimiento cero utilizados para escalar redes blockchain. La producción de pruebas formales para estos sistemas ha requerido tradicionalmente un esfuerzo manual significativo. La asistencia de IA está reduciendo ahora esa barrera.

La verificación formal se basa en métodos matemáticos para confirmar que el código se comporta exactamente como se especifica. En la seguridad de blockchain, ese proceso limita los puntos débiles que podrían conducir a exploits o pérdidas financieras.

Elevando el nivel de seguridad

Buterin reconoció que un software absolutamente libre de errores sigue siendo imposible. El código no puede capturar perfectamente toda la intención humana detrás de él.

Sin embargo, argumentó que garantías de seguridad específicas y verificables pueden eliminar la mayoría de los riesgos prácticos.

En sistemas descentralizados construidos sobre la base de no confiar en otros, estándares de verificación más estrictos reducen la dependencia de la coordinación social o la vigilancia manual. Buterin dijo que los avances continuos en la codificación con IA podrían impulsar a Ethereum hacia expectativas de mayor seguridad, mientras reduce su horizonte de desarrollo.