privacy-scaling-explorations / summon
A language for building boolean circuits based on TypeScript
☆30Updated this week
Alternatives and similar repositories for summon:
Users that are interested in summon are comparing it to the libraries listed below
- Create MPC apps with TypeScript.☆42Updated this week
- Circom arithmetic circuits and concepts explained, in depth.☆27Updated 3 weeks ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆20Updated 6 months ago
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- ☆26Updated last year
- Provides tools for testing circom circuits.☆59Updated last week
- Lowering client-side proving cost for private ZK signatures in circom☆109Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆72Updated 11 months ago
- ☆2Updated last year
- ☆21Updated 2 months ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- Verifiable FHE with GKR☆26Updated 7 months ago
- ☆50Updated last year
- Verify JWTs using SNARK circuits☆28Updated 9 months ago
- Email verification circuit in halo2☆68Updated 10 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆65Updated this week
- Honk Verifier in Solidity☆50Updated 6 months ago
- Client side zero-knowledge proving.☆55Updated this week
- Poseidon hash function implemented in Solidity☆50Updated 8 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- ☆44Updated last week
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆28Updated 6 months ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- A monorepo of reusable Noir circuits.☆40Updated 2 weeks ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated 6 months ago