miden-air 0.22.3

Algebraic intermediate representation of 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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110

//! Tag group base IDs and sizes.

/// Base ID for the system constraint group.
pub const TAG_SYSTEM_BASE: usize = 0;
/// Number of system clock constraints.
pub const TAG_SYSTEM_CLK_COUNT: usize = 2;
/// Number of system context constraints.
pub const TAG_SYSTEM_CTX_COUNT: usize = 3;
/// Number of system function-hash constraints.
pub const TAG_SYSTEM_FN_HASH_COUNT: usize = 8;

/// Base ID for the system clock constraints.
pub const TAG_SYSTEM_CLK_BASE: usize = TAG_SYSTEM_BASE;
/// Base ID for the system context constraints.
pub const TAG_SYSTEM_CTX_BASE: usize = TAG_SYSTEM_CLK_BASE + TAG_SYSTEM_CLK_COUNT;
/// Base ID for the system function-hash constraints.
pub const TAG_SYSTEM_FN_HASH_BASE: usize = TAG_SYSTEM_CTX_BASE + TAG_SYSTEM_CTX_COUNT;

/// Total number of system constraints in this group.
pub const TAG_SYSTEM_COUNT: usize =
    TAG_SYSTEM_CLK_COUNT + TAG_SYSTEM_CTX_COUNT + TAG_SYSTEM_FN_HASH_COUNT;

/// Base ID for the range checker main constraint group.
pub const TAG_RANGE_MAIN_BASE: usize = TAG_SYSTEM_BASE + TAG_SYSTEM_COUNT;
/// Number of range checker main constraints in this group.
pub const TAG_RANGE_MAIN_COUNT: usize = 3;

/// Base ID for the stack general constraint group.
pub const TAG_STACK_GENERAL_BASE: usize = TAG_RANGE_MAIN_BASE + TAG_RANGE_MAIN_COUNT;
/// Number of stack general constraints in this group.
pub const TAG_STACK_GENERAL_COUNT: usize = 16;

/// Base ID for the stack overflow constraint group.
pub const TAG_STACK_OVERFLOW_BASE: usize = TAG_STACK_GENERAL_BASE + TAG_STACK_GENERAL_COUNT;
/// Number of stack overflow constraints in this group.
pub const TAG_STACK_OVERFLOW_COUNT: usize = 8;

/// Base ID for the stack ops constraint group.
pub const TAG_STACK_OPS_BASE: usize = TAG_STACK_OVERFLOW_BASE + TAG_STACK_OVERFLOW_COUNT;
/// Number of stack ops constraints in this group.
pub const TAG_STACK_OPS_COUNT: usize = 88;

/// Base ID for the stack crypto constraint group.
pub const TAG_STACK_CRYPTO_BASE: usize = TAG_STACK_OPS_BASE + TAG_STACK_OPS_COUNT;
/// Number of stack crypto constraints in this group.
pub const TAG_STACK_CRYPTO_COUNT: usize = 46;

/// Base ID for the stack arith/u32 constraint group.
pub const TAG_STACK_ARITH_BASE: usize = TAG_STACK_CRYPTO_BASE + TAG_STACK_CRYPTO_COUNT;
/// Number of stack arith/u32 constraints in this group.
pub const TAG_STACK_ARITH_COUNT: usize = 42;

/// Base ID for the decoder constraint group.
pub const TAG_DECODER_BASE: usize = TAG_STACK_ARITH_BASE + TAG_STACK_ARITH_COUNT;
/// Number of decoder constraints in this group.
pub const TAG_DECODER_COUNT: usize = 57;

/// Base ID for the chiplets constraint group.
pub const TAG_CHIPLETS_BASE: usize = TAG_DECODER_BASE + TAG_DECODER_COUNT;
/// Number of chiplets constraints in this group.
pub const TAG_CHIPLETS_COUNT: usize = 136;

/// Base ID for the bus boundary constraint group.
/// 8 first-row (aux columns pinned to identity) + 8 last-row (aux columns bound to finals) = 16.
pub const TAG_BUS_BOUNDARY_BASE: usize = TAG_CHIPLETS_BASE + TAG_CHIPLETS_COUNT;
pub const TAG_BUS_BOUNDARY_FIRST_ROW_COUNT: usize = 8;
pub const TAG_BUS_BOUNDARY_LAST_ROW_COUNT: usize = 8;
pub const TAG_BUS_BOUNDARY_COUNT: usize =
    TAG_BUS_BOUNDARY_FIRST_ROW_COUNT + TAG_BUS_BOUNDARY_LAST_ROW_COUNT;

/// Base ID for the range bus constraint.
pub const TAG_RANGE_BUS_BASE: usize = TAG_BUS_BOUNDARY_BASE + TAG_BUS_BOUNDARY_COUNT;
/// Number of range bus constraints in this group.
pub const TAG_RANGE_BUS_COUNT: usize = 1;

/// Base ID for the stack overflow bus constraint group.
pub const TAG_STACK_OVERFLOW_BUS_BASE: usize = TAG_RANGE_BUS_BASE + TAG_RANGE_BUS_COUNT;
/// Number of stack overflow bus constraints in this group.
pub const TAG_STACK_OVERFLOW_BUS_COUNT: usize = 1;

/// Base ID for the decoder bus constraint group.
pub const TAG_DECODER_BUS_BASE: usize = TAG_STACK_OVERFLOW_BUS_BASE + TAG_STACK_OVERFLOW_BUS_COUNT;
/// Number of decoder bus constraints in this group.
pub const TAG_DECODER_BUS_COUNT: usize = 3;

/// Base ID for the hash-kernel bus constraint.
pub const TAG_HASH_KERNEL_BUS_BASE: usize = TAG_DECODER_BUS_BASE + TAG_DECODER_BUS_COUNT;
/// Number of hash-kernel bus constraints in this group.
pub const TAG_HASH_KERNEL_BUS_COUNT: usize = 1;

/// Base ID for the chiplets bus constraint.
pub const TAG_CHIPLETS_BUS_BASE: usize = TAG_HASH_KERNEL_BUS_BASE + TAG_HASH_KERNEL_BUS_COUNT;
/// Number of chiplets bus constraints in this group.
pub const TAG_CHIPLETS_BUS_COUNT: usize = 1;

/// Base ID for the wiring bus constraint.
pub const TAG_WIRING_BUS_BASE: usize = TAG_CHIPLETS_BUS_BASE + TAG_CHIPLETS_BUS_COUNT;
/// Number of wiring bus constraints in this group.
pub const TAG_WIRING_BUS_COUNT: usize = 1;

/// Base ID for the public inputs boundary constraint group.
pub const TAG_PUBLIC_INPUTS_BASE: usize = TAG_WIRING_BUS_BASE + TAG_WIRING_BUS_COUNT;
/// Number of public input boundary constraints.
/// 16 stack input first-row + 16 stack output last-row = 32.
#[cfg(all(test, feature = "std"))]
pub const TAG_PUBLIC_INPUTS_COUNT: usize = 32;

/// Total number of tagged constraints in the current group set.
#[cfg(all(test, feature = "std"))]
pub const TAG_TOTAL_COUNT: usize = TAG_PUBLIC_INPUTS_BASE + TAG_PUBLIC_INPUTS_COUNT;