Enum MultilinearPolyOracle

pub enum MultilinearPolyOracle<F: Field> {
    Transparent {
        id: OracleId,
        inner: TransparentPolyOracle<F>,
        name: Option<String>,
    },
    Committed {
        id: CommittedId,
        oracle_id: OracleId,
        n_vars: usize,
        tower_level: usize,
        name: Option<String>,
    },
    Repeating {
        id: OracleId,
        inner: Box<MultilinearPolyOracle<F>>,
        log_count: usize,
        name: Option<String>,
    },
    Interleaved {
        id: OracleId,
        poly0: Box<MultilinearPolyOracle<F>>,
        poly1: Box<MultilinearPolyOracle<F>>,
        name: Option<String>,
    },
    Merged {
        id: OracleId,
        poly0: Box<MultilinearPolyOracle<F>>,
        poly1: Box<MultilinearPolyOracle<F>>,
        name: Option<String>,
    },
    Projected {
        id: OracleId,
        projected: Projected<F>,
        name: Option<String>,
    },
    Shifted {
        id: OracleId,
        shifted: Shifted<F>,
        name: Option<String>,
    },
    Packed {
        id: OracleId,
        packed: Packed<F>,
        name: Option<String>,
    },
    LinearCombination {
        id: OracleId,
        linear_combination: LinearCombination<F>,
        name: Option<String>,
    },
    ZeroPadded {
        id: OracleId,
        inner: Box<MultilinearPolyOracle<F>>,
        n_vars: usize,
        name: Option<String>,
    },
}

A multilinear polynomial oracle in the polynomial IOP model.

In the multilinear polynomial IOP model, a prover sends multilinear polynomials to an oracle, and the verifier may at the end of the protocol query their evaluations at chosen points. An oracle is a verifier and prover’s shared view of a polynomial that can be queried for evaluations by the verifier.

There are three fundamental categories of oracles:

1. Transparent oracles. These are multilinear polynomials with a succinct description and evaluation algorithm that are known to the verifier. When the verifier queries a transparent oracle, it evaluates the polynomial itself.
2. Committed oracles. These are polynomials actually sent by the prover. When the polynomial IOP is compiled to an interactive protocol, these polynomial are committed with a polynomial commitment scheme.
3. Virtual oracles. A virtual multilinear oracle is not actually sent by the prover, but instead admits an interactive reduction for evaluation queries to evaluation queries to other oracles. This is formalized in DP23 Section 4.

Variants

Transparent

Fields

id: OracleId

inner: TransparentPolyOracle<F>

name: Option<String>

Committed

Fields

id: CommittedId

oracle_id: OracleId

n_vars: usize

tower_level: usize

name: Option<String>

Repeating

Fields

id: OracleId

inner: Box<MultilinearPolyOracle<F>>

log_count: usize

name: Option<String>

Interleaved

Fields

id: OracleId

poly0: Box<MultilinearPolyOracle<F>>

poly1: Box<MultilinearPolyOracle<F>>

name: Option<String>

Merged

Fields

id: OracleId

poly0: Box<MultilinearPolyOracle<F>>

poly1: Box<MultilinearPolyOracle<F>>

name: Option<String>

Projected

Fields

id: OracleId

projected: Projected<F>

name: Option<String>

Shifted

Fields

id: OracleId

shifted: Shifted<F>

name: Option<String>

Packed

Fields

id: OracleId

packed: Packed<F>

name: Option<String>

LinearCombination

Fields

id: OracleId

linear_combination: LinearCombination<F>

name: Option<String>

ZeroPadded

Fields

id: OracleId

inner: Box<MultilinearPolyOracle<F>>

n_vars: usize

name: Option<String>

Implementations

impl<F: Field> MultilinearPolyOracle<F>

pub fn id(&self) -> OracleId

pub fn label(&self) -> String

pub fn name(&self) -> Option<&str>

pub fn n_vars(&self) -> usize

pub fn binary_tower_level(&self) -> usize

Maximum tower level of the oracle’s values over the boolean hypercube.

pub fn into_composite(self) -> CompositePolyOracle<F>

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

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

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