La Ethereum Foundation ha puesto en marcha evm.fast, un desafío orientado a determinar cuánta computación puede llegar a exigir la verificación de un bloque en Ethereum. La iniciativa busca convertir una cuestión hoy planteada bajo un límite infinito en una referencia finita y comprobable por una máquina.
Un reto para medir el peor coste de verificación
El punto de partida de evm.fast es el supuesto de que el coste computacional de verificar un bloque no tiene un límite finito establecido. El desafío plantea encontrar una prueba que permita superar esa referencia y fijar una cota concreta sobre los recursos necesarios para completar el proceso.
La clave no será únicamente que el resultado sea finito. Según la propuesta, también deberá poder ser verificado por una máquina. Ese requisito pretende aportar una base objetiva para evaluar el coste de la verificación, en lugar de depender de una estimación abierta o difícil de comprobar.
Una referencia para los sistemas de pruebas zk
La Ethereum Foundation vincula este trabajo con los sistemas de pruebas de conocimiento cero, conocidos como zk. Estas tecnologías necesitan estimar de antemano la carga computacional que implican las operaciones que deben demostrar o verificar.
Una cota finita y validada por máquina podría ofrecerles una base más fiable para planificar sus costes. La iniciativa no fija todavía ese límite: propone un desafío para poner a prueba cuánta computación puede requerir, en el peor caso, la verificación de un bloque.
El alcance de evm.fast se centra, por tanto, en medir y acotar ese esfuerzo computacional. El resultado buscado sería una referencia verificable que ayude a los sistemas de pruebas zk a organizar sus recursos con mayor precisión.
