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

use core::ops::ControlFlow;

use miden_core::{
    Felt, Word,
    mast::{CallNode, MastNodeExt},
};

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

impl CoreTraceFragmentGenerator {
    /// Adds a trace row for the start of a CALL/SYSCALL operation.
    pub fn add_call_start_trace_row(
        &mut self,
        call_node: &CallNode,
        program: &miden_core::mast::MastForest,
        parent_addr: Felt,
    ) -> ControlFlow<()> {
        // For CALL/SYSCALL operations, the hasher state in start operations contains the callee
        // hash in the first half, and zeros in the second half (since CALL only has one
        // child)
        let callee_hash: Word = program
            .get_node_by_id(call_node.callee())
            .expect("callee should exist")
            .digest();
        let zero_hash = Word::default();

        let config = OperationTraceConfig {
            opcode: if call_node.is_syscall() {
                miden_core::Operation::SysCall.op_code()
            } else {
                miden_core::Operation::Call.op_code()
            },
            hasher_state: (callee_hash, zero_hash),
            addr: parent_addr,
        };

        self.add_control_flow_trace_row(config)
    }
}