triton-vm 0.14.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.
Documentation
pub mod challenges;
pub mod constraint_circuit;
pub mod constraints;
pub mod cross_table_argument;
pub mod extension_table;
pub mod hash_table;
pub mod instruction_table;
pub mod jump_stack_table;
pub mod master_table;
pub mod op_stack_table;
pub mod processor_table;
pub mod program_table;
pub mod ram_table;
pub mod table_column;
pub mod u32_table;