axiom-crypto / halo2-browserLinks
Monorepo of tools for using the halo2 proving system in-browser using WASM.
☆55Updated last year
Alternatives and similar repositories for halo2-browser
Users that are interested in halo2-browser are comparing it to the libraries listed below
Sorting:
- Email verification circuit in halo2☆68Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- ☆42Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Solidity implementation of Nova proving system verifier☆64Updated last year
- Benchmarks of popular zkVMs including Jolt☆62Updated last year
- An observatory fork of SP1☆75Updated 8 months ago
- ☆38Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- Honk Verifier in Solidity☆50Updated last year
- Noir implementation of RSA-verify☆43Updated last year
- Circom arithmetic circuits and concepts explained, in depth.☆31Updated 5 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 8 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated 2 years ago
- Create MPC apps with TypeScript.☆51Updated 3 months ago
- Circuits for Pluto's `web-prover`☆24Updated 6 months ago
- barretenburg in rust (here we go)☆99Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- client side proving☆36Updated 7 months ago
- ☆42Updated last week
- A PoC repo for a HyperNova impl☆83Updated 2 years ago
- ☆63Updated last month
- Noir library to verify JWT tokens, and prove claims.☆31Updated last month
- Client side zero-knowledge proving.☆91Updated last week
- Nova Verifier in Circom so it can be verified onChain☆59Updated 2 years ago
- A Noir's backend implementation using Gnark☆35Updated last year
- ☆50Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- ☆25Updated this week
- ZKM Development Template/Framework☆29Updated 3 months ago