https://github.com/niluferokay/awesome-prover-mechanisms
An awesome list of prover mechanism resources of the zk ecosystem
https://github.com/niluferokay/awesome-prover-mechanisms
List: awesome-prover-mechanisms
awesome-list aztec ethereum mechanism-design polygon-zkevm prover scroll starknet taiko zkrollup zkrollups
Last synced: 16 days ago
JSON representation
An awesome list of prover mechanism resources of the zk ecosystem
- Host: GitHub
- URL: https://github.com/niluferokay/awesome-prover-mechanisms
- Owner: niluferokay
- Created: 2023-09-16T08:25:09.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-11-03T17:30:14.000Z (over 1 year ago)
- Last Synced: 2023-11-03T18:33:19.303Z (over 1 year ago)
- Topics: awesome-list, aztec, ethereum, mechanism-design, polygon-zkevm, prover, scroll, starknet, taiko, zkrollup, zkrollups
- Homepage:
- Size: 4.88 KB
- Stars: 1
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-starknet - awesome-prover-mechanisms - Awesome list of resources for prover mechanisms in the zkrollup ecosystem. (Additional developer resources)
- ultimate-awesome - awesome-prover-mechanisms - An awesome list of prover mechanism resources of the zk ecosystem . (Other Lists / Julia Lists)
README
# awesome-prover-mechanisms
An awesome list of resources on decentralized proving in the ZK ecosystem, alphabetically organized.
### Papers/ Blogposts
- [Mechanism Design for ZK-Rollup Prover Markets](https://arxiv.org/abs/2404.06495) 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](https://eprint.iacr.org/2024/768.pdf) by Denis Firsov and Benjamin Livshits (2024)
- [Scaling Ethereum L1 and L2s in 2025 and beyond](https://vitalik.eth.limo/general/2025/01/23/l1l2future.html) by Vitalik (Jan, 2025)
- [Possible futures of the Ethereum protocol, part 4: The Verge](https://vitalik.eth.limo/general/2024/10/23/futures4.html) by Vitalik (Oct, 2024)
- [The Proof Supply Chain](https://figmentcapital.medium.com/the-proof-supply-chain-be6a6a884eff) by Trace (Jan, 2024)
- [Decentralized Proving, Proof Markets, and ZK Infrastructure](https://figmentcapital.medium.com/decentralized-proving-proof-markets-and-zk-infrastructure-f4cce2c58596) by Trace (Jun, 2023)
## Prover Networks/ Marketplaces
### Fermah
### Gevulot
- [Gevulot Docs](https://docs.gevulot.com/gevulot-docs/zkcloud-design/overview) (Nov, 2024)
- [ZkBoost: Proof Supply Chain Abstraction](https://blog.zkcloud.com/p/zkboost-proof-supply-chain-abstraction) (Jul, 2024)
- [Gevulot Announces The ZkBoost Consortium's Founding Governing Council](https://blog.zkcloud.com/p/gevulot-announces-the-zkboost-consortiums) (Nov, 2024)
- [What does it take to prove a ZK-L2?](https://blog.zkcloud.com/p/what-does-it-take-to-prove-a-zk-l2) (Feb, 2025)
- [ZkCloud’s Prover and Validator Node Rewards](https://blog.zkcloud.com/p/attention-zkclouds-prover-and-validator) (Jan 2025)
- [State of the Proving Infrastructure Landscape - 2024Q2](https://blog.zkcloud.com/p/state-of-the-proving-infrastructure) (Sep, 2024)
- [State of the Proving Infrastructure Landscape - 2024Q3](https://blog.zkcloud.com/p/state-of-the-proving-infrastructure-e9f) (Nov, 2024)
- [State of the Proving Infrastructure Landscape - 2024Q4](https://blog.zkcloud.com/p/state-of-the-proving-infrastructure-030) (Feb, 2025)
- [Learnings from Aztec’s Proving Contest](https://blog.zkcloud.com/p/learnings-from-aztecs-proving-contest) (Oct, 2024)
### Ingonyama
- [Introducing ZaKi](https://www.ingonyama.com/blog/introducing-zaki) (May, 2024)
### Lagrange
- [Lagrange Introduces the Infinite Proving Layer: Expanding Decentralized Proving to ZK Rollups](https://www.lagrange.dev/blog/infinite-proving-layer) (Dec, 2024)
- [Lagrange Deploys First Production-Ready ZK Prover Network Powered by Coinbase, Kraken and OKX](https://www.lagrange.dev/blog/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](https://www.lagrange.dev/blog/a-new-era-for-zk) (Jan, 2025)
- [The Next Chapter for Lagrange](https://medium.com/@lagrangelabs/the-next-chapter-for-lagrange-9f58531f5e5b) (May, 2024)
- [Introducing DARA: A New Design for ZK Prover Networks](https://www.lagrange.dev/blog/dara-a-new-design) (Oct, 2024)
- [Cracking ZK Coprocessors](https://www.lagrange.dev/blog/cracking-zk-coprocessors) (Sep, 2024)
- [Robust Double Auctions for Resource Allocation](https://eprint.iacr.org/2024/1750.pdf) (2024)
### Mina
### nil
### RiscZero
- [Boundless: Road to Mainnet on RISC Zero](https://risczero.com/blog/road-to-mainnet) (Nov, 2024)
### Succinct
- [Succinct Network: Prove the World’s Software](https://www.provewith.us/) (Jan, 2025)
- [Succinct's Platform, Prover Network and SP1](https://zeroknowledge.fm/podcast/314/) (Mar, 2024)
- [Introducing OP Succinct: Full Validity Proving on the OP Stack](https://blog.succinct.xyz/op-succinct/) (Sep, 2024)
- [Introducing Succinct Network: The Protocol for Programmable Truth](https://blog.succinct.xyz/succinct-network/) (Feb, 2024)
## ZkRollups
### Aztec
https://discourse.aztec.network/
- [Epoch Proving Integration Guide](https://hackmd.io/@aztec-network/epoch-proving-integration-guide) (Jan, 2025)
- [On proving marketplaces](https://forum.aztec.network/t/on-proving-marketplaces/5218) (Mar, 2024)
- [Decentralization is not a meme: Part 1](https://azt3c-st.webflow.io/blog/decentralization-is-not-a-meme-part-1) (May, 2024)
- [Request for Comments: Aztec Sequencer Selection and Prover Coordination Protocols](https://forum.aztec.network/t/request-for-comments-aztec-sequencer-selection-and-prover-coordination-protocols/3038) (Jan, 2024)
- [Ideas on a proving network](https://discourse.aztec.network/t/ideas-on-a-proving-network/724) (Sep, 2023)
- [Decentralized and permissionless proving design discussion](https://twitter.com/aztecnetwork/status/1692155062523703424?s=20) (Aug, 2023)
- [Request for Proposals: Decentralized Prover Coordination](https://forum.aztec.network/t/request-for-proposals-decentralized-prover-coordination/2397) (Oct, 2023)
- [[Proposal] Cooperative proving network for Fernet](https://forum.aztec.network/t/proposal-cooperative-proving-network-for-fernet/2400) (Oct, 2023)
- [[Proposal] Provers: Bonded Prover Auction](https://forum.aztec.network/t/proposal-provers-bonded-prover-auction/2401) (Oct, 2023)
- [[Proposal] Prover Coordination: Sidecar](https://forum.aztec.network/t/proposal-prover-coordination-sidecar/2428) (Oct, 2023)
- [[Proposal] - Fernet on the Rocks](https://forum.aztec.network/t/proposal-fernet-on-the-rocks/2460) (Oct, 2023)
- [[Proposal] - When the levee breaks](https://forum.aztec.network/t/proposal-when-the-levee-breaks/2457) (Oct, 2023)
- [[Proposal] Decentralized Prover Network (Staking, Reputations and Proof Races)](https://forum.aztec.network/t/proposal-decentralized-prover-network-staking-reputations-and-proof-races/2489) (Nov, 2023)
### Scroll
- [The Anatomy of Proof Generation](https://scroll.io/blog/proof-generation) (Jul, 2023)
- [Scaling Security: Multi-Prover Implementation on Scroll](https://scroll.io/blog/scaling-security) (Jul, 2023)
- [An overview of Scroll’s architecture](https://scroll.io/blog/architecture) (Aug, 2022 ?)
- [Prover-sequencer separation](https://www.youtube.com/watch?v=WYH7n4M016A&t=23008s) (Aug, 2023)
- [PBS-ifying Rollups: Prover-Sequencer Separation - Toghrul Maharramov](https://www.youtube.com/watch?v=s-jm5TCuQJI) (Aug, 2023)
### Starknet
https://community.starknet.io/
- [StarkNet decentralization : Kicking off the discussion](https://community.starknet.io/t/starknet-decentralization-kicking-off-the-discussion/711) (Feb, 2022)
- [Starknet Decentralized Protocol IV - Proofs in the Protocol](https://community.starknet.io/t/starknet-decentralized-protocol-iv-proofs-in-the-protocol/6030) (Feb, 2023)
- [Simple Decentralized Protocol Proposal](https://community.starknet.io/t/simple-decentralized-protocol-proposal/99693) (Aug, 2023)
- [Decentralization: simplest suggestion](https://community.starknet.io/t/decentralization-simplest-suggestion/38) (Nov, 2021)
- [Starknet Decentralization Day Summary](https://community.starknet.io/t/starknet-decentralization-day-summary/6913) (Feb, 2023)
- [StarkNet Decentralization - Tendermint based suggestion](https://community.starknet.io/t/starknet-decentralization-tendermint-based-suggestion/998) (Mar, 2022)
- [Decentralized Consensus Potential Candidate (Longest Chain)](https://community.starknet.io/t/decentralized-consensus-potential-candidate-longest-chain/824) (Mar, 2022)
- [Starknet Decentralized Protocol VI - The Buffer Problem](https://community.starknet.io/t/starknet-decentralized-protocol-vi-the-buffer-problem/7098) (Feb, 2023)
- [Starknet Decentralized Protocol VII - Chained Proof Protocols & Braiding](https://community.starknet.io/t/starknet-decentralized-protocol-vii-chained-proof-protocols-braiding/18831) (Mar, 2023)
### Taiko
https://community.taiko.xyz/
- [Taiko’s Approach to Multi-Proofs](https://taiko.mirror.xyz/j_zUGgLDwb1FY18fzh7bJQz2Qt5xbUlqov4n-vm6IC0) (Jan, 2024)
- [feat(protocol): Auction #13813](https://github.com/taikoxyz/taiko-mono/issues/13813) (May, 2023)
- [Staking-Based Tokenomics](https://github.com/taikoxyz/taiko-mono/blob/alpha-4/packages/protocol/docs/tokenomics_staking.md) (2023)
- [Alpha-2 Testnet Update](https://taiko.mirror.xyz/EM1IEpF_Pd9_WuPxw3EQPHNHmaXzh7kljMSolP754AI) (Apr, 2023)
- [Alpha-2 Prover Rewards Update](https://community.taiko.xyz/t/alpha-2-prover-rewards-update/28) (May, 2023)
- [Eldfell L3 update: Prover slashing explained](https://community.taiko.xyz/t/eldfell-l3-update-prover-slashing-explained/1038) (Aug, 2023)
- [Provers: To decentralize or not to decentralize?](https://community.taiko.xyz/t/provers-to-decentralize-or-not-to-decentralize/230) (May, 2023)
- [Taiko Proving Design overview: Grímsvötn and Eldfell cases](https://community.taiko.xyz/t/taiko-proving-design-overview-grimsvotn-and-eldfell-cases/1014) (Jul, 2023)
- [Decentralized and permissionless proving design (Twitter spaces wrap-up)](https://community.taiko.xyz/t/decentralized-and-permissionless-proving-design-twitter-spaces-wrap-up/1087) (Aug, 2023)
- [Community Call #6 write-up](https://community.taiko.xyz/t/community-call-6-write-up/1170) (Sep, 2023)
- [Community Call #5 write-up](https://community.taiko.xyz/t/community-call-5-write-up/1057) (Aug, 2023)
- [Taiko Fee&Gas Tokenomics Thread](https://community.taiko.xyz/t/taiko-fee-gas-tokenomics-thread/1113) (Aug, 2023)
### ZkSync
- [From Integration to Verification: Completing the First Steps in ZKsync’s Prover Network](https://zksync.mirror.xyz/1HzbsDVMQeE3P-DgysjKzagNnHehwCIrC1QA9XcNRnk) (Sep, 2024)
- [Inviting Teams to Advance the Decentralization of zkSync Era’s Prover](https://zksync.mirror.xyz/z3GvALZwgxN5CrU2kvHV1LuPf14GHc2Ul5dGDC8AZzs) (Jun, 2024)