Trait CudaTracegenAir 

pub trait CudaTracegenAir<F: Field>: MachineAir<F> {
    // Provided methods
    fn supports_device_preprocessed_tracegen(&self) -> bool { ... }
    fn generate_preprocessed_trace_device(
        &self,
        program: &Self::Program,
        scope: &TaskScope,
    ) -> impl Future<Output = Result<Option<DeviceMle<F>>, CopyError>> + Send { ... }
    fn supports_device_main_tracegen(&self) -> bool { ... }
    fn generate_trace_device(
        &self,
        input: &Self::Record,
        output: &mut Self::Record,
        scope: &TaskScope,
    ) -> impl Future<Output = Result<DeviceMle<F>, CopyError>> + Send { ... }
}

An AIR that potentially supports device trace generation over the given field.

Provided Methods

fn supports_device_preprocessed_tracegen(&self) -> bool

Whether this AIR supports preprocessed trace generation on the device.

fn generate_preprocessed_trace_device( &self, program: &Self::Program, scope: &TaskScope, ) -> impl Future<Output = Result<Option<DeviceMle<F>>, CopyError>> + Send

Generate the preprocessed trace on the device.

Panics

Panics if unsupported. See CudaTracegenAir::supports_device_preprocessed_tracegen.

fn supports_device_main_tracegen(&self) -> bool

Whether this AIR supports main trace generation on the device.

fn generate_trace_device( &self, input: &Self::Record, output: &mut Self::Record, scope: &TaskScope, ) -> impl Future<Output = Result<DeviceMle<F>, CopyError>> + Send

Generate the main trace on the device.

Panics

Panics if unsupported. See CudaTracegenAir::supports_device_main_tracegen.

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.

Implementations on Foreign Types

impl CudaTracegenAir<KoalaBear> for RiscvAir<SP1Field>

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, output: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

impl CudaTracegenAir<KoalaBear> for GlobalChip

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, output: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

impl CudaTracegenAir<KoalaBear> for BaseAluChip

fn supports_device_preprocessed_tracegen(&self) -> bool

async fn generate_preprocessed_trace_device( &self, program: &Self::Program, scope: &TaskScope, ) -> Result<Option<DeviceMle<SP1Field>>, CopyError>

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, _: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

impl CudaTracegenAir<KoalaBear> for ExtAluChip

fn supports_device_preprocessed_tracegen(&self) -> bool

async fn generate_preprocessed_trace_device( &self, program: &Self::Program, scope: &TaskScope, ) -> Result<Option<DeviceMle<SP1Field>>, CopyError>

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, _: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

impl CudaTracegenAir<KoalaBear> for ConvertChip

fn supports_device_preprocessed_tracegen(&self) -> bool

async fn generate_preprocessed_trace_device( &self, program: &Self::Program, scope: &TaskScope, ) -> Result<Option<DeviceMle<SP1Field>>, CopyError>

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, _: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

impl CudaTracegenAir<KoalaBear> for Poseidon2LinearLayerChip

fn supports_device_preprocessed_tracegen(&self) -> bool

async fn generate_preprocessed_trace_device( &self, program: &Self::Program, scope: &TaskScope, ) -> Result<Option<DeviceMle<SP1Field>>, CopyError>

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, _: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

impl CudaTracegenAir<KoalaBear> for Poseidon2SBoxChip

fn supports_device_preprocessed_tracegen(&self) -> bool

async fn generate_preprocessed_trace_device( &self, program: &Self::Program, scope: &TaskScope, ) -> Result<Option<DeviceMle<SP1Field>>, CopyError>

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, _: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

impl CudaTracegenAir<KoalaBear> for PrefixSumChecksChip

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, _: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

impl CudaTracegenAir<KoalaBear> for SelectChip

fn supports_device_preprocessed_tracegen(&self) -> bool

async fn generate_preprocessed_trace_device( &self, program: &Self::Program, scope: &TaskScope, ) -> Result<Option<DeviceMle<SP1Field>>, CopyError>

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, _: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

impl<const DEGREE: usize> CudaTracegenAir<KoalaBear> for Poseidon2WideChip<DEGREE>

fn supports_device_preprocessed_tracegen(&self) -> bool

async fn generate_preprocessed_trace_device( &self, program: &Self::Program, scope: &TaskScope, ) -> Result<Option<DeviceMle<SP1Field>>, CopyError>

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, _: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

impl<const DEGREE: usize, const VAR_EVENTS_PER_ROW: usize> CudaTracegenAir<KoalaBear> for RecursionAir<SP1Field, DEGREE, VAR_EVENTS_PER_ROW>

fn supports_device_preprocessed_tracegen(&self) -> bool

async fn generate_preprocessed_trace_device( &self, program: &Self::Program, scope: &TaskScope, ) -> Result<Option<DeviceMle<SP1Field>>, CopyError>

fn supports_device_main_tracegen(&self) -> bool

async fn generate_trace_device( &self, input: &Self::Record, output: &mut Self::Record, scope: &TaskScope, ) -> Result<DeviceMle<SP1Field>, CopyError>

Implementors