scroll-tech / halo2-snark-aggregator
halo2 ecc circuit
☆115Updated last year
Alternatives and similar repositories for halo2-snark-aggregator:
Users that are interested in halo2-snark-aggregator are comparing it to the libraries listed below
- ☆150Updated 10 months ago
- ☆87Updated 5 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated last year
- Polynomials Identity Language☆68Updated 10 months ago
- ☆95Updated 4 months ago
- Poseidon hash circuit☆95Updated 2 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- A PoC repo for a HyperNova impl☆82Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- ☆118Updated last month
- Monorepo for Summa Proof of Solvency Protocol☆95Updated 4 months ago
- Generates a stark from a pil☆96Updated 5 months ago
- The schelling point for ZK applications.☆135Updated 8 months ago
- ☆114Updated 5 months ago
- ☆206Updated last month
- Email verification circuit in halo2☆66Updated 6 months ago
- Out-of-circuit zkEVM implementation☆80Updated 5 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆73Updated this week
- ☆102Updated 8 months ago
- ☆74Updated last year
- ☆89Updated last month
- Core components of the Polygon Miden rollup☆75Updated this week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆88Updated 2 months ago
- ☆24Updated 3 weeks ago
- Technical documentation of the zkEVM☆91Updated 7 months ago
- A performant, type-1 zkEVM written in Rust & SP1.☆128Updated 3 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆102Updated last year
- Circom interpreter to arithmetic circuit description☆50Updated 4 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆111Updated this week