Module mle

Expand description

An Mle is a Multilinear Extension that contains a more complex type (i.e. T, or (T, T) or ExampleStruct)

Modules§

betavalues: Defines betavalues::BetaValues, a struct for storing the bookkeeping tables of Beta functions. Module for dealing with the Beta equality function.
dense: Contains the default, dense implementation of an Mle.
evals: Defines crate::mle::evals::Evaluations and crate::mle::evals::MultilinearExtension for representing un-indexed MLEs.
mle_description: Defines crate::mle::mle_description::MleDescription, i.e. the in-circuit-context description of a crate::mle::evals::MultilinearExtension which includes “prefix vars” and “free vars” but not the actual evaluations of the function over the hypercube.
mle_enum: Contains a wrapper type around Mle implementations. A wrapper enum type around various implementations of MLEs.
verifier_mle: Defines crate::mle::verifier_mle::VerifierMle, i.e. the verifier’s view of a “fully-bound” MLE with a prover-claimed value.
zero: Contains an implementation of the zero Mle. A space-efficient implementation of an MLE which contains only zeros.

Mle: The trait that defines how a semantic Type (T) and a MultiLinearEvaluation containing field elements (F) interact. T should always be a composite type containing Fs. For example (F, F) or a struct containing Fs.