paulmillr / micro-zk-proofsLinks
Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
☆53Updated last 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:
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- A verifiable supercomputer☆72Updated 2 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- Circom arithmetic circuits and concepts explained, in depth.☆28Updated 3 months ago
- Verifiable RPC for Ethereum state, in-browser, no node☆45Updated 2 years ago
- client side proving☆35Updated 5 months ago
- Installation tooling for Noir☆31Updated 2 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆52Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated 2 years ago
- On-chain Ethereum light client built with SP1☆67Updated last week
- A system for managing privacy-preserving groups.☆76Updated 4 months ago
- ☆25Updated last week
- StealthNote is an application for people in an organization to anonymously broadcast messages.☆46Updated 2 months ago
- JSON parser written in Lurk☆29Updated 2 years ago
- ZKPassport circuits for generating passport and national ID zero-knowledge identity proofs☆49Updated this week
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- JWT verification with zero knowledge proofs☆50Updated last year
- A collection of ZK light client libraries for various blockchains☆58Updated 8 months ago
- ☆42Updated 10 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated last month
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆23Updated 3 weeks ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- ☆16Updated 2 weeks ago
- ☆17Updated last year
- Client side zero-knowledge proving.☆77Updated this week
- ☆40Updated 4 months ago
- ☆27Updated 4 months ago