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 total size is always a power of two as required for technical reasons.

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 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).

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

Returns the witness portion of the values vector.

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

Returns the combined values vector.

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.