Module phase_1 

Structs

Phase1Output

The output of the first proving phase.

Phase1SumcheckProver

A sumcheck prover for the product of a sparse row list and a dense weight table, both spanning one shift slot and the bit position.

SparseShiftRows

The nonzero rows of the witness-and-batching multilinear that a constraint system’s shifts reach: one row of weights per (shift variant, shift amount) pair actually named, each tagged with its row index.

Constants

LOG_SHIFT_ROWS

The number of variables of the row-index axis: two shift slots, since a term names two shifts applied in sequence.

PHASE_1_LOG_LEN

The number of variables the shift-and-bit phases of the reduction span: the bit position within a word, the inner shift slot, and the outer shift slot.

SHIFT_OPERATOR_LOG_LEN

The number of variables one shift-weight table spans: one row of weights per (shift variant, shift amount) pair, one weight per bit position within a word.

Functions

prove_phase_1

Proves the first phase of the shift reduction.