Vitalik Buterin dice que la IA podría acelerar la hoja de ruta de Ethereum 2030

TLDR

• La IA construyó un cliente de Ethereum de 700000 líneas en dos semanas
• El prototipo cubre 65 elementos de la hoja de ruta y se sincroniza con la red principal
• Buterin pide más pruebas y verificación formal
• La IA ayudó a producir una prueba STARK verificable por máquina

Vitalik Buterin dice que la IA podría acelerar la hoja de ruta de Ethereum para 2030 a niveles de seguridad sin precedentes. Señaló un experimento reciente en el que un desarrollador construyó un prototipo de cliente alineado con la hoja de ruta en dos semanas usando programación orientada a agentes (agentic coding). El prototipo incluye unas 700,000 líneas de código, cubre 65 elementos de la hoja de ruta y se sincroniza con la red principal de Ethereum.

El prototipo de IA se alinea con la hoja de ruta de Ethereum para 2030

El cofundador de Ethereum, Vitalik Buterin, dijo que la IA está acelerando el desarrollo de Ethereum. Citó a un desarrollador que utilizó programación orientada a agentes (agentic coding) para construir un cliente alineado con la hoja de ruta para 2030. El prototipo se completó en unas dos semanas. Incluye alrededor de 700,000 líneas de código y admite 65 elementos de la hoja de ruta. El cliente se está sincronizando con la red principal de Ethereum.

Es un experimento bastante impresionante. Programar “por vibra” toda la hoja de ruta de 2030 en cuestión de semanas.

Obviamente, algo así construido en dos semanas sin siquiera tener los EIPs tiene enormes advertencias: casi seguro muchos fallos críticos, y probablemente en algunos casos versiones “stub” de algo…

— vitalik.eth (@VitalikButerin) February 28, 2026

Buterin describió el esfuerzo como un experimento que muestra un progreso rápido. Dijo que un trabajo similar no era realista hace seis meses. Añadió que la dirección del progreso de la IA es lo más importante. También compartió un ejemplo personal. Dijo que construyó software similar a su blog en una hora usando programación orientada a agentes (agentic coding). El modelo se estaba ejecutando localmente en su portátil.

Las mejoras de velocidad conllevan riesgos técnicos

Buterin advirtió que las construcciones rápidas de IA conllevan riesgos. Dijo que un proyecto completado en dos semanas sin EIPs finalizados probablemente contiene fallos críticos. Añadió que algunas partes pueden ser versiones “stub”. Advirtió contra asumir que un solo prompt puede generar código seguro de producción. Dijo que habrá errores e inconsistencias entre implementaciones.

Sin embargo, afirmó que la IA permite que este proceso avance cinco veces más rápido. Explicó que los desarrolladores aún necesitarán revisar y comparar el código. La prueba y la validación siguen siendo pasos necesarios.

La IA reduce el tiempo dedicado a tareas repetitivas y aumenta la velocidad de iteración. Buterin dijo que el experimento no debería verse como infraestructura finalizada. Lo enmarcó como una señal de cambios en los métodos de desarrollo. La IA ahora forma parte del flujo de trabajo técnico de Ethereum.

Centrarse en pruebas y verificación formal

Buterin dijo que las ganancias de la IA deberían dividirse entre velocidad y seguridad. Sugirió que la mitad de las ganancias de productividad debería destinarse a pruebas más sólidas. Esto incluye generar más casos de prueba y ejecutar verificación formal. Hizo referencia al esfuerzo de Lean Ethereum, que busca verificar formalmente componentes de Ethereum. Un colaborador usó IA para crear una prueba verificable por máquina de un complejo teorema STARK.

Buterin dijo que la verificación formal respalda los sistemas sin necesidad de confiar. Añadió que la IA puede ampliar el volumen de pruebas y mejorar las comprobaciones entre múltiples implementaciones. Estos pasos reducen los riesgos vinculados a un código defectuoso. Dijo que la seguridad total no es alcanzable. Explicó que la seguridad perfecta requeriría una alineación exacta entre el código y la intención humana.

Aun así, señaló que se pueden verificar afirmaciones de seguridad específicas. Buterin dijo que la gente debería considerar la posibilidad de que la hoja de ruta de Ethereum pueda completarse más rápido de lo esperado. También dijo que los estándares de seguridad podrían aumentar a medida que mejoren las herramientas de verificación. Afirmó que el código sin errores en casos definidos podría volverse alcanzable. Dijo que esta idea una vez se consideró poco realista. La verificación asistida por IA podría cambiar las expectativas de desarrollo con el tiempo.