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.
[email protected] is safe to use (health: 61/100)
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/cargo/triton-vmFirst published · 2022-07-27T08:34:17.131878Z
Last updated · 2026-01-21T12:42:08.355229Z