Skip to main content

ByteAirBuilder

sp1_hypercube::air

Trait 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>,
        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>,
        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>, multiplicity: impl Into<Self::Expr>, )

Sends a byte operation 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>, multiplicity: impl Into<Self::Expr>, )

Receives a byte operation to be processed.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§