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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

use alloc::vec::Vec;

use miden_air::trace::{Challenges, MainTrace};
use miden_core::field::ExtensionField;

use crate::{Felt, ONE, ZERO, trace::AuxColumnBuilder};

mod block_hash_table;
use block_hash_table::BlockHashTableColumnBuilder;
#[cfg(test)]
pub use block_hash_table::BlockHashTableRow;

mod block_stack_table;
use block_stack_table::BlockStackColumnBuilder;

mod op_group_table;
use op_group_table::OpGroupTableColumnBuilder;

// AUXILIARY TRACE BUILDER
// ================================================================================================

/// Constructs the execution traces of stack-related auxiliary trace segment columns
/// (used in multiset checks).
#[derive(Debug, Default, Clone, Copy)]
pub struct AuxTraceBuilder {}

impl AuxTraceBuilder {
    /// Builds and returns decoder auxiliary trace columns p1, p2, and p3 describing states of block
    /// stack, block hash, and op group tables respectively.
    pub fn build_aux_columns<E: ExtensionField<Felt>>(
        &self,
        main_trace: &MainTrace,
        challenges: &Challenges<E>,
    ) -> Vec<Vec<E>> {
        let block_stack_column_builder = BlockStackColumnBuilder::default();
        let block_hash_column_builder = BlockHashTableColumnBuilder::default();
        let op_group_table_column_builder = OpGroupTableColumnBuilder::default();

        let p1 = block_stack_column_builder.build_aux_column(main_trace, challenges);
        let p2 = block_hash_column_builder.build_aux_column(main_trace, challenges);
        let p3 = op_group_table_column_builder.build_aux_column(main_trace, challenges);

        debug_assert_eq!(
            *p1.last().unwrap(),
            E::ONE,
            "block stack table is not empty at the end of program execution"
        );
        // p2 (block hash table) does NOT end at 1: the program hash boundary response
        // is unmatched, so p2 ends at 1/program_hash_msg. This is verified by the
        // verifier in reduced_aux_values.
        debug_assert_eq!(
            *p3.last().unwrap(),
            E::ONE,
            "op group table is not empty at the end of program execution"
        );

        vec![p1, p2, p3]
    }
}