Fundação Ethereum lança desafio evm.fast para verificar limites de blocos

加载图片中

Dado Ruvic 2

Um desafio aberto convida colaboradores a provar um limite finito de pior caso para o número de etapas na verificação de blocos do Ethereum em um modelo RISC-V

Seg 2 nov 2026 · 23:34 EST · 3 min de leitura

Em Tecnologia

Compartilhar

A Ethereum Foundation abriu um desafio técnico em evm.fast com um alvo incomum. A melhor pontuação atual é infinito.

A tarefa é provar um limite de pior caso para a quantidade de computação necessária para verificar um bloco Ethereum. Qualquer resposta finita, respaldada por uma prova verificada por máquina, supera o recorde existente.

Como funciona a pontuação

O desafio mede um número chamado K. K é o limite superior certificado de etapas de execução para um modelo RISC-V de 64 bits, aplicado a cada entrada abrangida pelo desafio. As etapas de inicialização contam para o total, de modo que os participantes não podem simplesmente ignorar o aquecimento.

O modelo é executado através do Flapjack. O Flapjack é uma adaptação em Lean 4 do compilador Pancake, criada para uma arquitetura RISC-V de 64 bits. O Lean 4 é um assistente de provas, um software que verifica provas matemáticas linha por linha. O RISC-V é um conjunto de instruções aberto, o vocabulário básico que um processador compreende.

O programa de base, compilado pelo compilador Flapjack verificado, já prova que a verificação de blocos termina eventualmente. O que ele não prova é um limite uniforme, um teto fixo que se aplique a todas as entradas. Assim, a base reivindica uma pontuação de ∞.

O desafio é apresentado como aberto a contribuidores. Não foram anunciados prémios monetários, prazos nem plataformas de submissão.

Por que os limites de pior caso importam para a prova zk

O esforço se encaixa na agenda mais ampla de provas de conhecimento zero da Fundação. Uma prova de conhecimento zero permite que uma parte demonstre que um cálculo foi feito corretamente sem que o verificador o refaça por completo. Os sistemas que geram essas provas para programas gerais são chamados de zkVMs. Muitos deles compilam o código para RISC-V.

Os objetivos da Fundação para 2025 a 2026 incluem segurança demonstrável, solidez da recursão e custos de prova previsíveis. A solidez da recursão refere-se a provas que verificam outras provas, as quais precisam permanecer corretas à medida que se acumulam. Os custos de prova previsíveis são o ponto em que este desafio se insere mais diretamente.

A velocidade já melhorou acentuadamente nesta área. A latência caiu de cerca de 16 minutos para menos de 10 segundos para 99% dos blocos da mainnet em hardware de referência, no contexto de provas em tempo real de blocos completos do Ethereum.

Contexto sobre a verificação formal no Ethereum

O desafio soma-se a outros trabalhos em curso da Fundação sobre estimativa de segurança, verificação de programas convidados e semântica RISC-V na execução do Ethereum. Um programa convidado é o código que uma zkVM executa e prova, neste caso a lógica que verifica um bloco do Ethereum.

O que isso significa

A prova em tempo real de blocos completos só funciona se os provadores puderem orçar para o bloco mais difícil possível, e não apenas para o típico. Um K comprovado confere a esse orçamento uma base matemática em vez de uma estimativa empírica.

Há também uma vertente de negação de serviço. Se um atacante pudesse criar um bloco que exigisse muito mais etapas de verificação do que o esperado, os provadores poderiam ficar para trás. Um teto certificado torna esse tipo de surpresa muito mais difícil de arquitetar, porque o pior caso já é conhecido e documentado.

Como a linha de base está no infinito, a primeira entrada válida vence por padrão, mesmo com um limite folgado. A partir daí, a verdadeira competição passa a ser apertar K em direção a um valor com o qual os provadores possam realmente planejar.

Divulgação: Este artigo foi editado por Estefano Gomez. Para mais informações sobre como criamos e revisamos conteúdo, consulte nossa Política Editorial.