IMO the Reth state transition on tip of a large chainstate (eg Ethereum, Base) is the best benchmark for real world zero knowledge proof performance.

We already have that demonstrated with multiple ZKVMs, today, powered by a stateless MPT Reth executor program.

Dont have Reth in your ZKVM? Reach out to me, @r_krasiuk or @kevaundray.