paulmillr / micro-zk-proofsLinks
Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
☆52Updated 2 weeks ago
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☆74Updated 3 months ago
- 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
- Extractable Witness Encryption for KZG Commitments☆29Updated 10 months ago
- A system for managing privacy-preserving groups.☆76Updated 6 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆36Updated 3 weeks ago
- ☆27Updated 5 months ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆58Updated 2 years ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆138Updated 4 months ago
- client side proving☆34Updated 6 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆75Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆54Updated last year
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆25Updated 2 months ago
- A language for building boolean circuits based on TypeScript☆35Updated 3 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Lowering client-side proving cost for private ZK signatures in circom☆111Updated 2 years ago
- An observatory fork of SP1☆75Updated 7 months ago
- ☆45Updated 5 months ago
- ☆42Updated 11 months ago
- Verifiable RPC for Ethereum state, in-browser, no node☆44Updated 2 years ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆21Updated 11 months ago
- Client side zero-knowledge proving.☆86Updated last week
- ☆40Updated 5 months ago
- ☆41Updated 4 months ago
- Solidity implementation of Nova proving system verifier☆64Updated last year
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆35Updated 3 years ago
- Create MPC apps with TypeScript.☆50Updated 2 months ago