Enum InoutSegment 

pub enum InoutSegment {
    Public,
    Hidden,
}

Which of the two value-vector segments holds the inout values.

The constants are always public and the private values always hidden, so this is the only freedom in where the segment boundary falls. A proving protocol picks the placement that suits how its verifier learns the inout words, and passes it to every accessor that reports a segment length.

Variants

Public

The inout values are public: the verifier knows every one of them, so the reduction reads them as shared data and nothing about them is committed.

Hidden

The inout values are hidden: they are committed with the private values.

This is what a data-parallel protocol needs. Each instance chooses its own inout words, so they are not one set of shared values the verifier can evaluate.

Trait Implementations

impl Clone for InoutSegment

fn clone(&self) -> InoutSegment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InoutSegment

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

Formats the value using the given formatter.

impl PartialEq for InoutSegment

fn eq(&self, other: &InoutSegment) -> 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 Copy for InoutSegment

impl Eq for InoutSegment

impl StructuralPartialEq for InoutSegment