elliottech / lighter-proverView external linksLinks
Audit reports can be found at https://docs.lighter.xyz/security/security-audits
☆59Jan 29, 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
Sorting:
- a monorepo for Oraichain ecosystem SDKs☆13Jan 29, 2026Updated 2 weeks ago
- Zero-Knowledge Proof of Exploit☆43Jan 6, 2026Updated last month
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21Jan 15, 2026Updated 3 weeks ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Jun 12, 2024Updated last year
- Bitcoin trustless bridge implemented in CosmWasm contract facilitating taproot bitcoin script☆13Jun 4, 2025Updated 8 months ago
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated 10 months ago
- client side proving☆39Mar 12, 2025Updated 11 months ago
- Yan (炎) is a high-performance CUDA operator library designed for learning purposes while emphasizing clean code and maximum performance.☆18Jul 21, 2025Updated 6 months ago
- Cutting edge on-chain dark pool☆19Sep 26, 2025Updated 4 months ago
- Welcome to the GPU-FFT-Optimization repository! We present cutting-edge algorithms and implementations for optimizing the Fast Fourier Tr…☆20Dec 19, 2025Updated last month
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ☆15Jan 5, 2024Updated 2 years ago
- Projects from the Succinct ZK Residency☆21Oct 23, 2024Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- Provable Points Systems☆18Jun 23, 2024Updated last year
- Random Linear Network Coding☆19Jun 25, 2025Updated 7 months ago
- ShamirSecretSharing Rust & Go implementation + WASM lib☆18Oct 10, 2021Updated 4 years ago
- ☆36Nov 7, 2025Updated 3 months ago
- ☆21Aug 23, 2024Updated last year
- Translate circomlib into gnark☆20Sep 16, 2025Updated 4 months ago
- Gas efficient Poseidon2 hash on EVM☆23Jan 9, 2026Updated last month
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆20May 16, 2024Updated last year
- zkvot - World's first fully live anonymous voting application!☆23Mar 23, 2025Updated 10 months ago
- Out-of-circuit zkEVM implementation☆80Aug 16, 2024Updated last year
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated last month
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 8 months ago
- ☆22Feb 19, 2024Updated last year
- ☆23Jul 30, 2025Updated 6 months ago
- A minimal reimplementation of Tendermint in Rust☆25Jun 9, 2025Updated 8 months ago
- High performance EraVM for zkSync.☆23Oct 20, 2025Updated 3 months ago
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆24Nov 29, 2024Updated last year
- ☆24Dec 21, 2024Updated last year
- MNIST image classification neural network implemented entirely on the EVM☆29Mar 8, 2025Updated 11 months ago
- ☆26Oct 6, 2025Updated 4 months ago
- Simple module to control a Safe via crosschain calls with Hashi☆27Dec 20, 2024Updated last year
- A re-implemented ECC circuits with halo2.☆28Nov 23, 2024Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆132Updated this week
- ☆30Jul 5, 2025Updated 7 months ago
- Sparse Merkle tree implementation in TypeScript.☆28Apr 8, 2021Updated 4 years ago