Ethereum Block Validation Task Cap Set to 'Infinity'… Zero Promotions via Finite Scores

Ethereum block verification benchmark evm.fast shows an upper bound of infinity (∞) on its public leaderboard as of the 3rd, with zero submissions promoted for offering a finite step-count limit. The challenge, which scores participants on the worst-case number of steps K required to execute a fixed Pancake EVM program on a 64-bit RISC-V Flapjack model, targets inputs with declared gas limits of 200 million or below and requires programs to fit within a 128MiB window. Participants must submit RISC-V bytecode with a Lean proof producing matching results, as passing execution tests alone does not satisfy submission requirements. The absence of any finite-bound promotions signals that no prover has yet demonstrated a bounded worst-case cost for EVM block verification, a key metric for scaling Ethereum's proof systems. Watch for the first finite-bound submission to be promoted on the leaderboard, which would mark a milestone in formally bounding EVM execution costs.