Audit reports can be found at https://docs.lighter.xyz/security/security-audits
☆71Nov 2, 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:
- The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.☆25Updated this week
- Awesome things around client-side GPU ecosystems.☆18Mar 23, 2026Updated 7 months ago
- ☆21Jul 23, 2026Updated 3 months ago
- In this repo I implement a stark prover for learning purposes☆14May 22, 2025Updated last year
- A monorepo for vOPRF-based secure nullifiers☆24Apr 13, 2025Updated 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.
- ☆20Updated this week
- ☆16Jun 25, 2026Updated 4 months ago
- Client side zero-knowledge proving.☆148Updated this week
- Low- and high-level Rust crates for the TACEO:OPRF service.☆11Updated this week
- Client-side proving benchmarks☆23Oct 31, 2026Updated last week
- A universal soundness calculator across hash-based zkEVMs and security regimes☆57Oct 30, 2026Updated last week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆229Updated this week
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated last year
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆18Jan 21, 2026Updated 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 implementation of KZG point evaluation☆36Oct 23, 2026Updated 2 weeks ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.☆29Jun 16, 2026Updated 4 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆225Updated this week
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated 2 years ago
- scraper: how many websites use cloudflare sxg?☆11Oct 31, 2024Updated 2 years ago
- Binary Proofs, Blazing Fast☆206Updated this week
- Translate circomlib into gnark☆21Sep 16, 2025Updated last year
- 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.
- Experimental folding schemes library☆289Jul 26, 2026Updated 3 months ago
- A SNARK using towers of binary fields, implemented in Rust .☆140Sep 9, 2025Updated last year
- ☆17Oct 31, 2026Updated last week
- Soroban contract for Ultrahonk Verifier☆12Jan 28, 2026Updated 9 months ago
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- zkSafe allows Safe owners to collectively sign transactions, without revealing who exactly signed it.☆31Dec 11, 2025Updated 10 months ago
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 3 years ago
- A simple template to generate ZK proofs with Noir on mobile using React Native☆33Jul 28, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 8 months ago
- Zero-Knowledge Proof of Exploit☆45Jan 6, 2026Updated 10 months ago
- Post-quantum cryptography in Rust☆68Oct 27, 2026Updated last week
- SpeakUp zkVM Website☆15Jul 3, 2026Updated 4 months ago
- Internal engineering designs☆14May 19, 2026Updated 5 months ago
- Lean circuit DSL☆209Updated this week
- polynomial commitments from linear codes☆51Dec 13, 2024Updated last year