Un desarrollador que apostó con Vitalik Buterin que una sola persona podía programar de forma agente un cliente de Ethereum (ETH) dirigido a la hoja de ruta de 2030 construyó ETH2030 en dos semanas: 702.000 líneas de Go, cubriendo 65 elementos de la hoja de ruta y sincronizando con la red principal de Ethereum.
Buterin comentó sobre el resultado el viernes, calificándolo como «un experimento bastante impresionante», aunque enumeró advertencias importantes y planteó la posibilidad de que la IA pueda acelerar la finalización de la hoja de ruta de Ethereum más de lo que la comunidad espera actualmente.
Buterin fue directo sobre lo que el proyecto no es: al estar construido sin Propuestas de Mejora de Ethereum formales, casi con seguridad contiene errores críticos y probablemente incluye versiones «stub» de funciones donde la IA no intentó una implementación completa.
El punto, argumentó, es la trayectoria más que el resultado. Hace seis meses, escribió, incluso un prototipo de este alcance estaba «muy fuera del ámbito de lo posible».
Velocidad vs. seguridad
Buterin planteó el enfoque correcto para el desarrollo acelerado por IA como dividir las ganancias entre velocidad y seguridad, en lugar de gastarlas todas en la rapidez.
Su modelo preferido: usar IA para generar conjuntos de casos de prueba más grandes, verificar formalmente las implementaciones y producir múltiples versiones independientes del mismo componente para su verificación cruzada.
Un colaborador del proyecto LeanEthereum —que busca verificar formalmente todo el código de Ethereum— usó recientemente IA para producir una prueba verificable por máquina de uno de los teoremas más complejos que sustentan la seguridad de STARK.
Eso, según el marco de Buterin, es el caso de uso de mayor valor: no enviar código más rápido, sino enviar código más verificablemente correcto.
Read also: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
Lo que él cree que es posible
Buterin fue cuidadoso al presentar su optimismo como una posibilidad y no como un pronóstico. Dijo que la gente debería estar abierta a que la hoja de ruta de Ethereum se complete antes de lo que indican los cronogramas actuales, y con un estándar de seguridad más alto.
En el frente de la seguridad, expresó entusiasmo personal sobre el potencial de que el código sin errores pase de ser una «ilusión idealista» a una expectativa básica para la infraestructura crítica.
Reconoció que la seguridad total sigue siendo imposible en un sentido absoluto —requeriría una correspondencia exacta entre el código y el contenido de la mente de un desarrollador— pero argumentó que la verificación formal asistida por IA ya puede eliminar más del 99 % de las consecuencias negativas que podrían derivarse de fallos de código específicos y bien definidos.
El repositorio de ETH2030 sigue siendo de acceso público en github.com/jiayaoqijia/eth2030.