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
- ☆18Mar 28, 2023Updated 2 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 2 years ago
- wipppp☆18May 15, 2022Updated 3 years ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 2 years ago
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 4 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 8 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 2 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- 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
- 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
- ☆22Nov 1, 2023Updated 2 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
- Cairo verification of webauthn authentication credentials☆33Apr 20, 2024Updated last year
- ☆10Mar 25, 2022Updated 3 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 5 years ago
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆12Feb 18, 2023Updated 3 years ago