Lagrange-Labs / deep-prove
Framework to prove inference of ML models blazingly fast
☆16Updated this week
Alternatives and similar repositories for deep-prove:
Users that are interested in deep-prove are comparing it to the libraries listed below
- Circuits for Pluto's `web-prover`☆21Updated this week
- High performance EraVM for zkSync.☆24Updated this week
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 2 months ago
- Polyhedra ZK knowledge base☆23Updated 5 months ago
- Pessimistic proof for the AggLayer.☆26Updated 10 months ago
- customizable halo2 circuits batcher☆30Updated last month
- ☆9Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆19Updated this week
- On-chain Ethereum light client built with SP1☆46Updated this week
- Expander Compiler☆35Updated this week
- ☆25Updated last week
- GPU-acceselerated cryptography libraries for ZKsync☆17Updated this week
- ☆12Updated last year
- ☆40Updated 6 months ago
- RLN on KZG☆20Updated last year
- client side proving☆28Updated last month
- ☆14Updated 2 weeks ago
- BN254 Pairing Implementation in Noir☆22Updated last year
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated 3 weeks ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 4 months ago
- Frobenius sumcheck for vectorized boolean ops☆52Updated 2 weeks ago
- An API compatible port of the Stone prover.☆19Updated 5 months ago
- The Spire Based Stack☆17Updated this week
- A collection of ZK light client libraries for various blockchains☆49Updated 4 months ago
- Delve into low-level RISC Zero machine☆27Updated last year
- A monorepo for vOPRF-based secure nullifiers generation☆13Updated last week
- An observatory fork of SP1☆68Updated 2 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- Herodotus Data Processor using SP1 as backend☆16Updated 5 months ago
- EraVM implementation☆20Updated 7 months ago