emmaguo13 / zk-blind
JWT verification with zero knowledge proofs
☆48Updated last year
Alternatives and similar repositories for zk-blind:
Users that are interested in zk-blind are comparing it to the libraries listed below
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Batch ECDSA in circom☆33Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated last year
- Email verification circuit in halo2☆68Updated 8 months ago
- A curated list of resources on zkECDSA☆36Updated last year
- Benchmarks of popular zkVMs including Jolt☆59Updated 11 months ago
- ☆2Updated last year
- Benchmarking Polynomial Commitments☆49Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 7 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 months ago
- ☆31Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Installation tooling for Noir☆25Updated last month
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated last year
- Noir implementation of RSA-verify☆42Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- Provides tools for testing circom circuits.☆59Updated last week
- Crypto Gadgets for Plonky2☆72Updated 10 months ago
- Honk Verifier in Solidity☆50Updated 5 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ☆49Updated last year
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆20Updated 4 months ago
- Solidity implementation of Nova proving system verifier☆60Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Create MPC apps with TypeScript.☆32Updated 2 weeks ago