Trait sp1_recursion_core::air::RecursionInteractionAirBuilder

pub trait RecursionInteractionAirBuilder: BaseAirBuilder {
    // Provided methods
    fn send_range_check(
        &mut self,
        range_check_opcode: impl Into<Self::Expr>,
        val: impl Into<Self::Expr>,
        is_real: impl Into<Self::Expr>,
    ) { ... }
    fn receive_range_check(
        &mut self,
        range_check_opcode: impl Into<Self::Expr>,
        val: impl Into<Self::Expr>,
        is_real: impl Into<Self::Expr>,
    ) { ... }
    fn send_program<E: Into<Self::Expr> + Copy>(
        &mut self,
        pc: impl Into<Self::Expr>,
        instruction: InstructionCols<E>,
        selectors: OpcodeSelectorCols<E>,
        is_real: impl Into<Self::Expr>,
    ) { ... }
    fn receive_program<E: Into<Self::Expr> + Copy>(
        &mut self,
        pc: impl Into<Self::Expr>,
        instruction: InstructionCols<E>,
        selectors: OpcodeSelectorCols<E>,
        is_real: impl Into<Self::Expr>,
    ) { ... }
    fn send_table<E: Into<Self::Expr> + Clone>(
        &mut self,
        opcode: impl Into<Self::Expr>,
        table: &[E],
        is_real: impl Into<Self::Expr>,
    ) { ... }
    fn receive_table<E: Into<Self::Expr> + Clone>(
        &mut self,
        opcode: impl Into<Self::Expr>,
        table: &[E],
        is_real: impl Into<Self::Expr>,
    ) { ... }
}

Builder trait containing helper functions to send/receive interactions.

Provided Methods

fn send_range_check( &mut self, range_check_opcode: impl Into<Self::Expr>, val: impl Into<Self::Expr>, is_real: impl Into<Self::Expr>, )

Sends a range check operation to be processed.

fn receive_range_check( &mut self, range_check_opcode: impl Into<Self::Expr>, val: impl Into<Self::Expr>, is_real: impl Into<Self::Expr>, )

Receives a range check operation to be processed.

fn send_program<E: Into<Self::Expr> + Copy>( &mut self, pc: impl Into<Self::Expr>, instruction: InstructionCols<E>, selectors: OpcodeSelectorCols<E>, is_real: impl Into<Self::Expr>, )

fn receive_program<E: Into<Self::Expr> + Copy>( &mut self, pc: impl Into<Self::Expr>, instruction: InstructionCols<E>, selectors: OpcodeSelectorCols<E>, is_real: impl Into<Self::Expr>, )

fn send_table<E: Into<Self::Expr> + Clone>( &mut self, opcode: impl Into<Self::Expr>, table: &[E], is_real: impl Into<Self::Expr>, )

fn receive_table<E: Into<Self::Expr> + Clone>( &mut self, opcode: impl Into<Self::Expr>, table: &[E], is_real: impl Into<Self::Expr>, )

Object Safety

This trait is not object safe.

Implementors

impl<AB: BaseAirBuilder> RecursionInteractionAirBuilder for AB