Enum air_parser::ast::SourceSection

pub enum SourceSection {
    AirDef(Identifier),
    Constant(Constant),
    Trace(Trace),
    PublicInputs(Vec<PublicInput>),
    PeriodicColumns(Vec<PeriodicColumn>),
    RandomValues(RandomValues),
    BoundaryConstraints(Vec<BoundaryStmt>),
    IntegrityConstraints(Vec<IntegrityStmt>),
}

Source is divided into SourceSections. There are 6 types of Source Sections:

• AirDef: Name of the air constraints module.
• TraceCols: Trace Columns representing columns of the execution trace.
• PublicInputs: Public inputs are each represented by a fixed-size array. At least one public input is required, but there is no limit to the number of public inputs that can be specified.
• PeriodicColumns: Periodic columns are each represented by a fixed-size array with all of its elements specified. The array length is expected to be a power of 2, but this is not checked during parsing.
• RandomValues: Random Values represent the randomness sent by the Verifier.
• BoundaryConstraints: Boundary Constraints to be enforced on the boundaries of columns defined in the TraceCols section. Currently there are two types of boundaries, First and Last representing the first and last rows of the column.
• IntegrityConstraints: Integrity Constraints to be enforced on the trace columns defined in the TraceCols section.

Variants

AirDef(Identifier)

Constant(Constant)

Trace(Trace)

PublicInputs(Vec<PublicInput>)

PeriodicColumns(Vec<PeriodicColumn>)

RandomValues(RandomValues)

BoundaryConstraints(Vec<BoundaryStmt>)

IntegrityConstraints(Vec<IntegrityStmt>)

Trait Implementations

impl Debug for SourceSection

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

Formats the value using the given formatter.

impl PartialEq<SourceSection> for SourceSection

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SourceSection

impl StructuralEq for SourceSection

impl StructuralPartialEq for SourceSection