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> + FieldElement,

Expand description

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