how does this compare to the EXECUTE proposal for native rollups, specifically offchain proofs and proof diversity? my understanding of what is proposed here is that a proof system would be picked and enshrined in Ethereum as you only talk about one proof.
3 Likes