evm.fast busca un límite demostrable al trabajo de verificar bloques

La Ethereum Foundation presentó evm.fast, un desafío abierto para establecer límites matemáticamente garantizados al trabajo necesario para verificar un bloque de Ethereum. El anuncio describe una clasificación en la que los participantes compiten por reducir esos límites sin importar el contenido del bloque. El proyecto se basa en Yukon y cuenta con zkSecurity, Verity Lab y Yukon Research.

La pregunta es distinta de si una prueba de rendimiento concreta termina rápido. Un límite de peor caso examina cuánto puede exigir una entrada válida, incluidas entradas elegidas para forzar la verificación. Para quienes desarrollan clientes y sistemas de pruebas, un límite más ajustado podría facilitar el análisis de los requisitos de hardware y los presupuestos de recursos. Es un posible beneficio de ingeniería, no una mejora de producción medida en este anuncio.

La Fundación plantea como objetivo una verificación económica y predecible en equipos modestos. El anuncio no establece que el desafío haya alcanzado su límite definitivo ni que haya cambiado el protocolo activo de Ethereum. Los equipos regionales de métodos formales pueden evaluar una contribución de investigación concreta, manteniendo la diferencia entre un límite demostrado y un tiempo de ejecución observado.