Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

Command Line Interface to run, prove, and verify programs written for Triton VM.

Writing tasm with Rust syntax

A collection of functions written in Triton VM assembly (tasm)

The website for Triton VM.

Terminal User Interface to help debugging programs written for Triton VM.