Struct KeySegment 

pub struct KeySegment {
    pub keys: Vec<Key>,
    pub key_ranges: Vec<Range<u32>>,
    pub constraint_indices: Vec<ConstraintIndex>,
    pub dense_shift_enc: DenseShiftEncoding,
}

One value-vector segment’s keys, public or hidden. Indexed so each word’s constraints can be found without a scan.

Fields

keys: Vec<Key>

Every key of the segment, flattened into one vector.

key_ranges: Vec<Range<u32>>

One range per word, at that word’s segment-relative index. The range names that word’s keys inside the flattened keys vector.

constraint_indices: Vec<ConstraintIndex>

The constraint indices the keys reference, flattened into one vector.

dense_shift_enc: DenseShiftEncoding

The shift sequences the segment’s keys name.

Implementations

impl KeySegment

pub const fn n_words(&self) -> usize

The number of words the segment covers.

pub fn word_keys(&self, index: usize) -> &[Key]

The keys for the word at the given segment-relative index.

pub fn build_g<F: Field, P: PackedField<Scalar = F>>( &self, words: &[Word], prepared: &PreparedOperandClaims<F>, ) -> Box<[P]>

Accumulates this segment’s rows of the witness-and-batching multilinear.

Every witness word can carry several shift keys, one per operand position it feeds. For each key, this folds its constraint-index tensor and batching powers into one accumulator value, then scatters that value across the bit positions the word has set.

Returns

One row of weights per shift this segment uses, one weight per bit position of a word, at the position this segment’s own dense encoding assigns to that shift.

Trait Implementations

impl Clone for KeySegment

fn clone(&self) -> KeySegment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KeySegment

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

Formats the value using the given formatter.

impl DeserializeBytes for KeySegment

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

impl SerializeBytes for KeySegment

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