A course on Halo2 in collaboration with Zircuit
☆36Mar 30, 2026Updated 5 months ago
Alternatives and similar repositories for halo2-course
Users that are interested in halo2-course are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Sep 14, 2023Updated 2 years ago
- Audit reports published by our clients☆16Jul 22, 2026Updated last month
- A curated list of awesome security resources for ZK.☆125Jun 22, 2026Updated 2 months ago
- ☆30Mar 24, 2023Updated 3 years ago
- Exercises for Part 2 of the ZK-book☆37Oct 31, 2024Updated last year
- 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.
- Noname: a programming language to write zkapps☆232Apr 22, 2026Updated 4 months ago
- Tutorial for writing constraints in the `arkworks` framework☆264Jun 21, 2024Updated 2 years ago
- A framework for SPDZ-style maliciously-secure MPC.☆59Dec 21, 2025Updated 8 months ago
- Lean circuit DSL☆181Updated this week
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 8 months ago
- Audits Reports by Naman☆19Jul 10, 2026Updated last month
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated last year
- A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.☆721May 11, 2026Updated 3 months ago
- K semantics for Solana☆16Jun 23, 2026Updated 2 months 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.
- zkVMs vulnerabilities☆16May 4, 2026Updated 4 months ago
- Benchmark of ZKVMs and Proving Schemes☆37Apr 13, 2026Updated 4 months ago
- ☆45May 7, 2025Updated last year
- A comprehensive guide to teach you about gas optimization patterns.☆26Aug 24, 2023Updated 3 years ago
- ☆86Updated this week
- Write-ups submitted by CTF participants☆35Jun 1, 2023Updated 3 years ago
- Reproduce ZKP vulnerabilities☆345Aug 19, 2026Updated 2 weeks ago
- A set of exercises to get started with Cairo0☆21Mar 26, 2025Updated last year
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆20Aug 17, 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.
- A curated list of awesome resources for learning and programming with Circom☆23May 15, 2023Updated 3 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆50May 7, 2025Updated last year
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆28Jul 6, 2026Updated last month
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆57Nov 3, 2025Updated 10 months ago
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆220Jun 8, 2024Updated 2 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆234Mar 25, 2026Updated 5 months ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆30Feb 2, 2023Updated 3 years ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆80Feb 5, 2026Updated 6 months ago
- ☆76Nov 25, 2024Updated last year
- 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.
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆99Updated this week
- A collection and summary of my auditing achievements, with a doc on my private security review process☆16Jul 2, 2025Updated last year
- ZeroOS: A Universal Modular Library OS for zkVMs☆62Updated this week
- ☆51Sep 9, 2024Updated last year
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆24Aug 28, 2025Updated last year
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- ☆43Updated this week