Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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: about 1 month ago
JSON representation

An awesome list of prover mechanism resources of the zk ecosystem

Awesome Lists containing this project

README 

        
# awesome-prover-mechanisms

An awesome list of resources for prover mechanisms in the zkrollup ecosystem



### AZTEC

https://discourse.aztec.network/



- [Ideas on a proving network](https://discourse.aztec.network/t/ideas-on-a-proving-network/724)

- [Decentralized and permissionless proving design discussion](https://twitter.com/aztecnetwork/status/1692155062523703424?s=20)

- [Request for Proposals: Decentralized Prover Coordination](https://forum.aztec.network/t/request-for-proposals-decentralized-prover-coordination/2397)

- [[Proposal] Cooperative proving network for Fernet](https://forum.aztec.network/t/proposal-cooperative-proving-network-for-fernet/2400)

- [[Proposal] Provers: Bonded Prover Auction](https://forum.aztec.network/t/proposal-provers-bonded-prover-auction/2401)

- [[Proposal] Prover Coordination: Sidecar](https://forum.aztec.network/t/proposal-prover-coordination-sidecar/2428)

- [[Proposal] - Fernet on the Rocks](https://forum.aztec.network/t/proposal-fernet-on-the-rocks/2460)

- [[Proposal] - When the levee breaks](https://forum.aztec.network/t/proposal-when-the-levee-breaks/2457)

- [[Proposal] Decentralized Prover Network (Staking, Reputations and Proof Races)](https://forum.aztec.network/t/proposal-decentralized-prover-network-staking-reputations-and-proof-races/2489)



### STARKNET

https://community.starknet.io/



- [StarkNet decentralization : Kicking off the discussion](https://community.starknet.io/t/starknet-decentralization-kicking-off-the-discussion/711)

- [Starknet Decentralized Protocol IV - Proofs in the Protocol](https://community.starknet.io/t/starknet-decentralized-protocol-iv-proofs-in-the-protocol/6030)

- [Simple Decentralized Protocol Proposal](https://community.starknet.io/t/simple-decentralized-protocol-proposal/99693)

- [Decentralization: simplest suggestion](https://community.starknet.io/t/decentralization-simplest-suggestion/38)

- [Starknet Decentralization Day Summary](https://community.starknet.io/t/starknet-decentralization-day-summary/6913)

- [StarkNet Decentralization - Tendermint based suggestion](https://community.starknet.io/t/starknet-decentralization-tendermint-based-suggestion/998)

- [Decentralized Consensus Potential Candidate (Longest Chain)](https://community.starknet.io/t/decentralized-consensus-potential-candidate-longest-chain/824)

- [Starknet Decentralized Protocol VI - The Buffer Problem](https://community.starknet.io/t/starknet-decentralized-protocol-vi-the-buffer-problem/7098)

- [Starknet Decentralized Protocol VII - Chained Proof Protocols & Braiding](https://community.starknet.io/t/starknet-decentralized-protocol-vii-chained-proof-protocols-braiding/18831)



### TAIKO

https://community.taiko.xyz/



- [Proving Taiko blocks](https://taiko.xyz/docs/concepts/proving#prover-dynamics)

- [feat(protocol): Auction #13813](https://github.com/taikoxyz/taiko-mono/issues/13813)

- [Staking-Based Tokenomics](https://github.com/taikoxyz/taiko-mono/blob/alpha-4/packages/protocol/docs/tokenomics_staking.md)

- [Alpha-2 Testnet Update](https://taiko.mirror.xyz/EM1IEpF_Pd9_WuPxw3EQPHNHmaXzh7kljMSolP754AI)

- [Alpha-2 Prover Rewards Update](https://community.taiko.xyz/t/alpha-2-prover-rewards-update/28)

- [Eldfell L3 update: Prover slashing explained](https://community.taiko.xyz/t/eldfell-l3-update-prover-slashing-explained/1038)

- [Provers: To decentralize or not to decentralize?](https://community.taiko.xyz/t/provers-to-decentralize-or-not-to-decentralize/230)

- [Taiko Proving Design overview: Grímsvötn and Eldfell cases](https://community.taiko.xyz/t/taiko-proving-design-overview-grimsvotn-and-eldfell-cases/1014)

- [Decentralized and permissionless proving design (Twitter spaces wrap-up)](https://community.taiko.xyz/t/decentralized-and-permissionless-proving-design-twitter-spaces-wrap-up/1087)

- [Community Call #6 write-up](https://community.taiko.xyz/t/community-call-6-write-up/1170)

- [Community Call #5 write-up](https://community.taiko.xyz/t/community-call-5-write-up/1057)

- [Taiko Fee&Gas Tokenomics Thread](https://community.taiko.xyz/t/taiko-fee-gas-tokenomics-thread/1113)



### SCROLL



- [An overview of Scroll’s architecture](https://scroll.io/blog/architecture)

- [Prover-sequencer separation](https://www.youtube.com/watch?v=WYH7n4M016A&t=23008s)

- [PBS-ifying Rollups: Prover-Sequencer Separation - Toghrul Maharramov](https://www.youtube.com/watch?v=s-jm5TCuQJI)

  

### ETH RESEARCH

https://ethresear.ch/



- [Based rollups—superpowers from L1 sequencing](https://ethresear.ch/t/based-rollups-superpowers-from-l1-sequencing/15016)

- [Introducing Scroll, a new layer2 solution](https://ethresear.ch/t/introducing-scroll-a-new-layer2-solution/9186)

- [Low-overhead secret single-leader election](https://ethresear.ch/t/low-overhead-secret-single-leader-election/5994)



### OTHER

- [Decentralized Proving, Proof Markets, and ZK Infrastructure](https://figmentcapital.medium.com/decentralized-proving-proof-markets-and-zk-infrastructure-f4cce2c58596)

- [Proposed milestones for rollups taking off training wheels](https://ethereum-magicians.org/t/proposed-milestones-for-rollups-taking-off-training-wheels/11571)

- [Hardening rollups with multi-proofs by Vitalik](https://hackmd.io/@vbuterin/zk_slides_20221010#/)