Audit reports can be found at https://docs.lighter.xyz/security/security-audits
☆63May 18, 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 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 5 months ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21May 3, 2026Updated 3 weeks ago
- 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 2 years ago
- ☆28Jan 12, 2026Updated 4 months ago
- Random Linear Network Coding☆20Jun 25, 2025Updated 11 months ago
- Out-of-circuit zkEVM implementation☆79Aug 16, 2024Updated last year
- 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.
- [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 11 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 11 months ago
- Provable Points Systems☆18Jun 23, 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.
- 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 last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆97Sep 19, 2025Updated 8 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☆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
- 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.
- ☆12Jul 6, 2023Updated 2 years ago
- 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 2 months ago