Modulus-Labs / halo2_ml
Foundation for speedy Machine Learning operations in Halo2 Prover
☆20Updated 6 months ago
Alternatives and similar repositories for halo2_ml:
Users that are interested in halo2_ml are comparing it to the libraries listed below
- Circuits for Pluto's `web-prover`☆21Updated 2 months ago
- ☆27Updated 2 years ago
- Server for ZKML☆21Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆50Updated last year
- STARK book☆20Updated 7 months ago
- ☆33Updated last year
- ☆18Updated 2 years ago
- RLN on KZG☆20Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Updated 6 months ago
- ☆20Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Library and gadget to do regex string matches in halo2☆35Updated 9 months ago
- ☆12Updated last year
- ☆31Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆43Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- ☆38Updated last year
- Halo2 Merkle tree circuits☆32Updated 3 years ago
- ☆26Updated last year
- ☆40Updated 2 years ago
- ☆31Updated last year
- ☆17Updated 2 years ago
- client side proving☆28Updated last month
- Noir implementation of RSA-verify☆42Updated last year
- The entry point for Rust projects to be run on Valida☆10Updated last month
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆41Updated 2 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 6 months ago