privacy-scaling-explorations / zkevm-specsLinks
☆336Updated 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++☆240Updated last week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆421Updated last month
- ☆821Updated last year
- ☆267Updated 10 months ago
- ☆287Updated 2 weeks ago
- ☆231Updated last year
- Papyrus is a StarkNet full node written in Rust.☆322Updated 6 months ago
- ☆306Updated 2 months ago
- Agglayer Smart Contracts☆303Updated this week
- Monorepo of halo2 crates☆285Updated this week
- ☆228Updated last week
- Build real-time rollups with the industry's most flexible toolkit.☆418Updated 2 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated 5 months ago
- This repo contains the zkasm source code of the zkEVM☆135Updated last month
- Secure, high-throughput, and decentralized Data Availability☆237Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆183Updated last week
- List of halo2-related resources☆199Updated 5 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆238Updated 3 weeks ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆330Updated last year
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆121Updated last month
- Blazingly fast Parallel EVM☆293Updated 3 months ago
- A local testnet for Starknet☆211Updated last year
- Go implementation of a node that operates the Polygon zkEVM Network☆553Updated 5 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆171Updated 2 months ago
- Learn how to build StarkNet <-> Ethereum cross layer applications☆135Updated last year
- Succinct's Production-Grade Proving Engine for the OP Stack☆179Updated this week
- educational python plonk implementation, based on vitalik's py_plonk☆216Updated last year
- Official repository for specifications for the Portal Network☆343Updated 2 weeks ago
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆461Updated last week
- Zero-Knowledge Proof Systems Circuit Compiler☆315Updated 5 months ago