lita-xyz / valida-rs
The entry point for Rust projects to be run on Valida
☆10Updated last week
Alternatives and similar repositories for valida-rs:
Users that are interested in valida-rs are comparing it to the libraries listed below
- Noir library to verify JWT tokens, and prove claims.☆17Updated this week
- An API compatible port of the Stone prover.☆19Updated 3 months ago
- RLN on KZG☆20Updated last year
- ☆28Updated 3 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 4 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 2 months ago
- Benchmarking Polynomial Commitments☆48Updated last year
- ☆12Updated last year
- Axiom smart contracts☆26Updated last year
- ECDSA gadgets for plonky2☆18Updated last year
- High-performance Multi-scalar Multiplication for Pasta curves☆23Updated last year
- ☆49Updated 11 months ago
- Proof system backends for OpenVM.☆24Updated this week
- ☆39Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- ☆31Updated 11 months ago
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- ☆13Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Noir implementation of RSA-verify☆42Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- ☆17Updated 2 years ago
- Minimal Merkle Tree implementations☆28Updated last month
- ☆35Updated 3 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated this week
- Verifying Cairo Programs in SP1☆13Updated 4 months ago
- BN254 Pairing Implementation in Noir☆22Updated last year