0xPolygonHermez / zkevm-prover
zkEVM prover in C++
☆239Updated 2 months ago
Alternatives and similar repositories for zkevm-prover:
Users that are interested in zkevm-prover are comparing it to the libraries listed below
- ☆335Updated 9 months ago
- Polygon zkEVM Smart Contracts☆300Updated last month
- ☆268Updated 7 months ago
- Papyrus is a StarkNet full node written in Rust.☆321Updated 3 months ago
- Go implementation of a node that operates the Polygon zkEVM Network☆554Updated 2 months ago
- This repo contains the zkasm source code of the zkEVM☆132Updated 2 months ago
- ☆249Updated this week
- Monorepo of halo2 crates☆269Updated 3 weeks ago
- Learn how to build StarkNet <-> Ethereum cross layer applications☆134Updated last year
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆174Updated 7 months ago
- Secure, high-throughput, and decentralized Data Availability☆230Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆227Updated this week
- Boojum, the scariest SNARK implementation.☆301Updated 8 months ago
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆113Updated this week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆418Updated 2 weeks ago
- ☆287Updated last month
- ☆815Updated 9 months ago
- A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain☆403Updated 3 weeks ago
- Basic repo demoing a simple AVS middleware with full eigenlayer integration☆183Updated last week
- A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.☆283Updated last week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆165Updated 2 months ago
- ☆124Updated this week
- ☆161Updated this week
- A curated list of awesome things related to learning and programming in Noir.☆424Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack☆153Updated this week
- A Rust Implementation of the PLONK ZKP System and Extensions☆440Updated this week
- OP Stack Specifications☆123Updated this week
- Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀☆179Updated 3 weeks ago
- ☆183Updated last month
- A toolkit for polynomial IOPs (PIOPs)☆604Updated this week