paulmillr / micro-zk-proofsLinks
Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
☆52Updated this week
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☆69Updated last year
- A verifiable supercomputer☆73Updated last month
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 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
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆52Updated last year
- Installation tooling for Noir☆29Updated 2 months ago
- ☆27Updated 3 months ago
- Circom arithmetic circuits and concepts explained, in depth.☆28Updated 2 months ago
- client side proving☆33Updated 4 months ago
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆22Updated last week
- An observatory fork of SP1☆72Updated 5 months ago
- Client library for generating and using RLN ZK proofs☆32Updated last year
- Verifiable RPC for Ethereum state, in-browser, no node☆45Updated 2 years ago
- A system for managing privacy-preserving groups.☆77Updated 4 months ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆48Updated 5 months ago
- ☆41Updated 9 months ago
- ☆40Updated 3 months ago
- JWT verification with zero knowledge proofs☆50Updated last year
- ☆39Updated last month
- ☆16Updated last week
- ☆40Updated 2 months ago
- ☆2Updated last year
- Create MPC apps with TypeScript.☆50Updated 2 weeks ago
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆34Updated 3 years ago
- Step by step implementation of KZG☆19Updated 10 months ago
- Extractable Witness Encryption for KZG Commitments☆29Updated 8 months ago
- ☆24Updated 3 weeks ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago