Trait DeferralHookTraceGen 

pub trait DeferralHookTraceGen<PB: ProverBackend, DC: Clone + Send + Sync> {
    // Required methods
    fn new() -> Self;
    fn pre_verifier_subcircuit_tracegen(
        &self,
        proof: &Proof<SC>,
        leaf_children: Vec<DeferralIoCommit<PB::Val>>,
        device_ctx: &DC,
    ) -> DeferralHookPreCtx<PB>;
}

Required Methods

fn new() -> Self

fn pre_verifier_subcircuit_tracegen( &self, proof: &Proof<SC>, leaf_children: Vec<DeferralIoCommit<PB::Val>>, device_ctx: &DC, ) -> DeferralHookPreCtx<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 DeferralHookTraceGen<CpuBackend<BabyBearPoseidon2Config>, ()> for DeferralHookTraceGenImpl

impl DeferralHookTraceGen<GenericGpuBackend<BabyBearPoseidon2HashScheme>, GpuDeviceCtx> for DeferralHookTraceGenImpl

Available on crate feature cuda only.