Trait ark_poly_commit::data_structures::PCPreparedVerifierKey

pub trait PCPreparedVerifierKey<Unprepared: PCVerifierKey> {
    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: PairingEngine> PCPreparedVerifierKey<VerifierKey<E>> for ark_poly_commit::marlin::marlin_pc::PreparedVerifierKey<E>

fn prepare(vk: &VerifierKey<E>) -> Self

prepare PreparedVerifierKey from VerifierKey

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

fn prepare(vk: &VerifierKey<E>) -> Self

prepare PreparedVerifierKey from VerifierKey

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

fn prepare(vk: &VerifierKey<E>) -> Self

prepare PreparedVerifierKey from VerifierKey

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

fn prepare(vk: &VerifierKey<G>) -> Self

prepare PreparedVerifierKey from VerifierKey