Struct KeyCollection 

pub struct KeyCollection {
    pub public: KeySegment,
    pub hidden: KeySegment,
}

The prover’s complete view of a constraint system’s shift keys, split by value-vector segment.

• The public segment covers value-vector indices from 0 up to the public word count.
• The hidden segment covers the rest, up to the combined length.
• Word indices inside each segment are relative to that segment’s own start.
• Both phases of the shift reduction iterate the two segments in absolute value-vector order.

Fields

public: KeySegment

The keys of the public segment: constants and inout words.

hidden: KeySegment

The keys of the hidden segment: private words.

Implementations

impl KeyCollection

pub fn build(cs: &ConstraintSystem, inout: InoutSegment) -> Self

Walks a constraint system, collecting every shift key into its segment.

Runs as a stable counting sort by word: one pass counts the references each word receives, one pass scatters them into a flat array in walk order, and the per-word grouping into keys runs over disjoint word ranges in parallel.

Arguments

• cs: the constraint system to walk.
• inout: the split point between the public and hidden segments.

pub const fn log_witness_words(&self) -> usize

The base-2 logarithm of the hidden segment length in words, rounded up to a power of two.

Matches the corresponding quantity for the constraint system the collection was built from. That system guarantees this is at least the public segment’s logarithm.

log_witness_words = ceil_log2( hidden segment length in words )

pub fn build_monster_segments<F, P: PackedField<Scalar = F>, A: Allocator>( &self, alloc: &A, prepared: &PreparedOperandClaims<F>, h_eval: F, inner: &ShiftChallenge<F>, outer: &ShiftChallenge<F>, ) -> (FieldVec<P, A>, FieldVec<P, A>)

where F: BinaryField,

Builds the constraint-matrix multilinear’s two segments.

For each witness word, this sums every one of its keys’ contributions. A key’s contribution is its constraint-index accumulation, scaled by a scalar that folds together the operand batching weight, the bit-index evaluation, and the two equality-indicator weights of the shift sequence the key names.

Returns

The public segment, spanning the rounded-up public word count, and the hidden segment, spanning the full witness word count. The phase-2 sumcheck’s sparse first round consumes both directly, without materializing their combined buffer.

Trait Implementations

impl Clone for KeyCollection

fn clone(&self) -> KeyCollection

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for KeyCollection

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl DeserializeBytes for KeyCollection

fn deserialize(read_buf: impl Buf) -> Result<Self, SerializationError>

impl SerializeBytes for KeyCollection

fn serialize(&self, write_buf: impl BufMut) -> Result<(), SerializationError>