Struct BatchCommittedEvalClaims

pub struct BatchCommittedEvalClaims<F: Field> { /* private fields */ }

A mutable structure which keeps track of PCS claims for polynomial batches, potentially over several evalcheck/sumcheck calls

Implementations

impl<F: Field> BatchCommittedEvalClaims<F>

pub fn new(batches: &[CommittedBatch]) -> Self

Creates a new PCS claims accumulator. batches is a nested array listing which committed ids belong to which batch, for example [[1, 2], [3, 4]] batches polys 1 & 2 into first batch and 3 and 4 into second batch. Order within batch is important.

pub fn insert(&mut self, claim: CommittedEvalClaim<F>)

Insert a new claim into the batch.

pub fn n_batches(&self) -> usize

pub fn try_extract_same_query_pcs_claim( &self, batch_id: BatchId, ) -> Result<Option<SameQueryPcsClaim<F>>, Error>

Extract a same query claim, if possible (hence the Option in happy path)

pub fn take_claims( &mut self, batch_id: BatchId, ) -> Result<Vec<CommittedEvalClaim<F>>, Error>

Take out potentially non-same-query claims of a batch for additional processing - one example would be an extra sumcheck round to convert non-same-query claims into same query claims

Trait Implementations

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

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

Formats the value using the given formatter.