openvm_stark_backend::air_builders

Trait PartitionedAirBuilder

Source 
pub trait PartitionedAirBuilder: AirBuilder {
    // Required methods
    fn cached_mains(&self) -> &[Self::M];
    fn common_main(&self) -> &Self::M;
}
Expand description

AIR builder that supports main trace matrix which is partitioned into sub-matrices which belong to different commitments.

Required Methods§

Source

fn cached_mains(&self) -> &[Self::M]

Cached main trace matrix.

Source

fn common_main(&self) -> &Self::M

Common main trace matrix. Panic if there is no common main trace.

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§