Circuits, written in circom, for Proof Of Solvency
☆26Feb 11, 2023Updated 3 years ago
Alternatives and similar repositories for circuits-circom
Users that are interested in circuits-circom are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆33Sep 22, 2023Updated 2 years ago
- ☆18Mar 28, 2023Updated 3 years ago
- ☆13Sep 18, 2023Updated 2 years ago
- nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)☆18Nov 12, 2023Updated 2 years ago
- ☆30Mar 24, 2023Updated 3 years 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.
- wipppp☆18May 15, 2022Updated 3 years ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 4 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 9 months ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- RSA verification circuit using halo2 library.☆58Apr 26, 2023Updated 3 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years 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.
- Library and gadget to do regex string matches in halo2☆36Jul 25, 2024Updated last year
- ☆14Aug 19, 2021Updated 4 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- A collection of practical circom circuits☆14May 19, 2022Updated 3 years ago
- ☆14Dec 13, 2024Updated last year
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 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.
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- Lowering client-side proving cost for private ZK signatures in circom☆112Mar 18, 2023Updated 3 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Sep 23, 2022Updated 3 years ago
- A Brainfuck zkVM with Circom.☆61Jul 21, 2023Updated 2 years ago
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆41Mar 8, 2023Updated 3 years ago
- ☆23Nov 1, 2023Updated 2 years ago
- Cairo verification of webauthn authentication credentials☆33Apr 20, 2024Updated 2 years 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.
- ☆10Mar 25, 2022Updated 4 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- A toolkit to compile and debug circom circuit.☆27Sep 27, 2023Updated 2 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- A curated list of awesome resources for learning and programming with Circom☆23May 15, 2023Updated 2 years ago