@shef-curry
The design space for decentralized proving has been expanding rapidly.
In this post, I explore many of these approaches and build up towards what seems like the most likely future of ZK proofs:
Decentralized proof markets.
https://mirror.xyz/shivamadan.eth/tfjoKknPVkrPcm4FgchlNJgPYi4oy8GFKzLRdP4hPHw