privacy-scaling-explorations / 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 last month
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆424Updated 2 weeks ago
- ☆287Updated last month
- ☆232Updated 2 years ago
- ☆822Updated last year
- ☆265Updated 11 months ago
- ☆305Updated 3 months ago
- Papyrus is a StarkNet full node written in Rust.☆321Updated 8 months ago
- Secure, high-throughput, and decentralized Data Availability☆239Updated this week
- Big integer arithmetic and secp256k1 ECC operations in circom☆332Updated last year
- ☆230Updated last year
- A flexible toolkit for building real-time blockchains☆435Updated this week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 6 months ago
- A local testnet for Starknet☆211Updated last year
- A curated list of awesome things related to learning and programming in Noir.☆498Updated last week
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆124Updated this week
- Agglayer Smart Contracts☆302Updated last week
- Monorepo of halo2 crates☆286Updated last month
- ☆230Updated last month
- List of halo2-related resources☆199Updated 6 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
- Succinct's Production-Grade Proving Engine for the OP Stack☆183Updated this week
- A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.☆354Updated this week
- Zero-Knowledge Proof Systems Circuit Compiler☆315Updated 7 months ago
- This repo contains the zkasm source code of the zkEVM☆133Updated 3 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆237Updated 2 weeks ago
- ☆158Updated 5 months ago
- Go implementation of a node that operates the Polygon zkEVM Network☆552Updated 6 months ago
- A toolkit for polynomial IOPs (PIOPs)☆656Updated this week
- Learn how to build StarkNet <-> Ethereum cross layer applications☆135Updated last year