Trait Alias Halo2KzgAccumulationScheme

trait Halo2KzgAccumulationScheme<'a> = PolynomialCommitmentScheme<G1Affine, Rc<Halo2Loader<'a>>, VerifyingKey = Svk, Output = KzgAccumulator<G1Affine, Rc<Halo2Loader<'a>>>>
    + AccumulationScheme<G1Affine, Rc<Halo2Loader<'a>>, Accumulator = KzgAccumulator<G1Affine, Rc<Halo2Loader<'a>>>, VerifyingKey = KzgAsVerifyingKey>
    + PolynomialCommitmentScheme<G1Affine, NativeLoader, VerifyingKey = Svk, Output = KzgAccumulator<G1Affine, NativeLoader>>
    + AccumulationScheme<G1Affine, NativeLoader, Accumulator = KzgAccumulator<G1Affine, NativeLoader>, VerifyingKey = KzgAsVerifyingKey>
    + AccumulationSchemeProver<G1Affine, ProvingKey = KzgAsProvingKey<G1Affine>>;