triton-vm 2.0.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 
1
2
3
4
5

//! The degree lowering table contains the introduced variables that allow
//! lowering the degree of the AIR. See [`air::TARGET_DEGREE`]
//! for additional information.

include!(concat!(env!("OUT_DIR"), "/degree_lowering_table.rs"));