Struct SumcheckShape 

pub struct SumcheckShape {
    pub num_rounds: usize,
    pub pow_bits: usize,
    pub basis: Basis,
}

Numbers that fix the transcript of one batch of quadratic sumcheck rounds.

Both sides build this from their own configuration, never from a proof.

Fields

num_rounds: usize

Number of variables the batch binds, and so the number of rounds.

pow_bits: usize

Grinding difficulty guarding each round’s challenge, or zero to omit grinding.

basis: Basis

Basis the two transmitted values are read in.

Implementations

impl SumcheckShape

pub const fn new(num_rounds: usize, pow_bits: usize, basis: Basis) -> Self

Collect the numbers that fix one batch of rounds.

Arguments

• num_rounds: number of variables the batch binds.
• pow_bits: grinding difficulty per round, or zero to omit grinding.
• basis: how the two transmitted values are read.

pub fn pattern<F, EF>(&self) -> InteractionPattern

where F: TranscriptField, EF: ExtensionField<F>,

Describe the transcript this shape fixes.

Panics

Never in practice. A flat sequence of leaf steps always passes structural validation.

pub fn domain_separator<F, EF>(&self) -> DomainSeparator<FieldUnit<F>>

where F: TranscriptField, EF: ExtensionField<F>,

Bind the protocol identity, this shape, and the basis.

The round count and the difficulty both move the step sequence. The fingerprint therefore carries them.

The basis does not move it.

    evaluation basis:  the pair is  [h(0), h(inf)]
    projective basis:  the pair is  [s(1), s(inf)]

Both are two extension elements followed by one challenge. Only the instance label separates two runs that disagree on which reading is meant.

Every shipped driver picks the evaluation reading, so no live pair can disagree today. The label is what keeps the two apart once a projective driver exists.

Trait Implementations

impl Clone for SumcheckShape

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SumcheckShape

impl Debug for SumcheckShape

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

Formats the value using the given formatter.

impl Eq for SumcheckShape

impl PartialEq for SumcheckShape

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SumcheckShape