pub fn eval_bytecode(
bytes: &BytecodeMapped<Op>,
access: Access<'_>,
) -> ConstraintResult<bool>
Expand description
Evaluate the bytecode of a single constraint and return its boolean result.
This is the same as exec_bytecode
, but retrieves the boolean result from the resulting stack.