Struct CompositeMLE

pub struct CompositeMLE<F: TowerField> { /* private fields */ }

MLE of a multivariate polynomial evaluated on multilinear oracles.

i.e. the MLE of the evaluations of $C(M_1, M_2, \ldots, M_n)$ on ${0, 1}^\mu$ where:

• $C$ is a arbitrary polynomial in $n$ variables
• $M_1, M_2, \ldots, M_n$ are multilinear oracles in μ variables

($C$ should be sufficiently lightweight to be evaluated by the verifier)

Implementations

impl<F: TowerField> CompositeMLE<F>

pub fn inner(&self) -> &Vec<OracleId>

$M_1, M_2, \ldots, M_n$

pub fn c(&self) -> &ArithCircuitPoly<F>

$C$

impl<F: TowerField> CompositeMLE<F>

pub fn n_vars(&self) -> usize

$\mu$

impl<F: TowerField> CompositeMLE<F>

pub fn new( n_vars: usize, inner: impl IntoIterator<Item = MultilinearPolyOracle<F>>, c: ArithExpr<F>, ) -> Result<Self, Error>

pub fn polys(&self) -> impl Iterator<Item = OracleId> + '_

pub fn n_polys(&self) -> usize

Trait Implementations

impl<F: Clone + TowerField> Clone for CompositeMLE<F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + TowerField> Debug for CompositeMLE<F>

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

Formats the value using the given formatter.

impl<F: PartialEq + TowerField> PartialEq for CompositeMLE<F>

fn eq(&self, other: &CompositeMLE<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: TowerField + SerializeBytes> SerializeBytes for CompositeMLE<F>

fn serialize( &self, write_buf: impl BufMut, mode: SerializationMode, ) -> Result<(), SerializationError>

impl<F: Eq + TowerField> Eq for CompositeMLE<F>

impl<F: TowerField> StructuralPartialEq for CompositeMLE<F>