#machine #api #documentation

valida-vm-api-linux-arm

A Rust wrapper around valida executable - zero-knowledge virtual machine

3 releases (breaking)

0.9.0-alpha Mar 3, 2025
0.8.0-alpha Jan 21, 2025
0.7.3-alpha Jan 15, 2025

#200 in #machine

Download history 117/week @ 2025-01-12 104/week @ 2025-01-19 8/week @ 2025-01-26 8/week @ 2025-02-02 3/week @ 2025-02-09 1/week @ 2025-02-16 1/week @ 2025-02-23 131/week @ 2025-03-02 11/week @ 2025-03-09

142 downloads per month

MIT license

2MB
296 lines

Contains (ELF exe/lib, 2MB) binary/valida.gz, (ELF exe/lib, 215KB) test_data/program1, (ELF exe/lib, 215KB) test_data/program2

Valida VM API

Lita’s Valida zk-VM stack sets a new standard in zero-knowledge proving, leading in speed, efficiency, modularity and development productivity.

See Valida documentation

This crate is a wrapper around valida executable and facilitates usage of valida by providing Rust API for running, proving and verification of Valida programs.

Dependencies

~4–13MB
~169K SLoC