Skip to main content Module shift Copy item path Source pub use phase_2::ShiftOutput ;monster outer The rounds binding the outer slot of a shift sequence. phase_1 phase_2 DenseShiftEncoding A dense re-encoding of the shift sequences occurring in a key segment.
A key names a sequence of two shifts, each slot drawn from a fixed alphabet of 512 spellings. KeyCollection The prover’s complete view of a constraint system’s shift keys, split by value-vector segment. KeySegment One value-vector segment’s keys, public or hidden.
Indexed so each word’s constraints can be found without a scan. OperandClaims The operand evaluation claims of every operation, as the shift reduction receives them. PreparedOperandClaims The claims with their batching weights folded in, as both proving phases read them. SegmentWords The value vector’s two committed segments, each at the width the protocol addresses it at. ShiftChallenge One shift’s amount and variant challenges. ShiftChallengePoint The point a shift indicator is read at. ShiftIndOutput What one run of these rounds leaves the phases after it. ShiftIndSumcheck Phase 3 of the shift reduction’s sumcheck: the Word::LOG_BITS prove Proves the shift protocol reduction, collapsing every operation’s claims into one.