Trait PartitionedBaseAir

Source
pub trait PartitionedBaseAir<F>: BaseAir<F> {
    // Provided methods
    fn cached_main_widths(&self) -> Vec<usize> { ... }
    fn common_main_width(&self) -> usize { ... }
}
Expand description

An AIR with 1 or more main trace partitions.

Provided Methods§

Source

fn cached_main_widths(&self) -> Vec<usize>

By default, an AIR has no cached main trace.

Source

fn common_main_width(&self) -> usize

By default, an AIR has only one private main trace.

Implementors§

impl<F, A, M> PartitionedBaseAir<F> for VmAirWrapper<A, M>
where A: BaseAir<F>, M: BaseAir<F>,

impl<F: Field, const SBOX_REGISTERS: usize> PartitionedBaseAir<F> for Poseidon2PeripheryAir<F, SBOX_REGISTERS>

impl<const BLOCK_SIZE: usize, F> PartitionedBaseAir<F> for MemoryDummyAir<BLOCK_SIZE>

impl<const CHUNK: usize, F: Field> PartitionedBaseAir<F> for MemoryMerkleAir<CHUNK>

impl<F: Field, const M: usize> PartitionedBaseAir<F> for XorLookupAir<M>

impl<F: Field, const N: usize> PartitionedBaseAir<F> for RangeTupleCheckerAir<N>

impl<F: Field, const NUM_BITS: usize> PartitionedBaseAir<F> for BitwiseOperationLookupAir<NUM_BITS>

impl<F: Field, const SBOX_REGISTERS: usize> PartitionedBaseAir<F> for NativePoseidon2Air<F, SBOX_REGISTERS>

impl<F: Field, const SBOX_REGISTERS: usize> PartitionedBaseAir<F> for Poseidon2SubAir<F, SBOX_REGISTERS>