lita-xyz / valida-rsLinks
The entry point for Rust projects to be run on Valida
☆10Updated 3 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:
- An API compatible port of the Stone prover.☆19Updated 7 months ago
- client side proving☆31Updated 3 months ago
- Circuits for Pluto's `web-prover`☆21Updated 2 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- Benchmark of ZKVMs and Proving Schemes☆27Updated last month
- Andromeda revm execution service☆31Updated 11 months ago
- ☆28Updated 3 years ago
- ☆12Updated last year
- Groth16 verifier in EVM☆21Updated last year
- RLN on KZG☆20Updated last year
- zkEVM benchmarking toolbox☆26Updated this week
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 8 months ago
- Axiom smart contracts☆26Updated last year
- ☆38Updated last month
- Honk Verifier in Solidity☆50Updated 8 months ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Rust implementation of KZG point evaluation☆33Updated 3 weeks ago
- ☆50Updated last year
- celestia blobs, evm execution☆20Updated 4 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 6 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆48Updated last year
- ☆19Updated last month
- BN254 Pairing Implementation in Noir☆22Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- ☆40Updated 3 years ago
- ☆40Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- Minimal Merkle Tree implementations☆30Updated last week