lita-xyz / valida-rsLinks
The entry point for Rust projects to be run on Valida
☆10Updated 2 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:
- client side proving☆30Updated 2 months ago
- Circuits for Pluto's `web-prover`☆21Updated last month
- ☆22Updated this week
- Axiom smart contracts☆26Updated last year
- An API compatible port of the Stone prover.☆19Updated 7 months ago
- Andromeda revm execution service☆31Updated 10 months ago
- Groth16 verifier in EVM☆21Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 8 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 6 months ago
- ☆17Updated 2 years ago
- ☆33Updated last year
- RLN on KZG☆20Updated last year
- ZK Theorem Proving☆10Updated 9 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- ☆34Updated 2 weeks ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- A Rust library for creating solvers in the OP Stack's dispute protocol☆18Updated last year
- ☆12Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆34Updated last month
- Rust implementation of KZG point evaluation☆33Updated this week
- ☆33Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- ☆23Updated 5 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- Benchmark of ZKVMs and Proving Schemes☆27Updated 2 weeks ago
- Verifying Cairo Programs in SP1☆14Updated 7 months ago