Skip to main content Module outer Copy item path Source BusRow ConsistencyInputs EvalInputs Public data of the pool’s eval sumcheck on masked claims. EvalRecord InitialForm H_0 of an eval sumcheck over the pad.LinearBatch OuterLayout Oracle row order: pad, then the Lhs, Rhs and
Product wire blocks, then the five mask rows. OuterRows The assembled statement: affine rows, and each ring
gadget with the statement row its chain starts at. OuterStatement TableInputs Everything a table’s record is built from; both
sides hold all of it after the table’s eval phase. TablePads First pad index of each masked group of a table,
in the prover’s masking order. TableParts The parts behind TableStaticsAir that does not hold them, such as a Program. TableRecord One table’s share of the statement, in transcript order. TableShape TableStatics One table’s AST, bus specs, fixed pins and boundary
constraints, borrowed where the Air getters clone. BusSource assemble Every affine row of the statement, claims folded
into constants and wire indices offset per table. aux_filler_len build_aux_rows AUX oracle rows: the wire blocks and the five mask
rows, filler on every message tail, then the
zero-sum mask row’s first code_len - 1 cells and
the messages of the interleaved and both high masks. build_pad_rows PAD oracle rows: the pad in OuterLayout::slotfiller (exactly pad_rows · (code_len - message_len)
entries) on the message tail. bus_key_form bus_operand_rows Pins the bus Hadamard wire h · key:
Lhs = h and Rhs = key over the pad. bus_sum_row Σ claimed_sum = 0 over one bus id:
(pad, masked sum) per endpoint.consistency_row The consistency row without its root terms:
root k enters at α^k · eq_zc. eval_final_row claim_n = fin for an eval sumcheck: fin is public,
claim_n is the masked running claim minus its form.eval_initial_form eval_record The eval row’s mask form propagated
through the rounds, plus the ring gadget. fixed_column_row c[claim] = public, i.e. h[pad] = c'[claim] + public.h_claim_pin_row c[claim] = h_eval: the eval argument’s base h
claim and the reported h_eval unmask to one value.linear_tensor_vars Challenge count for outer_r_lin. The tensor
batches the affine rows at k / |F|, not the
1 / |F| of one challenge per row. linear_weights Weights and target of the linear test on
the rows assemble linear_weights_of_rows Weights and target of the linear test on built rows:
the reference linear_weights mul_node_count reachable resolve_table_row Folds a table’s public masked claims into the constant
and shifts its table-local wire indices by mul_offset. statement_rows Affine rows of the statement assemble sumcheck_mask_form Pad form of claim'_n - claim_n for a sumcheck whose
replay reconstructs p'_0 = claim' - p'_1 each round:
entries of round i carry Π_{j>i} L_0(r_j). table_plan table_record