La Ethereum Foundation abrió evm.fast, un desafío para probar cuánta computación puede requerir la verificación de un bloque. El punto de partida es un límite infinito; una prueba finita y verificada por máquina lo superaría y podría dar a los sistemas de pruebas zk una base más confiable para planificar sus costos. ***