Trait sp1_core::air::ByteAirBuilder

source · 
pub trait ByteAirBuilder: BaseAirBuilder {
    // Provided methods
    fn send_byte(
        &mut self,
        opcode: impl Into<Self::Expr>,
        a: impl Into<Self::Expr>,
        b: impl Into<Self::Expr>,
        c: impl Into<Self::Expr>,
        shard: impl Into<Self::Expr>,
        channel: impl Into<Self::Expr>,
        multiplicity: impl Into<Self::Expr>,
    ) { ... }
    fn send_byte_pair(
        &mut self,
        opcode: impl Into<Self::Expr>,
        a1: impl Into<Self::Expr>,
        a2: impl Into<Self::Expr>,
        b: impl Into<Self::Expr>,
        c: impl Into<Self::Expr>,
        shard: impl Into<Self::Expr>,
        channel: impl Into<Self::Expr>,
        multiplicity: impl Into<Self::Expr>,
    ) { ... }
    fn receive_byte(
        &mut self,
        opcode: impl Into<Self::Expr>,
        a: impl Into<Self::Expr>,
        b: impl Into<Self::Expr>,
        c: impl Into<Self::Expr>,
        shard: impl Into<Self::Expr>,
        channel: impl Into<Self::Expr>,
        multiplicity: impl Into<Self::Expr>,
    ) { ... }
    fn receive_byte_pair(
        &mut self,
        opcode: impl Into<Self::Expr>,
        a1: impl Into<Self::Expr>,
        a2: impl Into<Self::Expr>,
        b: impl Into<Self::Expr>,
        c: impl Into<Self::Expr>,
        shard: impl Into<Self::Expr>,
        channel: impl Into<Self::Expr>,
        multiplicity: impl Into<Self::Expr>,
    ) { ... }
}
Expand description

A trait which contains methods for byte interactions in an AIR.

Provided Methods§

source

fn send_byte( &mut self, opcode: impl Into<Self::Expr>, a: impl Into<Self::Expr>, b: impl Into<Self::Expr>, c: impl Into<Self::Expr>, shard: impl Into<Self::Expr>, channel: impl Into<Self::Expr>, multiplicity: impl Into<Self::Expr>, )

Sends a byte operation to be processed.

source

fn send_byte_pair( &mut self, opcode: impl Into<Self::Expr>, a1: impl Into<Self::Expr>, a2: impl Into<Self::Expr>, b: impl Into<Self::Expr>, c: impl Into<Self::Expr>, shard: impl Into<Self::Expr>, channel: impl Into<Self::Expr>, multiplicity: impl Into<Self::Expr>, )

Sends a byte operation with two outputs to be processed.

source

fn receive_byte( &mut self, opcode: impl Into<Self::Expr>, a: impl Into<Self::Expr>, b: impl Into<Self::Expr>, c: impl Into<Self::Expr>, shard: impl Into<Self::Expr>, channel: impl Into<Self::Expr>, multiplicity: impl Into<Self::Expr>, )

Receives a byte operation to be processed.

source

fn receive_byte_pair( &mut self, opcode: impl Into<Self::Expr>, a1: impl Into<Self::Expr>, a2: impl Into<Self::Expr>, b: impl Into<Self::Expr>, c: impl Into<Self::Expr>, shard: impl Into<Self::Expr>, channel: impl Into<Self::Expr>, multiplicity: impl Into<Self::Expr>, )

Receives a byte operation with two outputs to be processed.

Object Safety§

This trait is not object safe.

Implementors§