axiom-crypto / halo2-browserLinks
Monorepo of tools for using the halo2 proving system in-browser using WASM.
☆54Updated 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:
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Email verification circuit in halo2☆68Updated last year
- ☆42Updated 11 months ago
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- ☆26Updated last month
- Circom arithmetic circuits and concepts explained, in depth.☆30Updated 4 months ago
- ☆42Updated 2 years ago
- Breathe air☆25Updated last year
- Noir library to verify JWT tokens, and prove claims.☆29Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- barretenburg in rust (here we go)☆99Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Honk Verifier in Solidity☆50Updated 11 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆64Updated last year
- Noir implementation of RSA-verify☆43Updated last year
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- UPA is the proof aggregation engine built by NEBRA team.☆35Updated 5 months ago
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆49Updated 7 months ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- An observatory fork of SP1☆75Updated 7 months ago
- Cryptographic protocols☆39Updated 2 years ago
- ☆41Updated 4 months ago
- Circom interpreter to arithmetic circuit description☆55Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- A Noir's backend implementation using Gnark☆35Updated last year
- Client side zero-knowledge proving.☆86Updated last week
- Axiom smart contracts☆26Updated 2 years ago
- ☆38Updated last year