☆75Mar 23, 2023Updated 3 years ago
Alternatives and similar repositories for zk-mooc-halo2
Users that are interested in zk-mooc-halo2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆34Jul 14, 2023Updated 2 years ago
- Scroll's Rollup Explorer Backend☆55Aug 4, 2025Updated 9 months ago
- Poseidon hash circuit☆107Oct 30, 2024Updated last year
- A build-time dependency for linking go code into Rust.☆14Nov 28, 2023Updated 2 years ago
- scroll's DA encoding/decoding libraries☆17Feb 4, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆26Nov 10, 2024Updated last year
- Include halo2 example circuits☆92Oct 16, 2023Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- Monorepo of halo2 crates☆309Aug 26, 2025Updated 8 months ago
- ☆14Dec 17, 2024Updated last year
- ☆11Aug 11, 2025Updated 9 months ago
- ☆46Nov 21, 2025Updated 6 months ago
- Ethereum compatibility layer for Substrate.☆12Mar 30, 2023Updated 3 years ago
- A collection of technical notes from the Geometry research team.☆47Apr 17, 2023Updated 3 years 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.
- Deprecated, please submit a badge through the link below☆11Aug 16, 2024Updated last year
- halo2 ecc circuit☆117Feb 17, 2023Updated 3 years ago
- MerkleTree compatible with circomlib/smt☆13Feb 8, 2022Updated 4 years ago
- Simplified educational python plonk implementation☆47Mar 28, 2026Updated last month
- educational python plonk implementation, based on vitalik's py_plonk☆222Jul 12, 2024Updated last year
- ripemd160, modexp(u256 only) circuits☆32Mar 14, 2024Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- ☆12Sep 11, 2024Updated last year
- Email verification circuit in halo2☆72Jul 3, 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.
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Dec 2, 2024Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆23Jul 18, 2025Updated 10 months ago
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- ☆14Oct 27, 2023Updated 2 years ago
- Ethereum infura like service to provide RPC endpoints for Scroll network.☆20Jul 5, 2024Updated last year
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- Server for ZKML☆22Mar 5, 2023Updated 3 years ago
- Pint, the constraint-based programming language for declarative blockchains☆21May 10, 2026Updated last week
- List of halo2-related resources☆204Jan 30, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆18Mar 28, 2023Updated 3 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Jun 24, 2024Updated last year
- macros for halo2 gate generation☆20Mar 14, 2024Updated 2 years ago
- ☆19Oct 24, 2024Updated last year
- ☆13Aug 15, 2024Updated last year
- Binary storage trie☆76Nov 29, 2024Updated last year
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated last year