Function miden_air::stack::get_aux_assertions_first_step

source · 
pub fn get_aux_assertions_first_step<E>(
    result: &mut Vec<Assertion<E>>,
    alphas: &AuxTraceRandElements<E>,
    stack_inputs: &[Felt]
)
where
    E: FieldElement<BaseField = Felt>,
Expand description

Returns the stack’s boundary assertions for auxiliary columns at the first step.