Struct InstanceShape 

pub struct InstanceShape {
    pub log_max_height: u32,
    pub field_bits: u64,
    pub collision_resistance: u32,
}

Shape of the proof instance being graded.

Fields

log_max_height: u32

Log2 of the largest AIR trace height in the proof.

A lifted (multi-AIR) statement commits every matrix at the maximum height and tests a single FRI instance against it, with shorter AIRs opened at powers of the same out-of-domain point; every degree-dependent error therefore scales with this height, not with each AIR’s own. A single-AIR statement uses its own trace height directly.

field_bits: u64

Log2 of the challenge field size, in fixed point. Must be in 1..=fixed::from_bits(u32::MAX); values outside the supported whole-bit range are malformed and report zero security.

collision_resistance: u32

Collision resistance of the commitment hash, in whole bits.

Implementations

impl InstanceShape

pub const fn cap(&self) -> u64

The ceiling any reported level is capped at: no argument compiled with this transcript can exceed the smaller of the challenge-field size and the commitment hash’s collision resistance.

Trait Implementations

impl Clone for InstanceShape

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 InstanceShape

impl Debug for InstanceShape

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

Formats the value using the given formatter.

impl Eq for InstanceShape

impl PartialEq for InstanceShape

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InstanceShape