Trait sp1_core::air::ProgramAirBuilder

source · 
pub trait ProgramAirBuilder: BaseAirBuilder {
    // Provided methods
    fn send_program(
        &mut self,
        pc: impl Into<Self::Expr>,
        instruction: InstructionCols<impl Into<Self::Expr> + Copy>,
        selectors: OpcodeSelectorCols<impl Into<Self::Expr> + Copy>,
        shard: impl Into<Self::Expr> + Copy,
        multiplicity: impl Into<Self::Expr>,
    ) { ... }
    fn receive_program(
        &mut self,
        pc: impl Into<Self::Expr>,
        instruction: InstructionCols<impl Into<Self::Expr> + Copy>,
        selectors: OpcodeSelectorCols<impl Into<Self::Expr> + Copy>,
        shard: impl Into<Self::Expr> + Copy,
        multiplicity: impl Into<Self::Expr>,
    ) { ... }
}
Expand description

A trait which contains methods related to program interactions in an AIR.

Provided Methods§

source

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

Sends an instruction.

source

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

Receives an instruction.

Object Safety§

This trait is not object safe.

Implementors§