Include halo2 example circuits
☆10Jul 4, 2022Updated 4 years ago
Alternatives and similar repositories for halo2-examples
Users that are interested in halo2-examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 3 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 6 years ago
- RLN circuits in Circom☆33Jul 13, 2024Updated 2 years ago
- Server for ZKML☆22Mar 5, 2023Updated 3 years ago
- Provides tools for testing circom circuits.☆68Jun 10, 2025Updated last year
- 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.
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 3 years ago
- Mutation testing tool for circom☆16Jul 4, 2023Updated 3 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 3 years ago
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Oct 3, 2024Updated 2 years ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 3 years ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 3 years ago
- Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy pre…☆13Apr 2, 2023Updated 3 years ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Proof contribute to github using zk☆27Jul 17, 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.
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 3 years ago
- A place to collect ZKJobs☆18May 19, 2021Updated 5 years ago
- My implementation of Plonk☆19Jun 27, 2021Updated 5 years ago
- Javascript library to work with circomlib circuits☆94Jun 5, 2026Updated 5 months ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 3 years ago
- Include halo2 example circuits☆91Oct 16, 2023Updated 3 years ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆150Oct 14, 2024Updated 2 years ago
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆23Jul 18, 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.
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- ☆35Jun 4, 2026Updated 5 months ago
- ☆23Nov 1, 2023Updated 3 years ago
- Library and gadget to do regex string matches in halo2☆37Jul 25, 2024Updated 2 years ago
- ☆124Nov 30, 2024Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆102Aug 17, 2026Updated 2 months ago
- ☆10Mar 25, 2022Updated 4 years ago
- r1cs file format parser☆25Sep 2, 2026Updated 2 months ago
- 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 set of tooling related to halo2 circuits verification inside Solidity contracts☆67Oct 1, 2024Updated 2 years ago
- ☆28Jan 18, 2022Updated 4 years ago
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 3 years ago
- Circom Circuits Library for Machine Learning☆186Jun 19, 2024Updated 2 years ago
- A spot to add introductory resources for people getting into the space☆27Aug 8, 2021Updated 5 years ago
- BigInt library for Aztec's noir language☆32Mar 11, 2024Updated 2 years ago
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 5 years ago