essential_check::constraint_vm

Function eval_bytecode_iter

source 
pub fn eval_bytecode_iter<I>(
    bytes: I,
    access: Access<'_>,
) -> Result<bool, ConstraintError>
where
    I: IntoIterator<Item = u8>,
Expand description

Evaluate the bytecode of a single constraint and return its boolean result.

This is the same as eval_bytecode, but lazily constructs the bytecode mapping as bytes are parsed.