Struct EvalClaimSystem

pub struct EvalClaimSystem<'a, F: Field> {
    pub commit_meta: &'a CommitMeta,
    pub prefix_descs: Vec<EvalClaimPrefixDesc<F>>,
    pub suffix_descs: Vec<EvalClaimSuffixDesc<F>>,
    pub sumcheck_claim_descs: Vec<PIOPSumcheckClaimDesc<'a, F>>,
    pub eval_claim_to_prefix_desc_index: Vec<usize>,
}

A system of relations required to verify multilinear evaluation claims using the batched FRI-Binius protocol.

Fields are public because this is internal to the module.

Fields

commit_meta: &'a CommitMeta

prefix_descs: Vec<EvalClaimPrefixDesc<F>>

suffix_descs: Vec<EvalClaimSuffixDesc<F>>

sumcheck_claim_descs: Vec<PIOPSumcheckClaimDesc<'a, F>>

eval_claim_to_prefix_desc_index: Vec<usize>

Implementations

impl<'a, F: TowerField> EvalClaimSystem<'a, F>

pub fn new( commit_meta: &'a CommitMeta, oracle_to_commit_index: SparseIndex<usize>, eval_claims: &'a [EvalcheckMultilinearClaim<F>], ) -> Result<Self, Error>

Constructs a new system of claim relations.

Arguments

• commit_meta - metadata about the polynomial commitment.
• oracle_to_commit_index - a sparse index mapping oracle IDs to IDs in the commit metadata.
• eval_claims - the evaluation claims on committed multilinear polynomials.

pub fn max_claim_kappa(&self) -> usize

Trait Implementations

impl<'a, F: Debug + Field> Debug for EvalClaimSystem<'a, F>

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

Formats the value using the given formatter.