air_codegen_masm/
constants.rs

1// WINTERFELL CONSTANTS ---------------------------------------------------------------------------
2pub const MAIN_TRACE: air_ir::TraceSegmentId = 0;
3pub const AUX_TRACE: air_ir::TraceSegmentId = 1;
4
5// MIDEN CONSTANTS -------------------------------------------------------------------------------
6// https://github.com/0xPolygonMiden/miden-vm/blob/next/stdlib/asm/crypto/stark/constants.masm#L33
7pub const COMPOSITION_COEF_ADDRESS: u32 = 4294900200;
8
9// https://github.com/0xPolygonMiden/miden-vm/blob/next/stdlib/asm/crypto/stark/constants.masm#L14
10pub const PUBLIC_INPUTS_ADDRESS: u32 = 4294800000;
11
12// https://github.com/0xPolygonMiden/miden-vm/blob/next/stdlib/asm/crypto/stark/constants.masm#L19
13pub const OOD_FRAME_ADDRESS: u32 = 4294900000;
14
15// https://github.com/0xPolygonMiden/miden-vm/blob/next/stdlib/asm/crypto/stark/ood_frames.masm#L11-L16
16pub const MAIN_TRACE_COLUMN_COUNT: u32 = 72;
17pub const OOD_AUX_FRAME_ADDRESS: u32 = OOD_FRAME_ADDRESS + MAIN_TRACE_COLUMN_COUNT;
18
19// https://github.com/0xPolygonMiden/miden-vm/blob/next/stdlib/asm/crypto/stark/constants.masm#LL30C25-L30C35
20pub const AUX_RAND_ELEM_PTR: u32 = 4294900150;
21
22// https://github.com/0xPolygonMiden/miden-vm/blob/next/stdlib/asm/crypto/stark/constants.masm#L81
23pub const TRACE_LEN_ADDRESS: u32 = 4294903306;
24pub const LOG2_TRACE_LEN_ADDRESS: u32 = 4294903307;
25
26// https://github.com/0xPolygonMiden/miden-vm/blob/next/stdlib/asm/crypto/stark/constants.masm#L79
27pub const Z_ADDRESS: u32 = 4294903304;
28
29pub const TRACE_DOMAIN_GENERATOR_ADDRESS: u32 = 4294799999;
30
31// CODEGEN CONSTANTS ------------------------------------------------------------------------------
32pub const PERIODIC_VALUES_ADDRESS: u32 = 500000000;
33pub const Z_EXP_ADDRESS: u32 = 500000100;
34pub const EXEMPTION_TWO_ADDRESS: u32 = 500000101;
air_codegen_masm/constants.rs

air_codegen_masm/
constants.rs
