lita-xyz / valida-releasesLinks
Public releases for the Valida toolchain
☆24Updated 3 months ago
Alternatives and similar repositories for valida-releases
Users that are interested in valida-releases are comparing it to the libraries listed below
Sorting:
- A collection of ZK light client libraries for various blockchains☆53Updated 6 months ago
- ☆17Updated 6 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 2 weeks ago
- UPA is the proof aggregation engine built by NEBRA team.☆32Updated 2 months ago
- Spartan on Arkworks☆42Updated 6 months ago
- ☆21Updated this week
- ZKM Development Template/Framework☆25Updated last month
- An observatory fork of SP1☆69Updated 4 months ago
- Polyhedra ZK knowledge base☆23Updated 8 months ago
- ☆40Updated 8 months ago
- ☆31Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago
- Benchmark of ZKVMs and Proving Schemes☆27Updated last month
- revm/reth block proving on Valida☆16Updated 4 months ago
- On-chain Ethereum light client built with SP1☆57Updated this week
- Proof of concept implementation of sumcheck over fields of small characteristics.☆13Updated last month
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated 3 weeks ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated last year
- Client side zero-knowledge proving.☆74Updated this week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆38Updated last month
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆53Updated 2 months ago
- ☆33Updated last year
- EraVM implementation☆19Updated 9 months ago
- FHE in the Risc0 zkVM☆25Updated last year
- ☆23Updated 6 months ago
- zkEVM benchmarking toolbox☆26Updated this week
- Breathe air☆24Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 4 months ago