paulmillr / micro-zk-proofsLinks
Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
☆51Updated 3 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:
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated 11 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Circom arithmetic circuits and concepts explained, in depth.☆28Updated last week
- JSON parser written in Lurk☆29Updated last year
- A verifiable supercomputer☆60Updated last week
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- ☆19Updated this week
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆20Updated last month
- On-chain Ethereum light client built with SP1☆53Updated this week
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆19Updated 5 months ago
- ☆2Updated last year
- Create MPC apps with TypeScript.☆46Updated last month
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆21Updated 6 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆31Updated last month
- ☆50Updated last year
- ☆27Updated last month
- Verifiable RPC for Ethereum state, in-browser, no node☆45Updated 2 years ago
- Installation tooling for Noir☆25Updated this week
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated 3 weeks ago
- Client library for generating and using RLN ZK proofs☆32Updated last year
- A language for building boolean circuits based on TypeScript☆32Updated this week
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- ☆34Updated 2 weeks ago
- Public releases for the Valida toolchain☆20Updated 2 months ago
- ☆31Updated last year
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆46Updated 3 months ago
- ZKPassport circuits for generating passport and national ID zero-knowledge identity proofs☆41Updated this week
- client side proving☆30Updated 2 months ago