essential_check::constraint_vm

Function exec_bytecode

source
pub fn exec_bytecode(
    bytes: &BytecodeMapped<Constraint>,
    access: Access<'_>,
) -> Result<Stack, ConstraintError>
Expand description

Execute the bytecode of a constraint and return the resulting stack.