Struct SumcheckData 

pub struct SumcheckData<F, EF> {
    pub polynomial_evaluations: Vec<[EF; 2]>,
    pub pow_witnesses: Vec<F>,
}

Sumcheck polynomial data

Stores the polynomial evaluations for sumcheck rounds in a compact format. Each round stores [h(0), h(inf)] where h(1) is derived as claimed_sum - h(0).

Fields

polynomial_evaluations: Vec<[EF; 2]>

Polynomial evaluations for each sumcheck round.

Each entry is [h(0), h(inf)]:

• h(0) is the constant term.
• h(inf) is the leading coefficient (evaluation at infinity).

h(1) is derived as claimed_sum - h(0) by the verifier.

Length: folding_factor

pow_witnesses: Vec<F>

PoW witnesses for each sumcheck round Length: folding_factor

Implementations

impl<F, EF> SumcheckData<F, EF>

pub fn polynomial_evaluations(&self) -> &[[EF; 2]]

Returns the polynomial evaluations [h(0), h(inf)] for each round.

pub const fn num_rounds(&self) -> usize

Returns the number of rounds stored in this proof data.

pub fn observe_and_sample<Challenger, BF>( &mut self, challenger: &mut Challenger, c0: EF, c_inf: EF, pow_bits: usize, ) -> EF

where BF: Field, EF: ExtensionField<BF>, F: Clone, Challenger: FieldChallenger<BF> + GrindingChallenger<Witness = F>,

Commits polynomial coefficients to the transcript and returns a challenge.

This helper function handles the Fiat-Shamir interaction for a sumcheck round.

Arguments

• challenger - Fiat-Shamir transcript.
• c0 - Constant coefficient h(0).
• c_inf - Leading coefficient h(inf).
• pow_bits - PoW difficulty (0 to skip grinding).

Returns

The sampled challenge r.

pub fn verify_rounds<Challenger>( &self, challenger: &mut Challenger, claimed_sum: &mut EF, pow_bits: usize, ) -> Result<Point<EF>, SumcheckError>

where F: TwoAdicField, EF: ExtensionField<F> + TwoAdicField, Challenger: FieldChallenger<F> + GrindingChallenger<Witness = F>,

Verifies standard sumcheck rounds and extracts folding randomness from the transcript.

Returns

A Point of folding randomness values.

Trait Implementations

impl<F: Clone, EF: Clone> Clone for SumcheckData<F, EF>

fn clone(&self) -> SumcheckData<F, EF>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug, EF: Debug> Debug for SumcheckData<F, EF>

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

Formats the value using the given formatter.

impl<F: Default, EF: Default> Default for SumcheckData<F, EF>

fn default() -> SumcheckData<F, EF>

Returns the “default value” for a type.

impl<'de, F, EF> Deserialize<'de> for SumcheckData<F, EF>

where F: Deserialize<'de>, EF: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F, EF> Serialize for SumcheckData<F, EF>

where F: Serialize, EF: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.