Struct SegmentWords 

pub struct SegmentWords<'a> {
    pub public: &'a [Word],
    pub hidden: &'a [Word],
}

The value vector’s two committed segments, each at the width the protocol addresses it at.

A circuit declares fewer values than the reductions address: the public segment is padded to a power of two, and the hidden segment to at least that width. Both proving phases read the segments at those padded widths, so the top-level entry point fills them once and hands the pair down, instead of each phase re-deriving the split.

Fields

public: &'a [Word]

The constants and inout values, zero-filled to the public segment width.

hidden: &'a [Word]

The private values, zero-filled to the hidden segment width.

Trait Implementations

impl<'a> Clone for SegmentWords<'a>

fn clone(&self) -> SegmentWords<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for SegmentWords<'a>