evm.fast busca um limite demonstrável para o trabalho de verificar blocos

A Ethereum Foundation apresentou o evm.fast, um desafio aberto para estabelecer limites matematicamente garantidos para o trabalho necessário à verificação de um bloco de Ethereum. O anúncio descreve uma classificação em que participantes competem para reduzir esses limites, independentemente do conteúdo do bloco. O projeto se baseia em Yukon, com zkSecurity, Verity Lab e Yukon Research.

A pergunta é diferente de saber se um teste de desempenho específico termina rapidamente. Um limite de pior caso investiga quanto uma entrada válida pode exigir, inclusive entradas escolhidas para sobrecarregar a verificação. Para desenvolvedores de clientes e sistemas de provas, um limite mais preciso poderia facilitar a análise de requisitos de hardware e orçamentos de recursos. É um possível benefício de engenharia, e não uma melhoria de produção medida neste anúncio.

A Fundação coloca a verificação barata e previsível em hardware modesto como objetivo. O anúncio não estabelece que o desafio já atingiu seu limite definitivo ou alterou o protocolo ativo de Ethereum. Equipes regionais de métodos formais podem avaliar uma contribuição concreta de pesquisa, preservando a diferença entre um limite demonstrado e um tempo de execução observado.