miden-processor 0.19.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

use core::ops::ControlFlow;

use miden_core::{
    Felt,
    Operation::Split,
    Word,
    mast::{MastNodeExt, SplitNode},
};

use super::{CoreTraceFragmentGenerator, trace_builder::OperationTraceConfig};

impl CoreTraceFragmentGenerator {
    /// Adds a trace row for the start of a SPLIT operation.
    ///
    /// This is a convenience method that calls `add_split_trace_row` with `TraceRowType::Start`.
    pub fn add_split_start_trace_row(
        &mut self,
        split_node: &SplitNode,
        program: &miden_core::mast::MastForest,
        parent_addr: Felt,
    ) -> ControlFlow<()> {
        // Get the child hashes for the hasher state
        let on_true_hash: Word = program
            .get_node_by_id(split_node.on_true())
            .expect("on_true child should exist")
            .digest();
        let on_false_hash: Word = program
            .get_node_by_id(split_node.on_false())
            .expect("on_false child should exist")
            .digest();

        let config = OperationTraceConfig {
            opcode: Split.op_code(),
            hasher_state: (on_true_hash, on_false_hash),
            addr: parent_addr,
        };

        self.add_control_flow_trace_row(config)
    }
}