Trait DeferralInnerTraceGen 

pub trait DeferralInnerTraceGen<PB: ProverBackend, DC: Clone + Send + Sync> {
    // Required methods
    fn new() -> Self;
    fn pre_verifier_subcircuit_tracegen(
        &self,
        proofs: &[Proof<BabyBearPoseidon2Config>],
        child_is_agg: bool,
        child_vk_commit: VkCommit<F>,
        child_merkle_depth: Option<usize>,
        device_ctx: &DC,
    ) -> DeferralInnerPreCtx<PB>;
}

Required Methods

fn new() -> Self

fn pre_verifier_subcircuit_tracegen( &self, proofs: &[Proof<BabyBearPoseidon2Config>], child_is_agg: bool, child_vk_commit: VkCommit<F>, child_merkle_depth: Option<usize>, device_ctx: &DC, ) -> DeferralInnerPreCtx<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 DeferralInnerTraceGen<CpuBackend<BabyBearPoseidon2Config>, ()> for DeferralInnerTraceGenImpl

impl DeferralInnerTraceGen<GenericGpuBackend<BabyBearPoseidon2HashScheme>, GpuDeviceCtx> for DeferralInnerTraceGenImpl

Available on crate feature cuda only.