## List of Prover Mechanisms Research ### AZTEC - [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) - [B52](https://hackmd.io/VIeqkDnMScG1B-DIVIyPLg) or [[Proposal] Sequencer Selection: B52 — PBS with a federated prover network](https://discourse.aztec.network/t/proposal-sequencer-selection-b52-pbs-with-a-federated-prover-network/351) - [Fernet](https://hackmd.io/0FwyoEjKSUiHQsmowXnJPw) or [[Proposal] Sequencer Selection: Fernet](https://discourse.aztec.network/t/proposal-sequencer-selection-fernet/533) - [Whisk-y: should we use Whisk for sequencer selection?](https://discourse.aztec.network/t/whisk-y-should-we-use-whisk-for-sequencer-selection/365) - [[Proposal] Sequencer Selection: Cookie Jar!](https://discourse.aztec.network/t/proposal-sequencer-selection-cookie-jar/448) - [Aztec Upgrade Training Wheels](https://discourse.aztec.network/t/aztec-upgrade-training-wheels/641) - [[Upgrade Proposal] - The Empire Stakes Back](https://discourse.aztec.network/t/upgrade-proposal-the-empire-stakes-back/626) - [[Proposal] Sequencer Selection: Irish Coffee](https://discourse.aztec.network/t/proposal-sequencer-selection-irish-coffee/483) - [[Proposal] Sequencer Selection: Espresso Martini](https://discourse.aztec.network/t/proposal-sequencer-selection-espresso-martini/486) ### 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) - [Fees in StarkNet Alpha](https://community.starknet.io/t/fees-in-starknet-alpha/286) ### TAIKO https://community.taiko.xyz/ - [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) ### ZKSYNC ### POLYGON ZKEVM https://forum.polygon.technology/ - [Pre-PIP Discussion: Upgrading Polygon PoS to a zkEVM Validium](https://forum.polygon.technology/t/pre-pip-discussion-upgrading-polygon-pos-to-a-zkevm-validium/12187) - [Polygon zkEVM Mainnet Beta Next Update: Wed 6 Sep 2023 at 11:00 hrs UTC](https://forum.polygon.technology/t/polygon-zkevm-mainnet-beta-next-update-wed-6-sep-2023-at-11-00-hrs-utc/12844) ### LINEA https://community.linea.build/ ### ETH RESEARCH https://ethresear.ch/ - [zkMIPS: What “Security” Means for Our zkVM’s Proofs (Part 1)](https://ethresear.ch/t/zkmips-what-security-means-for-our-zkvm-s-proofs-part-1/16375) - [zkMIPS: What “Security” Means for Our zkVM’s Proofs (Part 2)](https://ethresear.ch/t/zkmips-what-security-means-for-our-zkvm-s-proofs-part-2/16384) - [MEV for “Based Rollup”](https://ethresear.ch/t/mev-for-based-rollup/15636) - [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 - [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#/) - [Decentralized Proving, Proof Markets, and ZK Infrastructure](https://figmentcapital.medium.com/decentralized-proving-proof-markets-and-zk-infrastructure-f4cce2c58596)