Native rollups—superpowers from L1 execution

A proposal describes an EXECUTE precompile that exposes Ethereum L1's EVM execution engine to rollups, which would let EVM-equivalent rollups drop security councils and other attack vectors and fully inherit L1 security. The precompile takes a pre-state root, post-state root, execution trace and gas used, and returns true only if stateless execution of the trace matches those roots and gas. Validators could initially enforce it by re-execution, with optional SNARK proof verification later under one-slot delayed execution. The proposal suggests sharing zkEL proofs offchain so validators can choose their own verifier clients, though real-time settled L2s would then need to use L1 data availability.