Audit reports can be found at https://docs.lighter.xyz/security/security-audits
☆62May 4, 2026Updated this 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 3 months ago
- Bitcoin trustless bridge implemented in CosmWasm contract facilitating taproot bitcoin script☆13Jun 4, 2025Updated 11 months ago
- Zero-Knowledge Proof of Exploit☆43Jan 6, 2026Updated 4 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- ☆24Jul 30, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 4 months ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21Updated this week
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated last year
- 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☆20May 16, 2024Updated last year
- ☆28Jan 12, 2026Updated 3 months ago
- Build production ready React apps.☆18Apr 29, 2026Updated last week
- Random Linear Network Coding☆20Jun 25, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Out-of-circuit zkEVM implementation☆79Aug 16, 2024Updated last year
- [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☆25Jun 9, 2025Updated 10 months ago
- client side proving☆38Mar 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 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Provable Points Systems☆18Jun 23, 2024Updated last year
- Rust library for caching and retrieving EVM state with a simple interface and efficient implementation.☆18May 31, 2024Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31May 3, 2024Updated 2 years ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆92Sep 19, 2025Updated 7 months 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☆20Oct 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- High performance EraVM for zkSync.☆23Mar 13, 2026Updated last month
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆59Apr 17, 2024Updated 2 years ago
- ShamirSecretSharing Rust & Go implementation + WASM lib☆18Oct 10, 2021Updated 4 years ago
- A CosmWasm contract to enable 1-direction 1:1 conversion of one asset to another.☆17Aug 28, 2025Updated 8 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 last month