On Ethereum Prover Market Design ^lol… also, there is one easter egg link to a movie franchise in the body of the post – happy clicking \cdot tl;dr; The current Ethereum scaling roadmap depends on ZK proofs to enable consensus under higher gas limits. If proofs become part of the validity condition on blocks, proposers who are unable to generate the proofs themselves must purchase them from a third party. We present a model of this proof acquisition game and compare the performance of two...
