TritonVM——基于Recursive STARK的虚拟机

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）