Struct ZeroMle 

pub struct ZeroMle<F: Field> {
    pub(crate) mle_indices: Vec<MleIndex<F>>,
    pub(crate) num_vars: usize,
    pub(crate) layer_id: LayerId,
    pub(crate) zero: [F; 1],
    pub(crate) zero_eval: Evaluations<F>,
    pub(crate) indexed: bool,
}

An MLE that contains only zeros; typically used for the output layer.

Fields

mle_indices: Vec<MleIndex<F>>

num_vars: usize

Number of non-fixed variables within this MLE (warning: this gets modified destructively DURING sumcheck).

layer_id: LayerId

zero: [F; 1]

zero_eval: Evaluations<F>

indexed: bool

Implementations

impl<F: Field> ZeroMle<F>

pub fn new( num_vars: usize, prefix_bits: Option<Vec<MleIndex<F>>>, layer_id: LayerId, ) -> Self

Constructs a new ZeroMle on num_vars variables with the appropriate prefix_bits for a layer with ID layer_id.

Trait Implementations

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

fn clone(&self) -> ZeroMle<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 ZeroMle<F>

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

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for ZeroMle<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: Field> From<ZeroMle<F>> for MleEnum<F>

fn from(value: ZeroMle<F>) -> Self

Converts to this type from the input type.

impl<F: Field> From<ZeroMle<F>> for OutputLayer<F>

fn from(value: ZeroMle<F>) -> Self

Converts to this type from the input type.

impl<F: Field> Mle<F> for ZeroMle<F>

fn get_padded_evaluations(&self) -> Vec<F>

Get the padded set of evaluations over the boolean hypercube; useful for constructing the input layer.

fn add_prefix_bits(&mut self, _new_bits: Vec<MleIndex<F>>)

Mutates the MLE in order to set the prefix bits. This is needed when we are working with dataparallel circuits and new bits need to be added.

fn mle_indices(&self) -> &[MleIndex<F>]

Get the indicies of the Mle that this MleRef represents.

fn num_free_vars(&self) -> usize

Returns the number of free variables this Mle is defined on. Equivalently, this is the log_2 of the size of the unpruned bookkeeping table.

fn fix_variable( &mut self, round_index: usize, challenge: F, ) -> Option<RawClaim<F>>

Fix the variable at round_index at a given challenge point. Mutates self to be the bookeeping table for the new MLE.

fn fix_variable_at_index( &mut self, indexed_bit_index: usize, point: F, ) -> Option<RawClaim<F>>

Fix the (indexed) free variable at indexed_bit_index with a given challenge point. Mutates `self`` to be the bookeeping table for the new MLE. If the new MLE becomes fully bound, returns the evaluation of the fully bound MLE in the form of a crate::claims::RawClaim.

fn index_mle_indices(&mut self, curr_index: usize) -> usize

Mutates the MleIndexes stored in self that are MleIndex::Free and turns them into MleIndex::Indexed with the bit index being determined from curr_index. Returns the (curr_index + number of IndexedBits now in the MleIndices).

fn layer_id(&self) -> LayerId

Get the layer ID of the associated MLE.

fn get_enum(self) -> MleEnum<F>

Get the associated enum that this MLE is a part of (MleEnum::Dense or MleEnum::Zero).

fn len(&self) -> usize

Returns the length of the current bookkeeping table.

fn iter(&self) -> EvaluationsIterator<'_, F>

Returns an iterator over the evaluations of the current MLE.

fn first(&self) -> F

Returns the first element in the bookkeeping table corresponding to the value of this Dense MLE when all free variables are set to zero. This operations never panics (see evals::MultilinearExtension::first)

fn value(&self) -> F

If this is a fully-bound Dense MLE, it returns its value. Otherwise panics.

fn get(&self, index: usize) -> Option<F>

Returns the first element of the evaluations table (if any).

fn is_fully_bounded(&self) -> bool

An MLE is fully bounded if it has no more free variables.

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

fn eq(&self, other: &ZeroMle<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 ZeroMle<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 ZeroMle<F>