miden-processor 0.14.0

Miden VM processor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

use vm_core::mast::MastNodeExt;

use super::{ExecutionError, Felt};
use crate::{ErrorContext, ONE, ZERO};

/// TODO: add docs
#[inline(always)]
pub fn assert_binary_with_ctx(
    value: Felt,
    err_ctx: &ErrorContext<'_, impl MastNodeExt>,
) -> Result<Felt, ExecutionError> {
    if value != ZERO && value != ONE {
        Err(ExecutionError::not_binary_value_op(value, err_ctx))
    } else {
        Ok(value)
    }
}

#[inline(always)]
pub fn assert_binary(value: Felt) -> Result<Felt, ExecutionError> {
    if value != ZERO && value != ONE {
        Err(ExecutionError::not_binary_value_op(value, &ErrorContext::default()))
    } else {
        Ok(value)
    }
}