lita-xyz / valida-rsLinks
The entry point for Rust projects to be run on Valida
☆10Updated 6 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:
- Benchmark of ZKVMs and Proving Schemes☆29Updated 3 months ago
- An API compatible port of the Stone prover.☆19Updated 10 months ago
- Circuits for Pluto's `web-prover`☆24Updated 4 months ago
- Honk Verifier in Solidity☆50Updated 11 months ago
- Cryptographic protocols☆39Updated 2 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆34Updated last week
- client side proving☆34Updated 6 months ago
- ☆29Updated last week
- Axiom smart contracts☆26Updated 2 years ago
- Andromeda revm execution service☆31Updated last year
- Herodotus Data Processor using SP1 as backend☆16Updated 10 months ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- ☆53Updated 3 months ago
- Noir implementation of RSA-verify☆43Updated last year
- KZG commitments over BLS12-381☆36Updated 2 years ago
- ☆27Updated 3 months ago
- ☆28Updated 3 years ago
- zkVM benchmarking for Ethereum☆32Updated this week
- High-performance Multi-scalar Multiplication for Pasta curves☆23Updated last week
- A verifiable supercomputer☆73Updated 2 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 4 months ago
- ☆49Updated last year
- Rust implementation of KZG point evaluation☆33Updated last month
- UPA is the proof aggregation engine built by NEBRA team.☆35Updated 4 months ago
- ☆41Updated 3 months ago
- BN254 Pairing Implementation in Noir☆23Updated 2 years ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 6 months ago
- ☆33Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 4 months ago
- Breathe air☆25Updated last year