Function miden_air::stack::stack_manipulation::enforce_pad_constraints

source · 
pub fn enforce_pad_constraints<E: FieldElement>(
    frame: &EvaluationFrame<E>,
    result: &mut [E],
    op_flag: E
) -> usize
Expand description

Enforces constraints of the PAD operation. The PAD operation pushes a ZERO onto the stack. Therefore, the following constraints are enforced:

  • The top element in the next frame should be ZERO. s0` = 0.