A suite of libraries and build pipelines for developing verifiable Rust programs targeting Fault Proof VMs. - View it on GitHub