Precompiles continue to be a pain point for zkVMs: each one is a special case that needs its own hand-built proving logic, and they're among the slowest and most expensive parts of a block to prove. EIP-8200 aims at replacing precompiles with ordinary EVM bytecode. Same behavior, but a zkVM can prove it like any other contract. Plus it simplifies the protocol by removing a set of special cases every EL client has to implement and maintain separately. Precompiles today run natively inside EL clients as fast compiled code ('cheap gas'), while their replacements would run as interpreted EVM bytecode (slower, using more gas). Closing that gap is akin to gas-golfing: squeeze the bytecode until it's as cheap as possible. turns this into an open, verified challenge. Anyone with good prompts and sufficient token budget can compete —> AI accelerating L1 R&D (make sure to check out the other autoresearch challenges as well) EIP-8200 is PFI'd for Hegota and facilitates EIP-8025 (execution proofs on L1). This is the L1-zkEVM route to scaling; when validators verify proofs instead of re-executing every TX, so the gas limit can grow significantly: —> More premium blockspace, more onchain activity, more economic bandwidth on L1 itself