I wonder if in the future when ZKRs support general purpose computation, ORs (although less ‘elegant’) will still be the more popular variety. For these reasons:
- There develops an attractive fraud proof market that pushes the OR narrative to a wider audience
- Trusted service providers in the vein of Infura/Metamask emerge that provide a watcher service to automatically submit fraud proofs and an automated resolution service
- DAOs that submit and resolve fraud proofs
- Service providers that facilitate instant settlement to L1 for a fee (for taking on fraud risk)
- Narrative that ZK proof construction requires special knowledge and/or relies on not so decentralized proof construction infrastructure