Struct MleDescription 

pub struct MleDescription<F: Field> {
    layer_id: LayerId,
    var_indices: Vec<MleIndex<F>>,
}

A metadata-only version of crate::mle::dense::DenseMle used in the Circuit Descrption. A MleDescription is stored in the leaves of an Expression<F, ExprDescription> tree.

Fields

layer_id: LayerId

Layer whose data this MLE’s is a subset of.

var_indices: Vec<MleIndex<F>>

A list of indices where the free variables have been assigned an index.

Implementations

impl<F: Field> MleDescription<F>

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

Create a new MleDescription given its layer id and the MleIndexs that it holds. This is effectively the “shape” of a DenseMle.

pub fn set_mle_indices(&mut self, new_mle_indices: Vec<MleIndex<F>>)

Replace the current MLE indices stored with custom MLE indices. Most useful in crate::layer::matmult::MatMult, where we do index manipulation.

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

Convert MleIndex::Free into MleIndex::Indexed with the correct index labeling, given by start_index parameter.

pub fn layer_id(&self) -> LayerId

Returns the LayerId of this MleDescription.

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

Returns the MLE indices of this MleDescription.

pub fn num_free_vars(&self) -> usize

The number of MleIndex::Indexed OR MleIndex::Free bits in this MLE.

pub fn prefix_bits(&self) -> Vec<bool>

Get the bits in the MLE that are fixed bits.

pub fn into_dense_mle(&self, circuit_map: &CircuitEvalMap<F>) -> DenseMle<F>

Convert this MLE into a DenseMle using the CircuitEvalMap, which holds information using the prefix bits and layer id on the data that should be stored in this MLE.

pub fn fix_variable(&mut self, var_index: usize, value: F)

Bind the variable with index var_index to value. Note that since MleDescription is the representation of a multilinear extension function sans data, it need not alter its internal MLE evaluations in any way.

pub fn get_claim_point(&self, challenges: &[F]) -> Vec<F>

Gets the values of the bound and fixed MLE indices of this MLE, panicking if the MLE is not fully bound.

pub fn into_verifier_mle( &self, point: &[F], transcript_reader: &mut impl VerifierTranscript<F>, ) -> Result<VerifierMle<F>>

Convert this MLE into a VerifierMle, which represents a fully-bound MLE.

Trait Implementations

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

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

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

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for MleDescription<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 MleDescription<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 MleDescription<F>

fn eq(&self, other: &MleDescription<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 MleDescription<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: Eq + Field> Eq for MleDescription<F>

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