iq-scm / triton-vm Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tritonvm/triton-vm
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.
Home Page: https://triton-vm.org
License: Apache License 2.0