When a supermajority of stake is comfortable running ZK clients, we can increase the gas limit to a level that would require validators running reasonable hardware to verify proofs instead of re-executing blocks.