Un desarrollador que apostó con Vitalik Buterin que una sola persona podía programar de forma agentiva un cliente de Ethereum (ETH) orientado a la hoja de ruta de 2030 creó ETH2030 en dos semanas: 702.000 líneas de Go, que cubren 65 elementos de la hoja de ruta y sincronizan con la red principal de Ethereum.
Buterin comentó el resultado el viernes, calificándolo como «un experimento bastante impresionante», aunque enumeró importantes salvedades 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 haberse construido sin Propuestas de Mejora de Ethereum formales, casi con total seguridad contiene errores críticos y probablemente incluya versiones «de relleno» de funcionalidades 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 reino de lo posible».
Velocidad vs. seguridad
Buterin planteó que el enfoque correcto para el desarrollo acelerado por IA consiste en repartir las ganancias entre velocidad y seguridad, en lugar de gastarlas todas en velocidad.
Su modelo preferido: usar IA para generar baterías de pruebas más amplias, verificar formalmente las implementaciones y producir múltiples versiones independientes del mismo componente para realizar comprobaciones cruzadas.
Un colaborador del proyecto LeanEthereum —que pretende verificar formalmente todo el código de Ethereum— utilizó 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 enfoque de Buterin, es el caso de uso de mayor valor: no lanzar más rápido, sino lanzar código más verificablemente correcto.
Leer también: 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 se cuidó de 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 más rápido de lo que sugieren los cronogramas actuales, y con un estándar de seguridad más alto.
En el frente de la seguridad, expresó entusiasmo personal por el potencial de que el código sin errores deje de ser una «ilusión idealista» y pase a ser una expectativa básica para la infraestructura crítica.
Reconoció que la seguridad total sigue siendo imposible en cualquier sentido absoluto —requeriría una correspondencia exacta entre el código y el contenido de la mente de un desarrollador—, pero sostuvo 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.
Leer a continuación: Binance Must Face US Jury Over Token Losses On EOS, TRX And Five Other Coins - Judge Kills Arbitration Defense