Struct OutputLayerDescription 

pub struct OutputLayerDescription<F: Field> {
    pub mle: MleDescription<F>,
    is_zero: bool,
}

The circuit description type for the defaul Output Layer consisting of an MLE.

Fields

mle: MleDescription<F>

The metadata of this MLE: indices and associated layer.

is_zero: bool

Whether this is an MLE that is supposed to evaluate to zero.

Implementations

impl<F: Field> OutputLayerDescription<F>

pub fn new_dense(_layer_id: LayerId, _mle_indices: &[MleIndex<F>]) -> Self

Generate an output layer containing a verifier equivalent of a DenseMle, with a given layer_id and mle_indices.

pub fn new_zero(layer_id: LayerId, mle_indices: &[MleIndex<F>]) -> Self

Generate an output layer containing a verifier equivalent of a ZeroMle, with a given layer_id and mle_indices.

pub fn is_zero(&self) -> bool

Determine whether the MLE Output layer contains an MLE whose coefficients are all 0.

pub fn index_mle_indices(&mut self, start_index: usize)

Label the MLE indices in this layer, starting from the start_index.

pub fn into_prover_output_layer( &self, circuit_map: &CircuitEvalMap<F>, ) -> OutputLayer<F>

Convert this into the prover view of an output layer, using the CircuitEvalMap.

impl<F: Field> OutputLayerDescription<F>

pub fn layer_id(&self) -> LayerId

Returns the LayerId of the intermediate/input layer that his output layer is associated with.

pub fn retrieve_mle_from_transcript_and_fix_layer( &self, transcript_reader: &mut impl VerifierTranscript<F>, ) -> Result<VerifierOutputLayer<F>>

Retrieve the MLE evaluations from the transcript and fix the variables of this output layer to random challenges sampled from the transcript. Returns a description of the layer ready to be used by the verifier.

Trait Implementations

impl<F: Clone + Field> Clone for OutputLayerDescription<F>

fn clone(&self) -> OutputLayerDescription<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for OutputLayerDescription<F>

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

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for OutputLayerDescription<F>

where F: Field,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: Hash + Field> Hash for OutputLayerDescription<F>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<F: PartialEq + Field> PartialEq for OutputLayerDescription<F>

fn eq(&self, other: &OutputLayerDescription<F>) -> 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<F> Serialize for OutputLayerDescription<F>

where F: Field,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<F: Field> StructuralPartialEq for OutputLayerDescription<F>