privacy-ethereum / zkevm-specsLinks
☆337Updated last year
Alternatives and similar repositories for zkevm-specs
Users that are interested in zkevm-specs are comparing it to the libraries listed below
Sorting:
- zkEVM prover in C++☆239Updated 2 weeks ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆427Updated this week
- ☆822Updated last year
- ☆232Updated 2 years ago
- Papyrus is a StarkNet full node written in Rust.☆320Updated 8 months ago
- ☆266Updated 11 months ago
- Agglayer Smart Contracts☆303Updated last week
- ☆305Updated 4 months ago
- ☆286Updated 2 months ago
- Secure, high-throughput, and decentralized Data Availability☆241Updated this week
- A flexible toolkit for building real-time blockchains☆435Updated this week
- Monorepo of halo2 crates☆287Updated 2 weeks ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆333Updated last year
- ☆230Updated 2 months ago
- ☆833Updated 2 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆237Updated last week
- Go implementation of a node that operates the Polygon zkEVM Network☆553Updated 7 months ago
- ☆158Updated 6 months ago
- A Rust Implementation of the PLONK ZKP System and Extensions☆480Updated this week
- ☆229Updated last year
- This repo contains the zkasm source code of the zkEVM☆134Updated 3 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 7 months ago
- List of halo2-related resources☆199Updated 7 months ago
- A local testnet for Starknet☆211Updated last year
- A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.☆355Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack☆186Updated this week
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆468Updated this week
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆124Updated this week
- Zero-Knowledge Proof Systems Circuit Compiler☆315Updated 7 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170Updated 3 months ago