Trait snarkvm_wasm::PCVerifierKey

pub trait PCVerifierKey: CanonicalSerialize + CanonicalDeserialize + Clone + Debug {
    fn max_degree(&self) -> usize;
    fn supported_degree(&self) -> usize;
}

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

Required methods

fn max_degree(&self) -> usize

Outputs the maximum degree supported by the universal parameters Self was derived from.

fn supported_degree(&self) -> usize

Outputs the maximum degree supported by the verifier key.

Implementors

impl<E> PCVerifierKey for snarkvm_wasm::marlin_pc::VerifierKey<E> where
    E: PairingEngine, 

impl<E> PCVerifierKey for snarkvm_wasm::sonic_pc::VerifierKey<E> where
    E: PairingEngine,