Skip to main content

ADDR_IDX

miden_air::trace::bus_message

Constant ADDR_IDX 

Source 
pub const ADDR_IDX: usize = 1;
Expand description

Address coefficient index: beta_powers[1] = beta^1.

Used for chiplet address.