Trait TraceGenModule 

pub trait TraceGenModule<GC: GlobalTraceGenCtx, PB: ProverBackend>: Send + Sync {
    type ModuleSpecificCtx<'a>;

    // Required method
    fn generate_proving_ctxs(
        &self,
        child_vk: &GC::ChildVerifyingKey,
        proofs: &GC::MultiProof,
        preflights: &GC::PreflightRecords,
        ctx: &Self::ModuleSpecificCtx<'_>,
        required_heights: Option<&[usize]>,
    ) -> Option<Vec<AirProvingContext<PB>>>;
}

Trait for generating the trace matrices, on device, for a given AIR module. The module has a view of all proofs being verified as well as the global preflight records from each proof.

This function should be expected to be called in parallel, one logical thread per module.

Required Associated Types

type ModuleSpecificCtx<'a>

Required Methods

fn generate_proving_ctxs( &self, child_vk: &GC::ChildVerifyingKey, proofs: &GC::MultiProof, preflights: &GC::PreflightRecords, ctx: &Self::ModuleSpecificCtx<'_>, required_heights: Option<&[usize]>, ) -> Option<Vec<AirProvingContext<PB>>>

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

impl TraceGenModule<GlobalCtxGpu, GenericGpuBackend<BabyBearPoseidon2HashScheme>> for BatchConstraintModule

type ModuleSpecificCtx<'a> = (Option<&'a CachedTraceRecord>, Arc<PowerCheckerCpuTraceGenerator<2, POW_CHECKER_HEIGHT>>, &'a GpuDeviceCtx)

impl TraceGenModule<GlobalCtxGpu, GenericGpuBackend<BabyBearPoseidon2HashScheme>> for GkrModule

type ModuleSpecificCtx<'a> = (&'a ExpBitsLenGpuTraceGenerator, &'a GpuDeviceCtx)

impl TraceGenModule<GlobalCtxGpu, GenericGpuBackend<BabyBearPoseidon2HashScheme>> for ProofShapeModule

type ModuleSpecificCtx<'a> = (Arc<PowerCheckerGpuTraceGenerator<2, POW_CHECKER_HEIGHT>>, &'a [usize], &'a GpuDeviceCtx)

impl TraceGenModule<GlobalCtxGpu, GenericGpuBackend<BabyBearPoseidon2HashScheme>> for StackingModule

type ModuleSpecificCtx<'a> = GpuDeviceCtx

impl TraceGenModule<GlobalCtxGpu, GenericGpuBackend<BabyBearPoseidon2HashScheme>> for TranscriptModule

type ModuleSpecificCtx<'a> = (&'a Vec<[MontyField31<BabyBearParameters>; 16]>, &'a Vec<[MontyField31<BabyBearParameters>; 16]>, &'a GpuDeviceCtx)

impl TraceGenModule<GlobalCtxGpu, GenericGpuBackend<BabyBearPoseidon2HashScheme>> for WhirModule

type ModuleSpecificCtx<'a> = (&'a ExpBitsLenGpuTraceGenerator, &'a GpuDeviceCtx)

impl<SC: StarkProtocolConfig<F = F>> TraceGenModule<GlobalCtxCpu, CpuBackend<SC>> for BatchConstraintModule

type ModuleSpecificCtx<'a> = (Option<&'a CachedTraceRecord>, Arc<PowerCheckerCpuTraceGenerator<2, POW_CHECKER_HEIGHT>>)

impl<SC: StarkProtocolConfig<F = F>> TraceGenModule<GlobalCtxCpu, CpuBackend<SC>> for GkrModule

type ModuleSpecificCtx<'a> = ExpBitsLenCpuTraceGenerator

impl<SC: StarkProtocolConfig<F = F>> TraceGenModule<GlobalCtxCpu, CpuBackend<SC>> for ProofShapeModule

type ModuleSpecificCtx<'a> = (Arc<PowerCheckerCpuTraceGenerator<2, POW_CHECKER_HEIGHT>>, &'a [usize])

impl<SC: StarkProtocolConfig<F = F>> TraceGenModule<GlobalCtxCpu, CpuBackend<SC>> for StackingModule

type ModuleSpecificCtx<'a> = ()

impl<SC: StarkProtocolConfig<F = F>> TraceGenModule<GlobalCtxCpu, CpuBackend<SC>> for TranscriptModule

type ModuleSpecificCtx<'a> = (&'a Vec<[MontyField31<BabyBearParameters>; 16]>, &'a Vec<[MontyField31<BabyBearParameters>; 16]>)

impl<SC: StarkProtocolConfig<F = F>> TraceGenModule<GlobalCtxCpu, CpuBackend<SC>> for WhirModule

type ModuleSpecificCtx<'a> = ExpBitsLenCpuTraceGenerator