Struct ValueVecLayout

pub struct ValueVecLayout {
    pub n_const: usize,
    pub n_inout: usize,
    pub n_witness: usize,
    pub n_internal: usize,
    pub offset_inout: usize,
    pub offset_witness: usize,
    pub committed_total_len: usize,
    pub n_scratch: usize,
}

Description of a layout of the value vector for a particular circuit.

Fields

n_const: usize

The number of the constants declared by the circuit.

n_inout: usize

The number of the input output parameters declared by the circuit.

n_witness: usize

The number of the witness parameters declared by the circuit.

n_internal: usize

The number of the internal values declared by the circuit.

Those are outputs and intermediaries created by the gates.

offset_inout: usize

The offset at which inout parameters start.

offset_witness: usize

The offset at which witness parameters start.

The public section of the value vec has the power-of-two size and is greater than the minimum number of words. By public section we mean the constants and the inout values.

committed_total_len: usize

The total number of committed values in the values vector. This does not include any scratch values.

This must be a power-of-two.

n_scratch: usize

The number of scratch values at the end of the value vec.

Implementations

impl ValueVecLayout

pub fn validate(&self) -> Result<(), ConstraintSystemError>

Validates that the value vec layout has a correct shape.

Specifically checks that:

• the total committed length is a power of two.
• the public segment (constants and inout values) is padded to the power of two.
• the public segment is not less than the minimum size.

Trait Implementations

impl Clone for ValueVecLayout

fn clone(&self) -> ValueVecLayout

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValueVecLayout

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

Formats the value using the given formatter.

impl DeserializeBytes for ValueVecLayout

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

where Self: Sized,

impl PartialEq for ValueVecLayout

fn eq(&self, other: &ValueVecLayout) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl SerializeBytes for ValueVecLayout

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

impl Eq for ValueVecLayout

impl StructuralPartialEq for ValueVecLayout