geometryxyz / semacaulkLinks
Gas-efficient and blazing fast proving for private signaling
☆82Updated last year
Alternatives and similar repositories for semacaulk
Users that are interested in semacaulk are comparing it to the libraries listed below
Sorting:
- Circuits library for matrix operations in circom☆33Updated last year
- Nova Verifier in Circom so it can be verified onChain☆58Updated 2 years ago
- Poseidon hash function implemented in Solidity☆52Updated 11 months ago
- Email verification circuit in halo2☆68Updated last year
- ☆2Updated last year
- ☆69Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 11 months ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- group signatures implemented with zkSNARKs☆86Updated 3 years ago
- Provides tools for testing circom circuits.☆63Updated last month
- Lowering client-side proving cost for private ZK signatures in circom☆110Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- BigInt library for Aztec's noir language☆32Updated last year
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆90Updated 2 years ago
- Honk Verifier in Solidity☆50Updated 9 months ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Updated last month
- Solidity implementation of Nova proving system verifier☆63Updated last year
- ☆94Updated 11 months ago
- RLN circuits in Circom☆30Updated last year
- barretenburg in rust (here we go)☆98Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated last year
- Export Circom verifier to Cairo☆49Updated 3 years ago
- A monorepo of reusable Noir circuits.☆43Updated this week
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆49Updated 2 years ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆95Updated last week
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago