A course on Halo2 in collaboration with Zircuit
☆36Mar 30, 2026Updated 4 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 3 weeks ago
- A curated list of awesome security resources for ZK.☆125Jun 22, 2026Updated last month
- ☆30Mar 24, 2023Updated 3 years ago
- Exercises for Part 2 of the ZK-book☆37Oct 31, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Noname: a programming language to write zkapps☆232Apr 22, 2026Updated 3 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 7 months ago
- Lean circuit DSL☆175Updated 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 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.☆716May 11, 2026Updated 3 months ago
- K semantics for Solana☆16Jun 23, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- zkVMs vulnerabilities☆16May 4, 2026Updated 3 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 2 years ago
- ☆74Updated this week
- Write-ups submitted by CTF participants☆35Jun 1, 2023Updated 3 years ago
- Reproduce ZKP vulnerabilities☆344Updated this week
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 last month
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆57Nov 3, 2025Updated 9 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☆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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆99Jul 28, 2026Updated 2 weeks 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 5 months ago
- ☆52Sep 9, 2024Updated last year
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆25Aug 28, 2025Updated 11 months ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- This repository contains Zk learning resources☆162Aug 23, 2024Updated last year