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
- Some very rough benchmarks between sha256 circuits in different proving systemsβ49Updated 2 years ago
- Nova: Recursive SNARKs without trusted setupβ42Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack π¦πβ53Updated last year
- Email verification circuit in halo2β67Updated 7 months ago
- Curdleproofs is a zero-knowledge shuffle argumentβ69Updated last year
- Gas-efficient and blazing fast proving for private signalingβ81Updated last year
- Implementation of Plonk by Hand in rustβ60Updated 11 months ago
- PoC of Revm execution in SGXβ79Updated last year
- Benchmarking Polynomial Commitmentsβ48Updated last year
- β2Updated 10 months ago
- β36Updated last year
- A Solidity implementation of Halo2's Pasta curvesβ48Updated last year
- Benchmarks of popular zkVMs including Joltβ59Updated 9 months ago
- My notes related to Cryptography & Zero-Knowledge.β39Updated 11 months ago
- β49Updated 11 months ago
- My personal notebook for various zk-related topicsβ47Updated last month
- Installation tooling for Noirβ25Updated 2 weeks ago
- Serverless function on Rethβ68Updated 5 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.β49Updated 7 months ago
- In-browser ECDSA aggregation using Nova over secp/secqβ33Updated last year
- A toy Cairo VM implementation in Rustβ’β72Updated 2 years ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to useβ50Updated 3 weeks ago
- keccak256 hash implementation in Circomβ78Updated 2 years ago
- β31Updated 11 months ago
- Cryptographic protocolsβ37Updated last year
- A curated list of resources on zkECDSAβ37Updated last year
- STARK bookβ20Updated 4 months ago
- zkSNARK circuits for the Telepathy protocolβ52Updated last year
- Starknet sequencer built with Tendermint Coreβ53Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompletenessβ47Updated last year