Skip to main content Module outer Copy item path Source BusRow ConsistencyInputs EvalInputs Public data of one eval sumcheck on masked claims. EvalOutput 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 the ring
gadgets whose tie coefficients linear_weights 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. TableRecord One table’s share of the statement, in transcript order. TableShape 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 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 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. 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_record