Struct DummyInteractionAir 

pub struct DummyInteractionAir {
    pub is_send: bool,
    pub count_weight: u32,
    pub partition: bool,
    /* private fields */
}

Fields

is_send: bool

Send if true. Receive if false.

count_weight: u32

partition: bool

If true, then | count | and | fields[..] | are in separate main trace partitions.

Implementations

impl DummyInteractionAir

pub fn new(field_width: usize, is_send: bool, bus_index: BusIndex) -> Self

pub fn partition(self) -> Self

pub fn field_width(&self) -> usize

Trait Implementations

impl<AB: InteractionBuilder + PartitionedAirBuilder> Air<AB> for DummyInteractionAir

fn eval(&self, builder: &mut AB)

Evaluate all AIR constraints using the provided builder.

impl<F> BaseAir<F> for DummyInteractionAir

fn width(&self) -> usize

The number of columns (a.k.a. registers) in this AIR.

fn preprocessed_trace(&self) -> Option<RowMajorMatrix<F>>

Return an optional preprocessed trace matrix to be included in the prover’s trace.

impl<F> BaseAirWithPublicValues<F> for DummyInteractionAir

fn num_public_values(&self) -> usize

Return the number of expected public values.

impl Clone for DummyInteractionAir

fn clone(&self) -> DummyInteractionAir

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for DummyInteractionAir

impl<F> PartitionedBaseAir<F> for DummyInteractionAir

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

By default, an AIR has no cached main trace.

fn common_main_width(&self) -> usize

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