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:
- client side proving☆34Updated 6 months ago
- An API compatible port of the Stone prover.☆19Updated 11 months ago
- ZK Theorem Proving☆10Updated last year
- Circuits for Pluto's `web-prover`☆24Updated 5 months ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- Honk Verifier in Solidity☆50Updated 11 months ago
- Benchmark of ZKVMs and Proving Schemes☆29Updated 4 months ago
- Axiom smart contracts☆26Updated 2 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆24Updated last month
- ☆49Updated 2 years ago
- BN254 Pairing Implementation in Noir☆23Updated 2 years ago
- ☆28Updated last week
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆35Updated 2 weeks ago
- powdr application running Ethereum tests via revm☆17Updated last year
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- Breathe air☆25Updated last year
- Noir implementation of RSA-verify☆43Updated last year
- Cryptographic protocols☆39Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- ☆41Updated 2 years ago
- KZG commitments over BLS12-381☆36Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆42Updated 11 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last year
- ☆27Updated 4 months ago
- zkVM benchmarking for Ethereum☆33Updated last week
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- ☆28Updated 3 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Updated 2 years ago
- ☆12Updated 2 years ago