Trait Program 

pub trait Program<F: TowerField>: Air<F> {
    // Provided methods
    fn num_public_inputs(&self) -> usize { ... }
    fn chiplet_defs(&self) -> Result<Vec<ChipletDef<F>>> { ... }
}

Extends Air<F> with multi-table composition: independent chiplets, GKR gadgets, and public inputs.

The top-level prover and verifier require Program<F>. Internal sub-protocols (ZeroCheck, chiplet verification) operate on Air<F> alone.

Provided Methods

fn num_public_inputs(&self) -> usize

Number of public inputs for this program.

fn chiplet_defs(&self) -> Result<Vec<ChipletDef<F>>>

Returns independent AIR chiplet definitions. Each chiplet gets its own trace, commitment, ZeroCheck, and evaluation argument. Connected to the main trace via GPA bus.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors