miden-processor 0.22.1

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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

use miden_core::{
    field::PrimeField64,
    mast::{BasicBlockNodeBuilder, MastForest, MastForestContributor},
};
use miden_processor::{
    AceError, DefaultHost, ExecutionError, FastProcessor, Felt, Program, StackInputs,
    advice::AdviceInputs, operation::Operation,
};

#[test]
fn eval_circuit_overflow_panic_check() {
    let ptr = Felt::new(0);
    let n_read = Felt::new(Felt::ORDER_U64 - 3); // = 2^64 - 2^32 - 2
    let n_eval = Felt::new((1u64 << 32) + 4); // = 2^32 + 4

    let stack_inputs = StackInputs::new(&[ptr, n_read, n_eval]).unwrap();

    let program = {
        let mut forest = MastForest::new();
        let root = BasicBlockNodeBuilder::new(vec![Operation::EvalCircuit], Vec::new())
            .add_to_forest(&mut forest)
            .unwrap();
        forest.make_root(root);
        Program::new(forest.into(), root)
    };

    let mut host = DefaultHost::default();
    let processor = FastProcessor::new_with_options(
        stack_inputs,
        AdviceInputs::default(),
        miden_processor::ExecutionOptions::default(),
    );

    // Namely, this checks that execution doesn't panic due to an overflow.
    assert!(matches!(
        processor.execute_sync(&program, &mut host),
        Err(ExecutionError::AceChipError {
            label: _,
            source_file: _,
            error: AceError(_),
        })
    ));
}