Vitalik Buterin dice que la IA está acelerando el desarrollo de Ethereum

• La codificación agentica produjo un prototipo de cliente de Ethereum de 700,000 líneas alineado con la hoja de ruta de 2030 en semanas.
• Buterin insta a combinar una codificación AI más rápida con verificación formal, suites de pruebas ampliadas y verificaciones multi-cliente.
• También detalló una hoja de ruta de resistencia cuántica que reemplaza BLS y añade sistemas basados en hash y STARK.

El cofundador de Ethereum, Vitalik Buterin, dijo que la inteligencia artificial está acelerando rápidamente el desarrollo de Ethereum. En recientes declaraciones públicas, describió cómo la codificación agentica permitió a un desarrollador construir un cliente de Ethereum alineado con la hoja de ruta en semanas. El trabajo se realizó en línea a principios de 2026 y se centró en acelerar el desarrollo mientras se mejoraba la seguridad mediante pruebas y verificaciones.

Ganancias en codificación y pruebas impulsadas por IA

Según Buterin, un desarrollador utilizó codificación agentica para producir un prototipo de cliente de Ethereum alineado con la hoja de ruta de 2030. Notablemente, el prototipo incluía aproximadamente 700,000 líneas de código y cubría 65 ítems de la hoja de ruta. También se sincronizó con la red principal de Ethereum en dos semanas.

Sin embargo, Buterin enfatizó que la construcción tenía limitaciones importantes. Dijo que el código probablemente contenía errores críticos e implementaciones incompletas. Aun así, explicó que tal progreso parecía imposible hace seis meses, destacando lo rápido que avanzan las herramientas de desarrollo.

Buterin agregó que la IA acelera la codificación en diversas tareas. Citó su propia experiencia recreando software de blogs en una hora usando modelos locales. Por lo tanto, argumentó que las ganancias en velocidad deberían dividirse equitativamente entre un desarrollo más rápido y prácticas de seguridad más robustas.

Verificación formal y enfoque en seguridad

Buterin dijo que el uso más efectivo de la IA combina una codificación más rápida con pruebas más profundas. Específicamente, destacó la generación de suites de pruebas más grandes y la expansión de la verificación formal. Señaló que un colaborador de Lean Ethereum utilizó IA para crear una prueba verificable por máquina para un teorema complejo relacionado con STARK.

Según Buterin, Lean Ethereum busca verificar formalmente cada componente. Sin embargo, la IA ahora acelera significativamente ese esfuerzo. Además, enfatizó que un código sin errores sigue siendo difícil, pero más alcanzable mediante pruebas repetidas y verificaciones de múltiples implementaciones.

Advirtió que los sistemas seguros no surgirán de un solo prompt. Aun así, dijo que los ciclos de depuración ahora pueden ocurrir de manera más rápida y exhaustiva.

Detalles de la hoja de ruta de resistencia cuántica

Por separado, Buterin describió la hoja de ruta de resistencia cuántica de Ethereum. Identificó vulnerabilidades en firmas de consenso BLS, disponibilidad de datos basada en KZG, firmas de cuentas ECDSA y sistemas de pruebas de conocimiento cero. Para abordarlas, propuso reemplazar BLS con firmas basadas en hash y usar agregación STARK.

Para las cuentas de propiedad externa, Buterin señaló la EIP-8141. Este cambio permitiría múltiples esquemas de firma, incluyendo opciones resistentes a la cuántica. Reconoció que esto implicaría mayores costos de gas, pero afirmó que la eficiencia mejorará con el tiempo.

La hoja de ruta también aborda sistemas de prueba. Aunque las pruebas STARK cuestan más que las ZK-SNARKs actuales, la agregación podría reducir el computo en cadena. El mes pasado, la Fundación Ethereum dijo que la próxima fase del ecosistema ampliará la capacidad mientras mantiene la seguridad y resiliencia a largo plazo.