Module expander 

Structs

RingSwitchPlan

Maps the claimed virtual evals and the committed columns onto ring-switch binding units. eta^k runs once per unit (in claim order); a bit-expanded physical column is one Ring unit consuming its bits claims.

VirtualExpander

Declarative physical->virtual column expander for chiplets.

Enums

ExpansionEntry

Serializable expansion step descriptor.

Constants

RING_BLIND_BITS

Functions

claim_weights

Per-claim weight a_c such that ring_target = Σ_c a_c · (ring ? φ_{r''}(c_c) : c_c), with φ_{r''}(x) = Σ_u eq(r'',u)·bit_u(x).

eq_tensor_b

ring_batch_b

Σ_u eq(r’’,u)·ŝ_u for one ring unit, ŝ_u = Σ_v bit_u(c_v)·2^v.

ring_target

Reconstructs the sumcheck’s initial claim from the claimed virtual evals, in the tower basis. Ring units contribute eta·Σ_u eq(r'',u) ŝ_u; whole units contribute eta·c'.