pub fn eval_bytecode(
bytes: &BytecodeMapped<Constraint>,
access: Access<'_>,
) -> Result<bool, ConstraintError>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.