Trait ark_poly_commit::data_structures::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

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>