Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-prover-mechanisms
An awesome list of prover mechanism resources of the zk ecosystem
https://github.com/niluferokay/awesome-prover-mechanisms
- Ideas on a proving network
- Decentralized and permissionless proving design discussion
- Request for Proposals: Decentralized Prover Coordination
- [Proposal
- [Proposal
- [Proposal
- [Proposal
- [Proposal
- [Proposal
- 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
- Proving Taiko blocks
- feat(protocol): Auction #13813
- Staking-Based Tokenomics
- Alpha-2 Testnet Update
- Alpha-2 Prover Rewards Update
- Eldfell L3 update: Prover slashing explained
- Provers: To decentralize or not to decentralize?
- Taiko Proving Design overview: Grímsvötn and Eldfell cases
- Decentralized and permissionless proving design (Twitter spaces wrap-up)
- Community Call #6 write-up
- Community Call #5 write-up
- Taiko Fee&Gas Tokenomics Thread
- An overview of Scroll’s architecture
- Prover-sequencer separation
- PBS-ifying Rollups: Prover-Sequencer Separation - Toghrul Maharramov
- Based rollups—superpowers from L1 sequencing
- 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