paulmillr / micro-zk-proofsLinks
Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
☆58Updated last month
Alternatives and similar repositories for micro-zk-proofs
Users that are interested in micro-zk-proofs are comparing it to the libraries listed below
Sorting:
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Updated 3 years ago
- ☆41Updated 8 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- JWT verification with zero knowledge proofs☆50Updated 2 years ago
- Circom arithmetic circuits and concepts explained, in depth.☆31Updated 7 months ago
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆49Updated 10 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆55Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- A verifiable supercomputer☆77Updated 6 months ago
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆27Updated 4 months ago
- Explore Ethereum-like blockchain privately with your RPC URL☆88Updated last month
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆23Updated 2 months ago
- A system for managing privacy-preserving groups.☆76Updated 2 weeks ago
- Extractable Witness Encryption for KZG Commitments☆30Updated last year
- ☆20Updated this week
- Audited & minimal JS implementation of Starknet cryptography.☆72Updated last month
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60Updated 2 years ago
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- client side proving☆39Updated 9 months ago
- On-chain Ethereum light client built with SP1☆79Updated 2 weeks ago
- ☆33Updated 2 years ago
- Verifiable RPC for Ethereum state, in-browser, no node☆44Updated 2 years ago
- 🧾 InterRep Solidity smart contracts.☆29Updated 2 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆46Updated 2 weeks ago
- ☆42Updated last year
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆111Updated 6 months ago
- ☆45Updated 7 months ago
- Step by step implementation of KZG☆19Updated last year
- Lowering client-side proving cost for private ZK signatures in circom☆112Updated 2 years ago