A course on Halo2 in collaboration with Zircuit
☆36Mar 30, 2026Updated 3 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☆34Sep 14, 2023Updated 2 years ago
- Audit reports published by our clients☆17Updated this week
- A curated list of awesome security resources for ZK.☆123Jun 22, 2026Updated last month
- ☆30Mar 24, 2023Updated 3 years ago
- Exercises for Part 2 of the ZK-book☆37Oct 31, 2024Updated last year
- 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.
- Noname: a programming language to write zkapps☆232Apr 22, 2026Updated 3 months ago
- Tutorial for writing constraints in the `arkworks` framework☆261Jun 21, 2024Updated 2 years ago
- A framework for SPDZ-style maliciously-secure MPC.☆59Dec 21, 2025Updated 7 months ago
- Lean circuit DSL☆168Updated this week
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 7 months ago
- Audits Reports by Naman☆19Jul 10, 2026Updated 2 weeks ago
- 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.☆717May 11, 2026Updated 2 months ago
- K semantics for Solana☆16Jun 23, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- zkVMs vulnerabilities☆16May 4, 2026Updated 2 months ago
- Benchmark of ZKVMs and Proving Schemes☆37Apr 13, 2026Updated 3 months ago
- ☆45May 7, 2025Updated last year
- A comprehensive guide to teach you about gas optimization patterns.☆26Aug 24, 2023Updated 2 years ago
- ☆62Updated this week
- Write-ups submitted by CTF participants☆35Jun 1, 2023Updated 3 years ago
- Reproduce ZKP vulnerabilities☆343Jul 1, 2026Updated 3 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 last year
- 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.
- 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☆49May 7, 2025Updated last year
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆28Jul 6, 2026Updated 2 weeks ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆57Nov 3, 2025Updated 8 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 4 months ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆29Feb 2, 2023Updated 3 years ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆81Feb 5, 2026Updated 5 months ago
- ☆76Nov 25, 2024Updated last year
- 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.
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆98Dec 28, 2025Updated 6 months ago
- 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☆63Mar 8, 2026Updated 4 months ago
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆25Aug 28, 2025Updated 10 months ago
- ☆52Sep 9, 2024Updated last year
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- This repository contains Zk learning resources☆162Aug 23, 2024Updated last year