Struct ValueVec 

pub struct ValueVec { /* private fields */ }

The vector of values used in constraint evaluation and proof generation.

ValueVec is the concrete instantiation of values that satisfy (or should satisfy) a ConstraintSystem. It follows the layout defined by ValueVecLayout and serves as the primary data structure for both constraint evaluation and polynomial commitment.

Between these sections, there may be padding regions to satisfy alignment requirements.

The words live in a buffer that starts on a 16-byte boundary. That keeps the frequent bulk copies of the vector on the aligned SIMD memcpy path.

Implementations

impl ValueVec

pub fn new(layout: ValueVecLayout) -> ValueVec

Creates a new value vector with the given layout.

The values are filled with zeros.

pub fn new_from_data( layout: ValueVecLayout, public: Vec<Word>, private: Vec<Word>, ) -> Result<ValueVec, ConstraintSystemError>

Creates a new value vector with the given layout and data.

The data is checked to have the correct length.

pub const fn size(&self) -> usize

The total size of the committed portion of the vector (excluding scratch).

pub fn get(&self, index: usize) -> Word

Returns the value stored at the given index.

Panics if the index is out of bounds. Will happily return a value from the padding section.

pub fn set(&mut self, index: usize, value: Word)

Sets the value at the given index.

Panics if the index is out of bounds. Will gladly assign a value to the padding section.

pub fn public(&self) -> &[Word]

Returns the public portion of the values vector.

pub fn non_public(&self) -> &[Word]

Return all non-public values (witness + internal) without scratch space.

pub fn witness(&self) -> &[Word]

Returns the witness portion of the values vector.

pub fn combined_witness(&self) -> &[Word]

Returns the combined values vector.

pub fn eval_operand(&self, operand: &[ShiftedValueIndex]) -> Word

Evaluates an operand against this witness.

An operand is the XOR of its shifted-value terms. An empty operand evaluates to the zero word, the XOR identity.

Trait Implementations

impl Clone for ValueVec

fn clone(&self) -> ValueVec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValueVec

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

Formats the value using the given formatter.

impl Index<ValueIndex> for ValueVec

type Output = Word

The returned type after indexing.

fn index(&self, index: ValueIndex) -> &Self::Output

Performs the indexing (container[index]) operation.

impl IndexMut<ValueIndex> for ValueVec

fn index_mut(&mut self, index: ValueIndex) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.