An awesome list of resources on decentralized proving in the ZK ecosystem, alphabetically organized.
- Mechanism Design for ZK-Rollup Prover Markets by Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch and Benjamin Livshits (Apr, 2024)
- The Ouroboros of ZK: Why Verifying the Verifier: Unlocks Longer-Term ZK Innovation by Denis Firsov and Benjamin Livshits (2024)
- Scaling Ethereum L1 and L2s in 2025 and beyond by Vitalik (Jan, 2025)
- Possible futures of the Ethereum protocol, part 4: The Verge by Vitalik (Oct, 2024)
- The Proof Supply Chain by Trace (Jan, 2024)
- Decentralized Proving, Proof Markets, and ZK Infrastructure by Trace (Jun, 2023)
- Gevulot Docs (Nov, 2024)
- ZkBoost: Proof Supply Chain Abstraction (Jul, 2024)
- Gevulot Announces The ZkBoost Consortium's Founding Governing Council (Nov, 2024)
- What does it take to prove a ZK-L2? (Feb, 2025)
- ZkCloud’s Prover and Validator Node Rewards (Jan 2025)
- State of the Proving Infrastructure Landscape - 2024Q2 (Sep, 2024)
- State of the Proving Infrastructure Landscape - 2024Q3 (Nov, 2024)
- State of the Proving Infrastructure Landscape - 2024Q4 (Feb, 2025)
- Learnings from Aztec’s Proving Contest (Oct, 2024)
- Introducing ZaKi (May, 2024)
- Lagrange Introduces the Infinite Proving Layer: Expanding Decentralized Proving to ZK Rollups (Dec, 2024)
- Lagrange Deploys First Production-Ready ZK Prover Network Powered by Coinbase, Kraken and OKX (Jun, 2024)
- A New Era for ZK: Decentralizing the ZK Stack (Jan, 2025)
- The Next Chapter for Lagrange (May, 2024)
- Introducing DARA: A New Design for ZK Prover Networks (Oct, 2024)
- Cracking ZK Coprocessors (Sep, 2024)
- Robust Double Auctions for Resource Allocation (2024)
- Boundless: Road to Mainnet on RISC Zero (Nov, 2024)
- Succinct Network: Prove the World’s Software (Jan, 2025)
- Succinct's Platform, Prover Network and SP1 (Mar, 2024)
- Introducing OP Succinct: Full Validity Proving on the OP Stack (Sep, 2024)
- Introducing Succinct Network: The Protocol for Programmable Truth (Feb, 2024)
https://discourse.aztec.network/
- Epoch Proving Integration Guide (Jan, 2025)
- On proving marketplaces (Mar, 2024)
- Decentralization is not a meme: Part 1 (May, 2024)
- Request for Comments: Aztec Sequencer Selection and Prover Coordination Protocols (Jan, 2024)
- Ideas on a proving network (Sep, 2023)
- Decentralized and permissionless proving design discussion (Aug, 2023)
- Request for Proposals: Decentralized Prover Coordination (Oct, 2023)
- [Proposal] Cooperative proving network for Fernet (Oct, 2023)
- [Proposal] Provers: Bonded Prover Auction (Oct, 2023)
- [Proposal] Prover Coordination: Sidecar (Oct, 2023)
- [Proposal] - Fernet on the Rocks (Oct, 2023)
- [Proposal] - When the levee breaks (Oct, 2023)
- [Proposal] Decentralized Prover Network (Staking, Reputations and Proof Races) (Nov, 2023)
- The Anatomy of Proof Generation (Jul, 2023)
- Scaling Security: Multi-Prover Implementation on Scroll (Jul, 2023)
- An overview of Scroll’s architecture (Aug, 2022 ?)
- Prover-sequencer separation (Aug, 2023)
- PBS-ifying Rollups: Prover-Sequencer Separation - Toghrul Maharramov (Aug, 2023)
https://community.starknet.io/
- StarkNet decentralization : Kicking off the discussion (Feb, 2022)
- Starknet Decentralized Protocol IV - Proofs in the Protocol (Feb, 2023)
- Simple Decentralized Protocol Proposal (Aug, 2023)
- Decentralization: simplest suggestion (Nov, 2021)
- Starknet Decentralization Day Summary (Feb, 2023)
- StarkNet Decentralization - Tendermint based suggestion (Mar, 2022)
- Decentralized Consensus Potential Candidate (Longest Chain) (Mar, 2022)
- Starknet Decentralized Protocol VI - The Buffer Problem (Feb, 2023)
- Starknet Decentralized Protocol VII - Chained Proof Protocols & Braiding (Mar, 2023)
- Taiko’s Approach to Multi-Proofs (Jan, 2024)
- feat(protocol): Auction #13813 (May, 2023)
- Staking-Based Tokenomics (2023)
- Alpha-2 Testnet Update (Apr, 2023)
- Alpha-2 Prover Rewards Update (May, 2023)
- Eldfell L3 update: Prover slashing explained (Aug, 2023)
- Provers: To decentralize or not to decentralize? (May, 2023)
- Taiko Proving Design overview: Grímsvötn and Eldfell cases (Jul, 2023)
- Decentralized and permissionless proving design (Twitter spaces wrap-up) (Aug, 2023)
- Community Call #6 write-up (Sep, 2023)
- Community Call #5 write-up (Aug, 2023)
- Taiko Fee&Gas Tokenomics Thread (Aug, 2023)