miden-processor 0.28.0

Miden VM processor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use miden_processor::{
    Felt,
    advice::{AdviceInputs, AdviceStack},
};

#[test]
fn advice_stack_is_available_through_processor_advice_facade() {
    let mut stack = AdviceStack::new();
    let value = Felt::new_unchecked(1);
    stack.append_element(value);

    let advice_inputs = AdviceInputs::default().with_advice_stack(stack);

    assert_eq!(advice_inputs.advice_stack().into_elements(), vec![value]);
}