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.
https://triton-vm.org
Apache License 2.0
241 stars 36 forks source link

add methods to determine an instruction's effect on op stack size #230

Closed jan-ferdinand closed 1 year ago

jan-ferdinand commented 1 year ago

Fix #227.