Request for Proposals: Decentralized Prover Coordination

[jaosef]

[Proposal] - Staking Proving Network for Fernet

Staking Proving Network for Fernet Overview This document proposes a cooperative proving network, with two explicit goals: Ensuring that the role of sequencer and prover are 100% divorced to minimise the centralising forces that can arise from this. Better incentivising stakers, and ensuring sequencer machines are not idle when not proposing The proposal achieves these goals by re-using the existing staking set proposed in Fernet, and assigning stakers proving work in a deterministic and coop…