Lagrange-Labs / deep-prove
Framework to prove inference of ML models blazingly fast
☆14Updated 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 last month
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated last month
- High performance EraVM for zkSync.☆23Updated 2 weeks ago
- customizable halo2 circuits batcher☆30Updated 2 weeks ago
- ☆46Updated this week
- The Spire Based Stack☆16Updated this week
- ☆25Updated this week
- EraVM implementation☆20Updated 6 months ago
- Smart contracts for onchain verification of SP1.☆86Updated last month
- A collection of works discussing the security aspects of StarkNet☆40Updated 3 months ago
- A collection of ZK light client libraries for various blockchains☆49Updated 4 months ago
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- Reference implementation of the node for the Polygon Miden rollup☆61Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 weeks ago
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated 2 years ago
- GPU-acceselerated cryptography libraries for ZKsync☆16Updated this week
- ☆49Updated this week
- ☆9Updated last year
- client side proving☆28Updated 3 weeks ago
- ☆12Updated last year
- ☆62Updated 11 months ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 5 months ago
- RLN on KZG☆20Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 11 months ago
- ☆33Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- AppliedZKP's zkEVM Documentation☆25Updated 8 months ago
- Expander Compiler☆34Updated this week
- ☆35Updated 2 weeks ago