@zherring
This is accurate.
Re: what would you want to verify? Non-exhaustive but what I'm excited abour
1. ZkProofs (Succinct, Lagrange, EigenDA)
2. Web2 API and HTTPs returns via zkTLS (cc @dawufi and @eulerlagrange.eth )
3. Oracles for trades and prediction markets (Uma & Polymarket)