privacy-scaling-explorations / zkevm-specsLinks
☆335Updated 11 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++☆240Updated 4 months ago
- ☆822Updated 11 months ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆421Updated 3 weeks ago
- ☆267Updated 9 months ago
- Monorepo of halo2 crates☆280Updated last week
- Papyrus is a StarkNet full node written in Rust.☆322Updated 6 months ago
- Go implementation of a node that operates the Polygon zkEVM Network☆553Updated 4 months ago
- Agglayer Smart Contracts☆301Updated this week
- ☆231Updated last year
- A Rust Implementation of the PLONK ZKP System and Extensions☆454Updated this week
- A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain☆412Updated last month
- This repo contains the zkasm source code of the zkEVM☆135Updated last month
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆235Updated 2 weeks ago
- ☆305Updated last month
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆799Updated this week
- ☆232Updated last year
- ☆823Updated last month
- ☆410Updated this week
- ☆287Updated 4 months ago
- A toolkit for polynomial IOPs (PIOPs)☆631Updated last week
- Big integer arithmetic and secp256k1 ECC operations in circom☆329Updated last year
- ☆227Updated last week
- Boojum, the scariest SNARK implementation.☆301Updated 10 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆171Updated last month
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆460Updated this week
- Secure, high-throughput, and decentralized Data Availability☆237Updated this week
- A curated list of awesome things related to learning and programming in Noir.☆470Updated this week
- Zero-Knowledge Proof Systems Circuit Compiler☆312Updated 5 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆253Updated 2 weeks ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated 4 months ago