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
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Batch ECDSA in circom☆33Updated 2 years ago
- Email verification circuit in halo2☆67Updated 8 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated last year
- ☆37Updated last year
- Benchmarking Polynomial Commitments☆48Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated last year
- ☆49Updated last year
- ☆2Updated 11 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆62Updated last week
- FHE in the Risc0 zkVM☆25Updated last year
- For practice to using halo2☆21Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆85Updated this week
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- STARK book☆20Updated 5 months ago
- Halo2 Merkle tree circuits☆32Updated 3 years ago
- Circom AES-GCM circuits☆28Updated 4 months ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated last year
- Installation tooling for Noir☆25Updated 2 weeks ago
- A toy Cairo VM implementation in Rust™☆73Updated 2 years ago
- Provides tools for testing circom circuits.☆58Updated 8 months ago
- A Risc-V CPU implemented as a zk-SNARK☆48Updated 2 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆64Updated 5 months ago
- Benchmarks of popular zkVMs including Jolt☆60Updated 10 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Proof contribute to github using zk☆25Updated last year