0xPolygon / zkevm-proverLinks
zkEVM prover in C++
☆241Updated 4 months ago
Alternatives and similar repositories for zkevm-prover
Users that are interested in zkevm-prover are comparing it to the libraries listed below
Sorting:
- ☆336Updated last year
- Secure, high-throughput, and decentralized Data Availability☆259Updated this week
- This repo contains the zkasm source code of the zkEVM☆138Updated 7 months ago
- Agglayer Smart Contracts☆310Updated last week
- Papyrus is a StarkNet full node written in Rust.☆320Updated last year
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆145Updated this week
- ☆115Updated this week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 11 months ago
- Learn how to build StarkNet <-> Ethereum cross layer applications☆137Updated last year
- ☆160Updated 10 months ago
- OP Stack Specifications☆165Updated last week
- Basic repo demoing a simple AVS middleware with full eigenlayer integration☆186Updated 5 months ago
- ☆290Updated 6 months ago
- Linea smart-contracts☆83Updated last year
- Succinct's Production-Grade Proving Engine for the OP Stack.☆207Updated this week
- ☆265Updated last year
- Charon (pronounced 'kharon') is a Proof of Stake Ethereum Distributed Validator Middleware Client☆215Updated this week
- ☆192Updated last month
- The core Arbitrum Nitro contracts deployed to the parent chain to host the rollup☆148Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆250Updated last month
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆169Updated 8 months ago