Audit reports can be found at https://docs.lighter.xyz/security/security-audits
☆63Jun 2, 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. 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 4 months ago
- Bitcoin trustless bridge implemented in CosmWasm contract facilitating taproot bitcoin script☆13Jun 4, 2025Updated last year
- Zero-Knowledge Proof of Exploit☆43Jan 6, 2026Updated 5 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated 2 years ago
- ☆24Jul 30, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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…☆22Dec 19, 2025Updated 5 months ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21Jun 8, 2026Updated last week
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 3 years ago
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆21May 16, 2024Updated 2 years ago
- ☆28Jan 12, 2026Updated 5 months ago
- Random Linear Network Coding☆21Jun 25, 2025Updated 11 months ago
- Out-of-circuit zkEVM implementation☆79Aug 16, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated last year
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated last year
- A minimal reimplementation of Tendermint in Rust☆26Jun 9, 2025Updated last year
- client side proving☆39Mar 12, 2025Updated last year
- ☆39Oct 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 11 months ago
- Provable Points Systems☆18Jun 23, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31May 3, 2024Updated 2 years ago
- Rust library for caching and retrieving EVM state with a simple interface and efficient implementation.☆18May 31, 2024Updated 2 years ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆99Jun 1, 2026Updated 2 weeks ago
- Sparse Merkle tree implementation in TypeScript.☆28Apr 8, 2021Updated 5 years ago
- Merkle-Sum Sparse Merkle Tree (MS-SMT) in Rust☆12Apr 22, 2025Updated last year
- Projects from the Succinct ZK Residency☆21Oct 23, 2024Updated last year
- Body horror fulfilment center simulator☆26Sep 29, 2024Updated last year
- A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)☆18Nov 7, 2024Updated last year
- High performance EraVM for zkSync.☆23Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- ShamirSecretSharing Rust & Go implementation + WASM lib☆18Oct 10, 2021Updated 4 years ago
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆59Apr 17, 2024Updated 2 years ago
- A CosmWasm contract to enable 1-direction 1:1 conversion of one asset to another.☆17Aug 28, 2025Updated 9 months ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- A parallel proving service for ZKM.☆22Mar 26, 2026Updated 2 months ago
- It is a very basic implementation of how blockchain works, mainly how the bitcoin blockchain.☆10Apr 8, 2022Updated 4 years ago