0xPolygonHermez / zkevm-techdocs
Technical documentation of the zkEVM
☆89Updated 10 months ago
Alternatives and similar repositories for zkevm-techdocs:
Users that are interested in zkevm-techdocs are comparing it to the libraries listed below
- Polynomials Identity Language☆68Updated last year
- Generates a stark from a pil☆95Updated 8 months ago
- Smart contracts for onchain verification of SP1.☆88Updated last month
- ☆92Updated 4 months ago
- halo2 ecc circuit☆116Updated 2 years ago
- ☆150Updated last year
- ☆98Updated 8 months ago
- ☆94Updated 8 months ago
- A curated list of repos related to Circom☆99Updated 2 years ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 4 months ago
- ☆77Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆99Updated this week
- A repo of example Noir projects.☆51Updated last month
- A PoC repo for a HyperNova impl☆83Updated last year
- Succinct's Production-Grade Proving Engine for the OP Stack☆154Updated this week
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 7 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆53Updated 7 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- ☆119Updated 4 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆107Updated last month
- Out-of-circuit zkEVM implementation☆80Updated 8 months ago
- EigenLayer Rust Developer Tooling☆84Updated last week
- Email verification circuit in halo2☆68Updated 9 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- A guild to build simple zk rollup☆54Updated 2 years ago
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated this week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 weeks ago
- ☆102Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago