TritonVM/triton-vm

This is stars and forks stats for /TritonVM/triton-vm repository. As of 27 Apr, 2024 this repository has 181 stars and 25 forks.

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. It defines a Turing complete Instruction Set Architecture, as well as the corresponding arithmetization of the VM. The really cool thing about Triton VM is its efficient recursive verification of the STARKs produced when running Triton VM. Recursive STARKs of Computational Integrity Normally, when executing a machine...