Module bus_message 

Bus message coefficient indices.

These define the standard positions for encoding bus messages using the pattern: alpha + sum(beta_powers\[i\] * elem\[i\]) where:

• alpha is the randomness base (accessed directly as .alpha)
• beta_powers\[i\] = beta^i are the powers of beta

These indices refer to positions in the beta_powers array, not including alpha.

This layout is shared between:

• AIR constraint builders (symbolic expressions): Challenges<AB::ExprEF>
• Processor auxiliary trace builders (concrete field elements): Challenges<E>

Constants

ADDR_IDX

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

CAPACITY_DOMAIN_IDX

Capacity domain coefficient index: beta_powers[12] = beta^12.

CAPACITY_START_IDX

Capacity start coefficient index: beta_powers[11] = beta^11.

LABEL_IDX

Label coefficient index: beta_powers[0] = beta^0.

NODE_INDEX_IDX

Node index coefficient index: beta_powers[2] = beta^2.

STATE_START_IDX

State start coefficient index: beta_powers[3] = beta^3.