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".

Implementors§