What is the real-world usage of that?
- client side proving - ZK rollups that need to decentralize provers without a blockchain consensus - offchain ZK use cases (could be generating and gossiping proofs for ZeroSync to improve IBD process on Bitcoin)