awesome-prover-mechanisms
An awesome list of prover mechanism resources of the zk ecosystem
https://github.com/niluferokay/awesome-prover-mechanisms
Last synced: 22 days ago
JSON representation
-
ZkRollups
-
Taiko
- Staking-Based Tokenomics
- Alpha-2 Testnet Update
- Eldfell L3 update: Prover slashing explained
- Taiko Proving Design overview: Grímsvötn and Eldfell cases
- Taiko’s Approach to Multi-Proofs
- Alpha-2 Prover Rewards Update
- Provers: To decentralize or not to decentralize?
- Decentralized and permissionless proving design (Twitter spaces wrap-up)
- Community Call #6 write-up
- Community Call #5 write-up
- Taiko Fee&Gas Tokenomics Thread
- feat(protocol): Auction #13813
-
Scroll
-
Starknet
- StarkNet decentralization : Kicking off the discussion
- Starknet Decentralized Protocol IV - Proofs in the Protocol
- Simple Decentralized Protocol Proposal
- Decentralization: simplest suggestion
- Starknet Decentralization Day Summary
- StarkNet Decentralization - Tendermint based suggestion
- Decentralized Consensus Potential Candidate (Longest Chain)
- Starknet Decentralized Protocol VI - The Buffer Problem
- Starknet Decentralized Protocol VII - Chained Proof Protocols & Braiding
-
Aztec
- Epoch Proving Integration Guide
- On proving marketplaces
- Decentralization is not a meme: Part 1
- Request for Comments: Aztec Sequencer Selection and Prover Coordination Protocols
- Request for Proposals: Decentralized Prover Coordination
- [Proposal
- [Proposal
- [Proposal
- [Proposal
- [Proposal
- [Proposal
- Decentralized and permissionless proving design discussion
-
ZkSync
-
-
Uncategorized
-
Uncategorized
- Ideas on a proving network
- Decentralized and permissionless proving design discussion
- Proving Taiko blocks
- Prover-sequencer separation
- Introducing Scroll, a new layer2 solution
- Low-overhead secret single-leader election
- Decentralized Proving, Proof Markets, and ZK Infrastructure
- Proposed milestones for rollups taking off training wheels
- Hardening rollups with multi-proofs by Vitalik
- Proving Taiko blocks
- Mechanism Design for ZK-Rollup Prover Markets
- The Ouroboros of ZK: Why Verifying the Verifier: Unlocks Longer-Term ZK Innovation
- Scaling Ethereum L1 and L2s in 2025 and beyond
- Possible futures of the Ethereum protocol, part 4: The Verge
- The Proof Supply Chain
- Based rollups—superpowers from L1 sequencing
-
-
Prover Networks/ Marketplaces
-
Gevulot
- What does it take to prove a ZK-L2?
- ZkCloud’s Prover and Validator Node Rewards
- State of the Proving Infrastructure Landscape - 2024Q2
- State of the Proving Infrastructure Landscape - 2024Q3
- State of the Proving Infrastructure Landscape - 2024Q4
- Learnings from Aztec’s Proving Contest
- ZkBoost: Proof Supply Chain Abstraction
- Gevulot Announces The ZkBoost Consortium's Founding Governing Council
- Gevulot Docs
-
Ingonyama
-
Lagrange
- Lagrange Introduces the Infinite Proving Layer: Expanding Decentralized Proving to ZK Rollups
- Lagrange Deploys First Production-Ready ZK Prover Network Powered by Coinbase, Kraken and OKX
- A New Era for ZK: Decentralizing the ZK Stack
- The Next Chapter for Lagrange
- Introducing DARA: A New Design for ZK Prover Networks
- Cracking ZK Coprocessors
- Robust Double Auctions for Resource Allocation
-
RiscZero
-
Succinct
-