triton-vm (cargo): 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. 
Keywords: recursive|zero-knowledge|virtual-machine|stark|cryptography|rust|zk-starks