A course on Halo2 in collaboration with Zircuit
☆37Mar 30, 2026Updated 7 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:
- A fast, modular, optimized ZKEVM core written in C++☆15Updated this week
- An educational implementation of the PLONK proving system☆10Dec 22, 2025Updated 10 months ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Sep 14, 2023Updated 3 years ago
- ☆13Apr 16, 2025Updated last year
- A curated list of awesome security resources for ZK.☆126Jun 22, 2026Updated 4 months 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.
- Noname: a programming language to write zkapps☆231Apr 22, 2026Updated 6 months ago
- Tutorial for writing constraints in the `arkworks` framework☆264Jun 21, 2024Updated 2 years ago
- Exercises for Part 2 of the ZK-book☆37Oct 31, 2024Updated 2 years ago
- Audit reports published by our clients☆17Jul 22, 2026Updated 3 months ago
- ☆30Mar 24, 2023Updated 3 years ago
- Lean circuit DSL☆207Updated this week
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆30Feb 2, 2023Updated 3 years ago
- Sierra decompiler and analyzer☆12Apr 22, 2025Updated last year
- Audits Reports by Naman☆19Oct 10, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 10 months ago
- A framework for SPDZ-style maliciously-secure MPC.☆59Dec 21, 2025Updated 10 months 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.☆730May 11, 2026Updated 5 months ago
- Reproduce ZKP vulnerabilities☆351Sep 30, 2026Updated last month
- zkVMs vulnerabilities☆16May 4, 2026Updated 5 months ago
- K semantics for Solana☆16Jun 23, 2026Updated 4 months ago
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆221Jun 8, 2024Updated 2 years ago
- ZKSecurity's open-source AI-skills for pre-auditing ZK circuits☆15Aug 3, 2026Updated 3 months ago
- 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.
- Benchmark of ZKVMs and Proving Schemes☆38Apr 13, 2026Updated 6 months ago
- ☆45May 7, 2025Updated last year
- A privacy-hardened Unified Address light client for Zcash.☆14Dec 3, 2025Updated 11 months ago
- A set of exercises to get started with Cairo0☆21Mar 26, 2025Updated last year
- ☆76Nov 25, 2024Updated last year
- A comprehensive guide to teach you about gas optimization patterns.☆26Aug 24, 2023Updated 3 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆221Jul 12, 2024Updated 2 years ago
- Write-ups submitted by CTF participants☆35Jun 1, 2023Updated 3 years ago
- A curated list of awesome resources for learning and programming with Circom☆23May 15, 2023Updated 3 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.
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆20Aug 17, 2024Updated 2 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆238Mar 25, 2026Updated 7 months ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆28Jul 6, 2026Updated 3 months ago
- This repository contains Zk learning resources☆166Aug 23, 2024Updated 2 years ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆80Oct 11, 2026Updated 3 weeks ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆58Nov 3, 2025Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆75Jul 12, 2026Updated 3 months ago