Audit reports can be found at https://docs.lighter.xyz/security/security-audits
☆61Mar 10, 2026Updated 2 weeks ago
Alternatives and similar repositories for lighter-prover
Users that are interested in lighter-prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a monorepo for Oraichain ecosystem SDKs☆13Jan 29, 2026Updated last month
- Bitcoin trustless bridge implemented in CosmWasm contract facilitating taproot bitcoin script☆13Jun 4, 2025Updated 9 months ago
- Zero-Knowledge Proof of Exploit☆43Jan 6, 2026Updated 2 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- ☆24Jul 30, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Benchmark for adding Lasso lookup argument to halo2 backend☆38Mar 3, 2024Updated 2 years ago
- Welcome to the GPU-FFT-Optimization repository! We present cutting-edge algorithms and implementations for optimizing the Fast Fourier Tr…☆21Dec 19, 2025Updated 3 months ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated last year
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21Mar 11, 2026Updated 2 weeks ago
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 2 years ago
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆20May 16, 2024Updated last year
- ☆28Jan 12, 2026Updated 2 months ago
- Build production ready React apps.☆17Mar 19, 2026Updated last week
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Random Linear Network Coding☆19Jun 25, 2025Updated 9 months ago
- Out-of-circuit zkEVM implementation☆79Aug 16, 2024Updated last year
- A minimal reimplementation of Tendermint in Rust☆25Jun 9, 2025Updated 9 months ago
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated last year
- client side proving☆39Mar 12, 2025Updated last year
- ☆40Oct 11, 2024Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ☆16Jan 5, 2024Updated 2 years ago
- ☆20Jun 20, 2025Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Rust library for caching and retrieving EVM state with a simple interface and efficient implementation.☆19May 31, 2024Updated last year
- Provable Points Systems☆18Jun 23, 2024Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31May 3, 2024Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 6 months ago
- Merkle-Sum Sparse Merkle Tree (MS-SMT) in Rust☆12Apr 22, 2025Updated 11 months ago
- Sparse Merkle tree implementation in TypeScript.☆28Apr 8, 2021Updated 4 years ago
- A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)☆18Nov 7, 2024Updated last year
- Projects from the Succinct ZK Residency☆20Oct 23, 2024Updated last year
- Body horror fulfilment center simulator☆26Sep 29, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- High performance EraVM for zkSync.☆23Mar 13, 2026Updated last week
- A CosmWasm contract to enable 1-direction 1:1 conversion of one asset to another.☆17Aug 28, 2025Updated 6 months ago
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆60Apr 17, 2024Updated last year
- ShamirSecretSharing Rust & Go implementation + WASM lib☆18Oct 10, 2021Updated 4 years ago
- Public Go SDK for Lighter☆81Mar 19, 2026Updated last week
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago