Trait PCPreparedVerifierKey

pub trait PCPreparedVerifierKey<Unprepared: PCVerifierKey> {
    // Required method
    fn prepare(vk: &Unprepared) -> Self;
}

Defines the minimal interface of prepared verifier keys for any polynomial commitment scheme.

Required Methods

fn prepare(vk: &Unprepared) -> Self

prepare

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<E: Pairing> PCPreparedVerifierKey<VerifierKey<E>> for ark_poly_commit::marlin::marlin_pc::PreparedVerifierKey<E>

impl<E: Pairing> PCPreparedVerifierKey<VerifierKey<E>> for ark_poly_commit::marlin::marlin_pst13_pc::PreparedVerifierKey<E>

impl<E: Pairing> PCPreparedVerifierKey<VerifierKey<E>> for ark_poly_commit::sonic_pc::PreparedVerifierKey<E>

impl<G: AffineRepr> PCPreparedVerifierKey<CommitterKey<G>> for ark_poly_commit::ipa_pc::PreparedVerifierKey<G>