0xPolygonHermez / zkevm-techdocs
Technical documentation of the zkEVM
☆91Updated 8 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 11 months ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆136Updated this week
- Generates a stark from a pil☆97Updated 6 months ago
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆156Updated this week
- ☆91Updated 2 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆81Updated this week
- ☆150Updated 11 months ago
- ☆94Updated 6 months ago
- Email verification circuit in halo2☆67Updated 7 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆73Updated last year
- halo2 ecc circuit☆116Updated 2 years ago
- Out-of-circuit zkEVM implementation☆80Updated 6 months ago
- ☆95Updated 6 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆124Updated this week
- zkEVM proof generator reference written in Javascript☆81Updated 3 weeks ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆94Updated last month
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆100Updated 2 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆60Updated this week
- The Ethereum Rollup Improvement Proposal repository☆118Updated last week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆50Updated 3 weeks ago
- The schelling point for ZK applications.☆136Updated 9 months ago
- Smart contracts for onchain verification of SP1.☆78Updated this week
- Circom interpreter to arithmetic circuit description☆53Updated 5 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆124Updated this week
- ☆114Updated 6 months ago
- A PoC repo for a HyperNova impl☆82Updated last year
- A performant, type-1 zkEVM written in Rust & SP1.☆131Updated 4 months ago
- A curated list of repos related to Circom☆96Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Experimental folding schemes library☆224Updated this week