The core message of this paper is to design a transaction fee mechanism called Prooφ that can satisfy desirable properties for ZK-Rollup prover markets, including efficiency, incentive-compatibility for users and provers, collusion resistance, and off-chain agreement proofness.
Designing a transaction fee mechanism based on Bayesian game theory to achieve user and miner incentive compatibility.