Constant miden_air::stack::NUM_ASSERTIONS
source · pub const NUM_ASSERTIONS: usize = _; // 34usize
Expand description
The number of boundary constraints required by the Stack, which is all stack positions for inputs and outputs as well as the initial values of the bookkeeping columns.