1. 引言
TritonVM为：
- Algebraic Execution Tables（AET）
- Arithmetic Intermediate Representations（AIR）
- STARK proof system
三者结合的虚拟机。 TritonVMs定义了：
- 图灵完备的指令集架构——为具有RAM的stack machine，为具有read-only memory for program的哈佛架构。
- VM的arithmetization
- 可实现recursive verification of STARK proofs
开源代码见：
- https://github.com/TritonVM/triton-vm（Rust）
