miden-processor 0.3.0

Miden VM processor
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use super::{ExecutionError, Felt, FieldElement};

/// TODO: add docs
#[inline(always)]
pub fn assert_binary(value: Felt) -> Result<Felt, ExecutionError> {
    if value != Felt::ZERO && value != Felt::ONE {
        Err(ExecutionError::NotBinaryValue(value))
    } else {
        Ok(value)
    }
}