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

Implementations on Foreign Types

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 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 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 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 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 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 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, 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>

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>

Implementors