Lehigh-Coders-Community / CSE6cubed
☆23Updated 4 years ago
Alternatives and similar repositories for CSE6cubed
Users that are interested in CSE6cubed are comparing it to the libraries listed below
Sorting:
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆40Updated 2 years ago
- ☆17Updated 10 months ago
- bignum☆23Updated 2 weeks ago
- Export Circom verifier to Cairo☆49Updated 3 years ago
- SHA512 Circom circuits☆15Updated 2 years ago
- ☆94Updated 8 months ago
- Private treasuries enabled by ECDH and ZKPs☆15Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆45Updated 9 months ago
- Job matching Multi-Party FHE application, built with Gauss Labs's phantom-zone☆9Updated 8 months ago
- Cursive Connections☆20Updated 5 months ago
- WITNESS Protocol - Core Contracts☆18Updated 8 months ago
- Include halo2 example circuits☆87Updated last year
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- BFV implementation in Python☆26Updated 9 months ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- A monorepo of reusable Noir circuits.☆41Updated 3 weeks ago
- ☆24Updated last year
- ☆15Updated last year
- Circuits library for matrix operations in circom☆33Updated 10 months ago
- ☆18Updated last week
- Verify a chain of x509 certificates in halo2☆31Updated last year
- ☆21Updated last year
- ☆18Updated 2 years ago
- ☆132Updated 3 years ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆137Updated 5 months ago
- Pluto Web Prover 🦀☆33Updated last month
- Email verification circuit in halo2☆68Updated 10 months ago
- 🌐 🔌 💀 CryptKeeper browser extension is a zero knowledge identity management and proof generation tool.☆34Updated last year
- an introduction to noir, with simple examples☆45Updated last year
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year