Skip to main content

MachineAirBuilder

sp1_hypercube::air

Trait MachineAirBuilder 

Source 
pub trait MachineAirBuilder:
    BaseAirBuilder
    + ExtensionAirBuilder
    + SepticExtensionAirBuilder
    + AirBuilderWithPublicValues {
    // Provided method
    fn extract_public_values(
        &self,
    ) -> PublicValues<[Self::PublicVar; 4], [Self::PublicVar; 3], [Self::PublicVar; 4], Self::PublicVar> { ... }
}
Expand description

A trait that contains the common helper methods for building SP1 recursion and SP1 machine AIRs.

Provided Methods§

Source

fn extract_public_values( &self, ) -> PublicValues<[Self::PublicVar; 4], [Self::PublicVar; 3], [Self::PublicVar; 4], Self::PublicVar>

Extract public values from the air builder and convert them to the proper type. This is commonly used throughout the codebase to access public values in AIR implementations.

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§