lita-xyz / valida-rs
The entry point for Rust projects to be run on Valida
☆10Updated 2 weeks ago
Alternatives and similar repositories for valida-rs:
Users that are interested in valida-rs are comparing it to the libraries listed below
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- An API compatible port of the Stone prover.☆19Updated 4 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 5 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Groth16 verifier in EVM☆20Updated last year
- client side proving☆28Updated 2 weeks ago
- ☆17Updated 2 years ago
- Circuits for Pluto's `web-prover`☆21Updated last month
- Axiom smart contracts☆26Updated last year
- Andromeda revm execution service☆31Updated 8 months ago
- Verifying Cairo Programs in SP1☆13Updated 5 months ago
- Minimal Merkle Tree implementations☆28Updated 3 months ago
- ECDSA gadgets for plonky2☆18Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- storage proof made by sp1☆24Updated 6 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- ☆17Updated 3 months ago
- ☆12Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 11 months ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- ZK Theorem Proving☆10Updated 7 months ago
- The Spire Based Stack☆16Updated this week
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- ☆21Updated last year
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆19Updated last year
- ☆49Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Rust implementation of KZG point evaluation☆32Updated 2 months ago
- celestia blobs, evm execution☆20Updated last month