Easy setup for Halo2 ZK circuits
☆16Jun 6, 2024Updated 2 years ago
Alternatives and similar repositories for halo2-starter
Users that are interested in halo2-starter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library for lattice-based multiparty homomorphic encryption in Go☆14Dec 20, 2024Updated last year
- ☆12Jun 5, 2025Updated last year
- ☆32Oct 27, 2025Updated 9 months ago
- ☆14Jul 31, 2024Updated 2 years ago
- Witness encryption for KZG openings☆35Nov 6, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Some of Our Audit Reports, Presentations, etc☆13Mar 26, 2024Updated 2 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆49May 7, 2025Updated last year
- Breathe air☆25May 19, 2024Updated 2 years ago
- ☆18Jul 24, 2026Updated 2 weeks ago
- A Lean 4 implementation of the Ethereum consensus specification for the Fulu and Gloas forks.☆16Updated this week
- ☆10Feb 3, 2023Updated 3 years ago
- ☆12Jun 3, 2024Updated 2 years ago
- A Federated Learning network built on Proof of Stake and micro-rollups.☆13Dec 16, 2023Updated 2 years ago
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 6 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- WebGPU MSM implementation☆15Oct 28, 2025Updated 9 months ago
- Minimalistic Growth16 snark system.☆10Jul 18, 2023Updated 3 years ago
- We're living in Obfustopia☆28Jan 2, 2025Updated last year
- ☆13May 28, 2024Updated 2 years ago
- An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark☆12Feb 24, 2024Updated 2 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 3 years ago
- Standardize cryptographic tasks in your application.☆10Jul 4, 2024Updated 2 years ago
- 🌈 Connect your dApp to Dataverse Wallet that exposes OS system calls to access asset & data networks (EVM chains, Ceramic, Lit)☆12Jan 26, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated last year
- Recibo: encrypted memos for ERC-20 transactions.☆15Jun 18, 2026Updated last month
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 7 months ago
- ☆26Feb 25, 2024Updated 2 years ago
- Verifiable FHE with GKR☆27Oct 5, 2024Updated last year
- Client-side proving benchmarks☆21Jul 31, 2026Updated last week
- UPA is the proof aggregation engine built by NEBRA team.☆40Mar 13, 2026Updated 4 months ago
- A tool to read .lvx format files for better use of livox lidar☆11Oct 5, 2022Updated 3 years ago
- A depth-aware secure computation compiler☆17Jun 7, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- MoonMath Manual notes, exercise solution and extra comments.☆33Jun 28, 2024Updated 2 years ago
- Rust implementation of KZG point evaluation☆36May 7, 2026Updated 3 months ago
- Extractable Witness Encryption for KZG Commitments☆33Nov 29, 2024Updated last year
- 🌱 A decentralized social media app built with event streams and Dataverse file system☆15Dec 8, 2023Updated 2 years ago
- ☆19Dec 12, 2023Updated 2 years ago
- A curated list of resources around BitVM☆26Apr 3, 2024Updated 2 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year