Struct miden_air::stack::op_flags::OpFlags

pub struct OpFlags<E: FieldElement> { /* private fields */ }

Operation flags for all stack operations.

Computes all the operation flag values of the individual stack operations using intermediate values which helps in reducing the number of field multiplication operations being used in the calculation of the operation flag.

The operation flag values are computed separately for degree 7 and degree 6 and 4 stack operations. Only one flag will be set to ONE and rest all would be ZERO for an execution trace. It also computes the composite flags using individual stack operation flags for generic stack constraints.

Implementations

impl<E: FieldElement> OpFlags<E>

pub fn new(frame: &EvaluationFrame<E>) -> Self

Returns a new instance of OpFlags instantiated with all stack operation flags. It computes the following operations:

• degree 7 operations which doesn’t shift the stack.
• degree 7 operations which shifts the stack to the left.
• degree 7 operations which shifts the stack to the right.
• degree 6 and 4 operations.
• composite flags for individual stack items whose value has been copied over.
• composite flags for individual stack items which has been shifted to the left.
• composite flags for individual stack items which has been shifted to the right.
• composite flag for the stack if the stack has been shifted to the left.
• composite flag for the stack if the stack has been shifted to the right.
• composite flag if the current operation being executed is a control flow operation or not.
• composite flag if the current operation being executed has a binary element constraint on the top element in the stack.

pub fn noop(&self) -> E

Operation Flag of NOOP operation.

pub fn eqz(&self) -> E

Operation Flag of EQZ operation.

pub fn neg(&self) -> E

Operation Flag of NEG operation.

pub fn inv(&self) -> E

Operation Flag of INV operation.

pub fn incr(&self) -> E

Operation Flag of INCR operation.

pub fn not(&self) -> E

Operation Flag of NOT operation.

pub fn fmpadd(&self) -> E

Operation Flag of FMPADD operation.

pub fn mload(&self) -> E

Operation Flag of MLOAD operation.

pub fn swap(&self) -> E

Operation Flag of SWAP operation.

pub fn movup2(&self) -> E

Operation Flag of MOVUP2 operation.

pub fn movdn2(&self) -> E

Operation Flag of MOVDN2 operation.

pub fn movup3(&self) -> E

Operation Flag of MOVUP3 operation.

pub fn movdn3(&self) -> E

Operation Flag of MOVDN3 operation.

pub fn advpopw(&self) -> E

Operation Flag of ADVPOPW operation.

pub fn expacc(&self) -> E

Operation Flag of EXPACC operation.

pub fn movup4(&self) -> E

Operation Flag of MOVUP4 operation.

pub fn movdn4(&self) -> E

Operation Flag of MOVDN4 operation.

pub fn movup5(&self) -> E

Operation Flag of MOVUP5 operation.

pub fn movdn5(&self) -> E

Operation Flag of MOVDN5 operation.

pub fn movup6(&self) -> E

Operation Flag of MOVUP6 operation.

pub fn movdn6(&self) -> E

Operation Flag of MOVDN6 operation.

pub fn movup7(&self) -> E

Operation Flag of MOVUP7 operation.

pub fn movdn7(&self) -> E

Operation Flag of MOVDN7 operation.

pub fn swapw(&self) -> E

Operation Flag of SWAPW operation.

pub fn movup8(&self) -> E

Operation Flag of MOVUP8 operation.

pub fn movdn8(&self) -> E

Operation Flag of MOVDN8 operation.

pub fn swapw2(&self) -> E

Operation Flag of SWAPW2 operation.

pub fn swapw3(&self) -> E

Operation Flag of SWAPW3 operation.

pub fn swapdw(&self) -> E

Operation Flag of SWAPDW operation.

pub fn ext2mul(&self) -> E

Operation Flag of EXT2MUL operation.

pub fn assert(&self) -> E

Operation Flag of ASSERT operation.

pub fn eq(&self) -> E

Operation Flag of EQ operation.

pub fn add(&self) -> E

Operation Flag of ADD operation.

pub fn mul(&self) -> E

Operation Flag of MUL operation.

pub fn and(&self) -> E

Operation Flag of AND operation.

pub fn or(&self) -> E

Operation Flag of OR operation.

pub fn u32and(&self) -> E

Operation Flag of U32AND operation.

pub fn u32xor(&self) -> E

Operation Flag of U32XOR operation.

pub fn drop(&self) -> E

Operation Flag of DROP operation.

pub fn cswap(&self) -> E

Operation Flag of CSWAP operation.

pub fn cswapw(&self) -> E

Operation Flag of CSWAPW operation.

pub fn mloadw(&self) -> E

Operation Flag of MLOADW operation.

pub fn mstore(&self) -> E

Operation Flag of MSTORE operation.

pub fn mstorew(&self) -> E

Operation Flag of MSTOREW operation.

pub fn fmpupdate(&self) -> E

Operation Flag of FMPUPDATE operation.

pub fn pad(&self) -> E

Operation Flag of PAD operation.

pub fn dup(&self) -> E

Operation Flag of DUP operation.

pub fn dup1(&self) -> E

Operation Flag of DUP1 operation.

pub fn dup2(&self) -> E

Operation Flag of DUP2 operation.

pub fn dup3(&self) -> E

Operation Flag of DUP3 operation.

pub fn dup4(&self) -> E

Operation Flag of DUP4 operation.

pub fn dup5(&self) -> E

Operation Flag of DUP5 operation.

pub fn dup6(&self) -> E

Operation Flag of DUP6 operation.

pub fn dup7(&self) -> E

Operation Flag of DUP7 operation.

pub fn dup9(&self) -> E

Operation Flag of DUP9 operation.

pub fn dup11(&self) -> E

Operation Flag of DUP11 operation.

pub fn dup13(&self) -> E

Operation Flag of DUP13 operation.

pub fn dup15(&self) -> E

Operation Flag of DUP15 operation.

pub fn advpop(&self) -> E

Operation Flag of ADVPOP operation.

pub fn sdepth(&self) -> E

Operation Flag of SDEPTH operation.

pub fn u32add(&self) -> E

Operation Flag of U32ADD operation.

pub fn u32sub(&self) -> E

Operation Flag of U32SUB operation.

pub fn u32mul(&self) -> E

Operation Flag of U32MUL operation.

pub fn u32div(&self) -> E

Operation Flag of U32DIV operation.

pub fn u32split(&self) -> E

Operation Flag of U32SPLIT operation.

pub fn u32assert2(&self) -> E

Operation Flag of U32ASSERT2 operation.

pub fn u32add3(&self) -> E

Operation Flag of U32ADD3 operation.

pub fn u32madd(&self) -> E

Operation Flag of U32MADD operation.

pub fn hperm(&self) -> E

Operation Flag of HPERM operation.

pub fn mpverify(&self) -> E

Operation Flag of MPVERIFY operation.

pub fn span(&self) -> E

Operation Flag of SPAN operation.

pub fn join(&self) -> E

Operation Flag of JOIN operation.

pub fn split(&self) -> E

Operation Flag of SPLIT operation.

pub fn loop_op(&self) -> E

Operation Flag of LOOP operation.

pub fn mrupdate(&self) -> E

Operation Flag of MRUPDATE operation.

pub fn push(&self) -> E

Operation Flag of PUSH operation.

pub fn call(&self) -> E

Operation Flag of CALL operation.

pub fn syscall(&self) -> E

Operation Flag of SYSCALL operation.

pub fn end(&self) -> E

Operation Flag of END operation.

pub fn repeat(&self) -> E

Operation Flag of REPEAT operation.

pub fn respan(&self) -> E

Operation Flag of RESPAN operation.

pub fn halt(&self) -> E

Operation Flag of HALT operation.

pub fn no_shift_at(&self, index: usize) -> E

Returns ONE when the stack item at the specified depth remains unchanged during an operation, and ZERO otherwise

pub fn left_shift_at(&self, index: usize) -> E

Returns ONE when the stack item at the specified depth shifts to the left during an operation, and ZERO otherwise. The left shift is not defined on the first postion in the stack and therefore, a ZERO is returned.

pub fn right_shift_at(&self, index: usize) -> E

Returns ONE when the stack item at the specified depth shifts to the right during an operation, and ZERO otherwise. The right shift is not defined on the last postion in the stack and therefore, a ZERO is returned.

pub fn right_shift(&self) -> E

Returns the flag when the stack operation shifts the flag to the right.

pub fn left_shift(&self) -> E

Returns the flag when the stack operation shifts the flag to the left.

pub fn control_flow(&self) -> E

Returns the flag when the stack operation is a control flow operation.

pub fn u32_rc_op(&self) -> E

Returns the flag when the stack operation is a u32 operation.

pub fn overflow(&self) -> E

Returns the flag if the stack overflow table contains values or not.

pub fn top_binary(&self) -> E

Returns the flag when the stack operation needs the top element to be binary.