Struct AirShape 

pub struct AirShape {
    pub num_composed_constraints: u32,
    pub max_constraint_degree: u32,
    pub num_quotient_chunks: u32,
    pub max_combo: u32,
    pub num_deep_terms: Option<u32>,
    pub lookup: Option<LookupShape>,
}

Shape of the AIRs being proved, aggregated over every AIR in the proof.

Fields

num_composed_constraints: u32

Total constraints batched into the composition polynomial, plus one slot for each AIR beyond the first when a second challenge batches multiple AIRs together (0 slots for a single-AIR statement, which needs no cross-AIR batching challenge).

max_constraint_degree: u32

Maximum constraint degree over all AIRs.

num_quotient_chunks: u32

Exact committed quotient chunk count, including ZK degree padding and doubling.

max_combo: u32

Maximum number of out-of-domain points referenced per committed column — one per distinct point the AIR’s rotations induce: 2 for an AIR that opens local and next, 1 for an AIR whose constraints all read a single row, and higher for a wider rotation set.

Read by the out-of-domain round, independent of Self::num_deep_terms.

num_deep_terms: Option<u32>

Total committed columns opened by a DEEP-quotient batching argument, plus one slot per out-of-domain point, or None when the protocol performs no α/β column-batching reduction over its committed openings. The budget’s out-of-domain round is charged regardless of this field; None only waives the separate DEEP-composition round.

lookup: Option<LookupShape>

Lookup argument shape, or None when the protocol has no lookup round. A present shape with zero fractions is invalid and reports zero security.

Trait Implementations

impl Clone for AirShape

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 AirShape

impl Debug for AirShape

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

Formats the value using the given formatter.

impl Eq for AirShape

impl PartialEq for AirShape

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AirShape