Ethereum Foundation launches evm.fast challenge to verify block limits

An open challenge asks contributors to prove a finite worst-case step bound for Ethereum block verification on a RISC-V model The Ethereum Foundation has opened a technical challenge at evm.fast with an unusual target. The current best score is infinity. The task is to prove a worst-case limit on how much computation it takes to verify an Ethereum block. Any finite answer, backed by a machine-checked proof, beats the existing record. The challenge measures a number called K. K is the certified upper bound on execution steps for a 64-bit RISC-V model, applied to every input the challenge covers.