Audit reports can be found at https://docs.lighter.xyz/security/security-audits
☆61Feb 27, 2026Updated last week
Alternatives and similar repositories for lighter-prover
Users that are interested in lighter-prover are comparing it to the libraries listed below
Sorting:
- a monorepo for Oraichain ecosystem SDKs☆13Jan 29, 2026Updated last month
- Zero-Knowledge Proof of Exploit☆43Jan 6, 2026Updated 2 months ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21Updated this week
- Build production-ready React apps faster.☆17Updated this week
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- Bitcoin trustless bridge implemented in CosmWasm contract facilitating taproot bitcoin script☆13Jun 4, 2025Updated 9 months ago
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated 11 months ago
- client side proving☆39Mar 12, 2025Updated 11 months ago
- Welcome to the GPU-FFT-Optimization repository! We present cutting-edge algorithms and implementations for optimizing the Fast Fourier Tr…☆21Dec 19, 2025Updated 2 months ago
- Yan (炎) is a high-performance CUDA operator library designed for learning purposes while emphasizing clean code and maximum performance.☆18Jul 21, 2025Updated 7 months ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated 5 months ago
- Projects from the Succinct ZK Residency☆20Oct 23, 2024Updated last year
- ☆16Jan 5, 2024Updated 2 years ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated 2 years ago
- Random Linear Network Coding☆19Jun 25, 2025Updated 8 months ago
- Provable Points Systems☆18Jun 23, 2024Updated last year
- ShamirSecretSharing Rust & Go implementation + WASM lib☆18Oct 10, 2021Updated 4 years ago
- ☆21Aug 23, 2024Updated last year
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆20May 16, 2024Updated last year
- ☆37Nov 7, 2025Updated 3 months ago
- Gas efficient Poseidon2 hash on EVM☆23Feb 14, 2026Updated 2 weeks ago
- zkvot - World's first fully live anonymous voting application!☆23Mar 23, 2025Updated 11 months ago
- Translate circomlib into gnark☆20Sep 16, 2025Updated 5 months ago
- Out-of-circuit zkEVM implementation☆79Aug 16, 2024Updated last year
- ☆23Jul 30, 2025Updated 7 months ago
- ☆22Feb 19, 2024Updated 2 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 9 months ago
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated 2 months ago
- A minimal reimplementation of Tendermint in Rust☆25Jun 9, 2025Updated 8 months ago
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆24Nov 29, 2024Updated last year
- High performance EraVM for zkSync.☆23Feb 26, 2026Updated last week
- ☆26Oct 6, 2025Updated 5 months ago
- ☆24Dec 21, 2024Updated last year
- MNIST image classification neural network implemented entirely on the EVM☆29Mar 8, 2025Updated 11 months ago
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- Simple module to control a Safe via crosschain calls with Hashi☆27Dec 20, 2024Updated last year
- SDK to work with Privado ID☆71Updated this week
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆136Updated this week