Proposed: validators could check a proof that a block is valid instead of re-running it.
Why it matters: Lets lighter machines validate, and prepares for mandatory proofs.
On the map: validators may check zkVM proofs of EL blocks (up to 4 proof types, strawmap: 2-of-3)
Map note, rests on: sound zkVMs (one bad prover is not enough) + hash security
EIP-8025, proposed for inclusion in Hegotá[1]: validators may verify zero-knowledge proofs that an execution block is valid instead of re-executing it, using up to four proof types. The strawmap envisions accepting a block when 2 of 3 independent proofs agree[2].
It lets lighter machines validate and prepares for mandatory proofs. Security rests on the proof systems' soundness, so multiple independent provers matter.
If any of these breaks, this breaks too.
If this breaks, these break with it.
Nothing on the map depends on it: it is an end point of the roadmap.
Next-step links, not dependencies: these don't fall together.