Module expander

Structs§

PoolLayout
RingSwitchPlan: Maps the claimed virtual evals and the committed columns onto ring-switch binding units, in claim order; a bit-expanded physical column is one Ring unit consuming its bits claims.
SlotLayout: A RingSwitchPlan at one table height: committed columns in codeword slots, block b of a slot at message offset b · 2^num_vars, and one eta exponent per slot role.
VirtualExpander: Declarative physical->virtual column expander for chiplets.

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. Under its layout weight w a ring unit contributes w·Σ_u eq(r'',u) ŝ_u, a whole unit w·c'.