I'm optimistic about zk proofs, but imho, they aren't fully ready yet due to proving time and costs. In the short to medium term, I would bet on TEEs, which also allow off-chain execution and on-chain verification via attestations.

I have a whole strategy to bridge the gap in the interim :)

oracles, coprocessors, bridges & wallets since 2017 + Building /boostyblast

Working on building zkTLS infra/products. A ruthless empiricist.

http://opacity.network

Advisor @ EV3 Ventures

Yes, I know about it, and I like the concept. Just a question: who inserts a proof into the MMR? I understand that everyone can do it, but it seems difficult that many people would push a proof there without an incentive.

I have a whole strategy to bridge the gap in the interim :)

https://ethresear.ch/t/lookup-singularity-via-mmr/18704