paulmillr / micro-zk-proofsLinks
Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
☆56Updated 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☆69Updated 2 years ago
- A verifiable supercomputer☆74Updated 4 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- ☆40Updated 6 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆55Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 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☆36Updated 7 months ago
- ☆33Updated 2 years ago
- Verifiable RPC for Ethereum state, in-browser, no node☆44Updated 2 years ago
- ☆27Updated 6 months ago
- An observatory fork of SP1☆75Updated 8 months ago
- Circom arithmetic circuits and concepts explained, in depth.☆31Updated 5 months ago
- Create MPC apps with TypeScript.☆51Updated 3 months ago
- Audited & minimal JS implementation of Starknet cryptography.☆72Updated 2 months ago
- ☆19Updated 3 weeks ago
- ☆42Updated last year
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆25Updated 2 months ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- A system for managing privacy-preserving groups.☆76Updated 6 months ago
- A language for building boolean circuits based on TypeScript☆35Updated 3 months ago
- Lowering client-side proving cost for private ZK signatures in circom☆111Updated 2 years ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆75Updated last year
- ☆45Updated 5 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- ☆18Updated last year
- Client library for generating and using RLN ZK proofs☆32Updated 2 years ago
- Client side zero-knowledge proving.☆91Updated last week
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆25Updated 2 months ago