Type Definition snarkvm_marlin::snark::VerifyingKey[−][src]

type VerifyingKey<E> = CircuitVerifyingKey<<E as PairingEngine>::Fr, MultiPC<E>>;

Expand description

A circuit-specific verifying key.

Trait Implementations

impl<E: PairingEngine> From<Parameters<E>> for VerifyingKey<E>[src]

fn from(parameters: Parameters<E>) -> Self[src]

Performs the conversion.