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
- ☆32Oct 27, 2025Updated 8 months ago
- ☆12Jun 5, 2025Updated last year
- Witness encryption for KZG openings☆35Nov 6, 2024Updated last year
- Some of Our Audit Reports, Presentations, etc☆13Mar 26, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆49May 7, 2025Updated last year
- ☆18Apr 29, 2026Updated 2 months ago
- A Lean 4 implementation of the Ethereum consensus specification for the Fulu and Gloas forks.☆15Updated this week
- ☆10Feb 3, 2023Updated 3 years ago
- A Federated Learning network built on Proof of Stake and micro-rollups.☆13Dec 16, 2023Updated 2 years ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 5 months ago
- WebGPU MSM implementation☆15Oct 28, 2025Updated 8 months ago
- ☆13May 28, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 3 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 7 months 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
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated 11 months ago
- ☆26Feb 25, 2024Updated 2 years ago
- Verifiable FHE with GKR☆27Oct 5, 2024Updated last year
- Client-side proving benchmarks☆21Jun 30, 2026Updated 3 weeks ago
- A depth-aware secure computation compiler☆17Jun 7, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rust implementation of KZG point evaluation☆35May 7, 2026Updated 2 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
- ☆10Nov 1, 2024Updated last year
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated last year
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated 2 years ago
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆25Aug 28, 2025Updated 10 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆10May 12, 2017Updated 9 years ago
- ☆68Apr 1, 2026Updated 3 months ago
- ☆12Sep 6, 2023Updated 2 years ago
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 9 months ago
- ☆11Feb 6, 2024Updated 2 years ago
- Semaphore v4 implemented in Rust☆11Oct 7, 2025Updated 9 months ago
- ☆108Aug 6, 2024Updated last year