teddav / halo2-starterView external linksLinks
Easy setup for Halo2 ZK circuits
☆15Jun 6, 2024Updated last year
Alternatives and similar repositories for halo2-starter
Users that are interested in halo2-starter are comparing it to the libraries listed below
Sorting:
- ☆31Oct 27, 2025Updated 3 months ago
- A library for lattice-based multiparty homomorphic encryption in Go☆14Dec 20, 2024Updated last year
- Some of Our Audit Reports, Presentations, etc☆13Mar 26, 2024Updated last year
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- WebGPU MSM implementation☆17Oct 28, 2025Updated 3 months ago
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 2 weeks ago
- ☆18Feb 4, 2026Updated last week
- A Federated Learning network built on Proof of Stake and micro-rollups.☆13Dec 16, 2023Updated 2 years ago
- ☆21Aug 23, 2024Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆47May 7, 2025Updated 9 months ago
- ☆21May 12, 2023Updated 2 years ago
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆22Aug 28, 2025Updated 5 months ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated 6 months ago
- ☆26Feb 25, 2024Updated last year
- Verifiable FHE with GKR☆28Oct 5, 2024Updated last year
- Vacant Positions at Sigma Prime☆58Nov 3, 2025Updated 3 months ago
- ☆12Sep 6, 2023Updated 2 years ago
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- simple zk implementations in python☆34May 21, 2024Updated last year
- Exercises for Part 2 of the ZK-book☆33Oct 31, 2024Updated last year
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 2024Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- Rust implementation of KZG point evaluation☆35Feb 5, 2026Updated last week
- This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust☆49Jun 4, 2025Updated 8 months ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 2 years ago
- A repository to store all my recourses and code on my Web 3 education☆37Dec 17, 2024Updated last year
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Apr 7, 2025Updated 10 months ago
- ☆10Feb 3, 2023Updated 3 years ago
- ☆58Updated this week
- REBASE token contracts☆12Mar 1, 2021Updated 4 years ago
- hyrax-pcs-commit repository☆14Dec 16, 2025Updated last month
- SSH brute-forcing tool written in python☆15Feb 10, 2023Updated 3 years ago
- This repository contains Zk learning resources☆159Aug 23, 2024Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- ☆107Aug 6, 2024Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆211Feb 6, 2026Updated last week
- eip-x☆12Mar 22, 2024Updated last year
- Suave/TEE PoCs of MEV Resistant AMMs☆44Feb 6, 2025Updated last year