RustDocs Hub Browse third-party crates
THIRD-PARTY CRATE

triton-vm

A virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system to allow proving correct execution of arbitrary programs in zero-knowledge.

Current version7.0.0
LicenseMIT OR Apache-2.0
Total downloads103,699
Last updated2026-06-17
Homepagehttps://triton-vm.org/
Repositoryhttps://github.com/TritonVM/triton-vm
Documentationhttps://triton-vm.org/spec/

Categories

CryptographyMathematics

Keywords

recursivestarkvirtual-machinezero-knowledge

View triton-vm on crates.io →

RustDocs Hub renders this crate’s structured metadata only (name, description, downloads, version, license string, links, categories, keywords) per crates.io’s Data Access Policy. It does not re-host this crate’s README or source code — view the full README and source on crates.io or the repository link above.

Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.