0xPolygonHermez / zkevm-prover
zkEVM prover in C++
☆232Updated last week
Alternatives and similar repositories for zkevm-prover:
Users that are interested in zkevm-prover are comparing it to the libraries listed below
- ☆336Updated 7 months ago
- Polygon zkEVM Smart Contracts☆298Updated this week
- This repo contains the zkasm source code of the zkEVM☆131Updated 2 weeks ago
- Go implementation of a node that operates the Polygon zkEVM Network☆551Updated this week
- Papyrus is a StarkNet full node written in Rust.☆322Updated last month
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆406Updated last week
- Monorepo of halo2 crates☆265Updated last week
- ☆266Updated 5 months ago
- Secure, high-throughput, and decentralized Data Availability☆227Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆174Updated 5 months ago
- ☆290Updated 11 months ago
- Learn how to build StarkNet <-> Ethereum cross layer applications☆135Updated 11 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated this week
- ☆226Updated last year
- ☆226Updated this week
- A curated list of awesome things related to learning and programming in Noir.☆381Updated this week
- ☆816Updated 7 months ago
- A Rust Implementation of the PLONK ZKP System and Extensions☆423Updated this week
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆117Updated this week
- ☆111Updated this week
- ☆180Updated last week
- ☆210Updated 2 weeks ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆211Updated this week
- Boojum, the scariest SNARK implementation.☆301Updated 6 months ago
- OP Stack Specifications☆118Updated this week
- Technical documentation of the zkEVM☆91Updated 8 months ago
- zkevm-chain: Deprecated☆87Updated last year
- ☆297Updated this week
- Big integer arithmetic and secp256k1 ECC operations in circom☆315Updated last year
- A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain☆395Updated 3 months ago