axiom-crypto / halo2-browserLinks
Monorepo of tools for using the halo2 proving system in-browser using WASM.
☆51Updated 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 11 months ago
- ☆38Updated last month
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- On-chain Ethereum light client built with SP1☆57Updated 2 weeks ago
- An observatory fork of SP1☆69Updated 4 months ago
- ☆40Updated 8 months ago
- ☆31Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- ☆2Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 4 months ago
- ☆38Updated last year
- ☆50Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Delve into low-level RISC Zero machine☆27Updated last year
- ☆25Updated last month
- ZKM Development Template/Framework☆25Updated last month
- Breathe air☆24Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago
- Circom arithmetic circuits and concepts explained, in depth.☆28Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆64Updated 8 months ago
- BigInt library for Aztec's noir language☆32Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated 11 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 7 months ago
- ☆21Updated this week
- Noir implementation of RSA-verify☆43Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Noir library to verify JWT tokens, and prove claims.☆28Updated 2 months ago