Request for Proposals: Decentralized Prover Coordination

Admittedly this proposal is a bit late - my sincerest apologies for this! I wasn’t aware of this RFP until the day of the deadline. I fully understand that this makes it ineligible for the RFP. However, I wanted to post my (slightly hasty) thoughts since I think this is an interesting distributed systems problem. This proposal does not offer any new ideas, but rather combines interesting ideas from others in a (hopefully) useful way.