El cofundador de Ethereum, Vitalik Buterin, afirmó que el uso de la IA podría reducir considerablemente el tiempo necesario para completar la hoja de ruta de desarrollo restante de Ethereum en comparación con las estimaciones anteriores.
En una entrevista con Moneycontrol, Buterin señaló las pruebas de conocimiento cero (ZK), la IA y la verificación formal como elementos centrales de “Lean Ethereum”, que se desarrollará durante los próximos años. La verificación formal es un método que utiliza técnicas matemáticas para comprobar si el código y los algoritmos funcionan conforme a unas condiciones determinadas.
“Según la cantidad de trabajo que queda en la hoja de ruta, completarlo habría llevado 20 años con los estándares de hace cinco años”, explicó. “Gracias a la IA, podemos avanzar mucho más rápido y, al mismo tiempo, verificar la seguridad del código y los algoritmos que se están escribiendo.”
Lean Ethereum tiene como objetivo mejorar el rendimiento de la red mediante el uso de las tecnologías y los métodos de desarrollo más recientes, manteniendo al mismo tiempo la descentralización y la seguridad.