GitHub repository: Holindauer/triton-vm
Primary language: Rust
Description: 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.