Update
Ethereum Foundation Launches Challenge to Verify Ethereum Block Limits
The Ethereum Foundation has launched a technical challenge called evm.fast to prove a finite worst-case step bound for Ethereum block verification on a RISC-V model. The current best score is infinity. The challenge aims to establish predictable verification costs and mitigate attack risks by proving a uniform bound for block verification across all inputs. The challenge is open to contributors and does not include any monetary prizes or submission platforms.