Struct CommitMeta

pub struct CommitMeta { /* private fields */ }

Metadata about a batch of committed multilinear polynomials.

In the multilinear polynomial IOP model, several multilinear polynomials can be sent to the oracle by the prover in each round. These multilinears can be committed as a batch by interpolating them into a piecewise multilinear whose evaluations are the concatenation of the piecewise evaluations. This metadata captures the “shape” of the batch, meaning the number of variables of all polynomials in the batch.

Implementations

impl CommitMeta

pub fn total_vars(&self) -> usize

The total number of variables of the interpolating multilinear.

pub fn total_multilins(&self) -> usize

The total number of multilinear pieces in the batch.

impl CommitMeta

pub fn new(n_multilins_by_vars: Vec<usize>) -> Self

Constructs a new CommitMeta.

Arguments

• n_multilins_by_vars - a vector index mapping numbers of variables to the number of multilinears in the batch with that number of variables

pub fn with_vars(n_varss: impl IntoIterator<Item = usize>) -> Self

Constructs a new CommitMeta from a sequence of committed polynomials described by their number of variables.

pub fn max_n_vars(&self) -> usize

Returns the maximum number of variables of any individual multilinear.

pub fn n_multilins_by_vars(&self) -> &[usize]

Returns a vector index mapping numbers of variables to the number of multilinears in the batch with that number of variables.

pub fn range_by_vars(&self, n_vars: usize) -> Range<usize>

Returns the range of indices into the structure that have the given number of variables.

Trait Implementations

impl Debug for CommitMeta

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

Formats the value using the given formatter.