triton-vm 0.29.0
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.