privacy-ethereum / summonLinks
A language for building boolean circuits based on TypeScript
☆35Updated 3 months ago
Alternatives and similar repositories for summon
Users that are interested in summon are comparing it to the libraries listed below
Sorting:
- Create MPC apps with TypeScript.☆51Updated 3 months ago
- ☆25Updated 7 months ago
- Lowering client-side proving cost for private ZK signatures in circom☆111Updated 2 years ago
- Client side zero-knowledge proving.☆91Updated last week
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Updated 11 months ago
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆25Updated 2 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆82Updated last month
- Nova Verifier in Circom so it can be verified onChain☆59Updated 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…☆102Updated 3 weeks ago
- Circom interpreter to arithmetic circuit description☆56Updated last year
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆84Updated 2 years ago
- Circom arithmetic circuits and concepts explained, in depth.☆31Updated 5 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 10 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- zero knowledge proof aggregator for general circuit☆72Updated last year
- Email verification circuit in halo2☆68Updated last year
- ☆63Updated last month
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- Verify JWTs using SNARK circuits☆29Updated last year
- A PoC repo for a HyperNova impl☆83Updated 2 years ago
- ☆112Updated last year
- Noir library to verify JWT tokens, and prove claims.☆31Updated last month
- Verifiable FHE with GKR☆26Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆75Updated last year
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆56Updated 2 months ago
- ☆80Updated 9 months ago
- A monorepo for vOPRF-based secure nullifiers☆18Updated 6 months ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year