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](https://lita.gitbook.io/lita-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.