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.
Exploits both xfe/bfe arithmetic with instructions xb_mul and addi in the TasmBackend code generator. Saves 10 % of the processor table rows in the case of static memory layout and 7.5 % in the dynamic case.
Also no longer pushes an extension field element to the stack when a b-field element suffices.
Exploits both xfe/bfe arithmetic with instructions
xb_mulandaddiin theTasmBackendcode generator. Saves 10 % of the processor table rows in the case of static memory layout and 7.5 % in the dynamic case.Also no longer pushes an extension field element to the stack when a b-field element suffices.