☆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 8 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 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆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☆308Aug 26, 2025Updated 8 months ago
- ☆14Dec 17, 2024Updated last year
- ☆11Aug 11, 2025Updated 8 months ago
- ☆46Nov 21, 2025Updated 5 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
- 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.
- 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☆221Jul 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☆70Jul 3, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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☆22Jul 18, 2025Updated 9 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☆21Updated this week
- List of halo2-related resources☆204Jan 30, 2025Updated 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.
- ☆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