lita-xyz / valida-rsView external linksLinks
The entry point for Rust projects to be run on Valida
☆10Mar 14, 2025Updated 11 months ago
Alternatives and similar repositories for valida-rs
Users that are interested in valida-rs are comparing it to the libraries listed below
Sorting:
- ☆18Dec 3, 2024Updated last year
- Public releases for the Valida toolchain☆24Sep 25, 2025Updated 4 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆85Jun 11, 2025Updated 8 months ago
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- ☆12Oct 4, 2023Updated 2 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- Benchmark of ZKVMs and Proving Schemes☆32Dec 12, 2025Updated 2 months ago
- Compiler for stack manipulation in Michelson☆15Dec 19, 2018Updated 7 years ago
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 7 months ago
- Crescent adds privacy to existing credentials with zero-knowledge☆45Sep 4, 2025Updated 5 months ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Dec 18, 2025Updated 2 months ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- A verifiable supercomputer☆77Jun 26, 2025Updated 7 months ago
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- ☆16Mar 18, 2025Updated 11 months ago
- no matter what you are resisting here is a dose of opsec for you... godspeed☆19Mar 8, 2025Updated 11 months ago
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆28Aug 4, 2025Updated 6 months ago
- ☆27Sep 25, 2023Updated 2 years ago
- ☆31May 21, 2025Updated 8 months ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 9 months ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- ☆43Oct 26, 2024Updated last year
- Honk Verifier in Solidity☆50Oct 14, 2024Updated last year
- PoC implementation of follow-the-satoshi in a Merkle tree.☆19Nov 6, 2021Updated 4 years ago
- A little tool to guide one or more Ethereum's Execution Layer clients to sync the network using an existing Consensus Layer client☆22Mar 8, 2024Updated last year
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Nov 27, 2025Updated 2 months ago
- building blocks for accelerating ZK proofs over binary fields☆48Jun 19, 2025Updated 7 months ago
- A TypeScript penumbra SDK☆18Aug 4, 2022Updated 3 years ago
- ☆28Oct 31, 2025Updated 3 months ago
- Zirgen compiler and RISC Zero circuits☆123Jan 21, 2026Updated 3 weeks ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 10 months ago
- AWS Nitro enclave attestation verifier in Solidity, used by:☆28Updated this week
- circom language server☆21Jun 3, 2025Updated 8 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Aug 16, 2024Updated last year
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆27Feb 11, 2026Updated last week