privacy-scaling-explorations / zkevm-specs
☆335Updated 10 months ago
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 3 months ago
- ☆816Updated 10 months ago
- Monorepo of halo2 crates☆270Updated 2 weeks ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆420Updated last month
- Go implementation of a node that operates the Polygon zkEVM Network☆553Updated 3 months ago
- A Rust Implementation of the PLONK ZKP System and Extensions☆447Updated this week
- ☆267Updated 8 months ago
- Papyrus is a StarkNet full node written in Rust.☆321Updated 4 months ago
- ☆287Updated 2 months ago
- A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain☆405Updated last week
- Agglayer Smart Contracts☆302Updated this week
- ☆227Updated last year
- A curated list of awesome things related to learning and programming in Noir.☆439Updated last week
- This repo contains the zkasm source code of the zkEVM☆132Updated 3 months ago
- Secure, high-throughput, and decentralized Data Availability☆231Updated this week
- ☆304Updated last week
- A toolkit for polynomial IOPs (PIOPs)☆614Updated this week
- Starknet client implementation.☆423Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆232Updated this week
- ☆820Updated this week
- A local testnet for Starknet☆211Updated last year
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆172Updated 8 months ago
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆788Updated this week
- ☆329Updated this week
- A modular framework for rollups, with various execution environments☆350Updated this week
- ☆221Updated 2 months ago
- Boojum, the scariest SNARK implementation.☆301Updated 9 months ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆325Updated last year
- Zero-Knowledge Proof Systems Circuit Compiler☆309Updated 3 months ago
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆453Updated this week