@zahary can you speak to “why zk” for this? Is it enabling something significant (to users) that optimistic fraud proofs cannot? My current mental model is roughly “They’re pretty similar for actual use. Zk requires a lot of compute and is more dev work. Challenging optimistic fraud proofs introduces some delay and short term capital requirements.”