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
Sorting:
- ☆33Sep 22, 2023Updated 2 years ago
- ☆13Sep 18, 2023Updated 2 years ago
- ☆18Mar 28, 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
- wipppp☆18May 15, 2022Updated 3 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- ☆30Mar 24, 2023Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 2 years ago
- Library and gadget to do regex string matches in halo2☆36Jul 25, 2024Updated last year
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 4 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 7 months ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- ☆14Dec 13, 2024Updated last year
- ☆14Aug 19, 2021Updated 4 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- RSA verification circuit using halo2 library.☆58Apr 26, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Sep 23, 2022Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- Lowering client-side proving cost for private ZK signatures in circom☆112Mar 18, 2023Updated 2 years ago
- ☆16Mar 11, 2024Updated last year
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- ☆10Jun 29, 2022Updated 3 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- ☆22Nov 1, 2023Updated 2 years ago
- Plonk verifier in solidity (using Commit api)☆22Jun 24, 2024Updated last year
- 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 2 years ago
- Noir implementation of RSA-verify☆44Dec 20, 2023Updated 2 years ago
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Mar 13, 2023Updated 2 years ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Aug 16, 2024Updated last year
- Include halo2 example circuits☆92Oct 16, 2023Updated 2 years ago
- A curated list of awesome resources for learning and programming with Circom☆23May 15, 2023Updated 2 years ago