snark_verifier_sdk::halo2

Trait NativeKzgAccumulationScheme

Source 
pub trait NativeKzgAccumulationScheme:
    PolynomialCommitmentScheme<G1Affine, NativeLoader, VerifyingKey = KzgSuccinctVerifyingKey<G1Affine>, Output = KzgAccumulator<G1Affine, NativeLoader>>
    + AccumulationScheme<G1Affine, NativeLoader, Accumulator = KzgAccumulator<G1Affine, NativeLoader>, VerifyingKey = KzgAsVerifyingKey>
    + CostEstimation<G1Affine, Input = Vec<Query<Rotation>>> { }

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§