Type Definition snarkvm_marlin::snark::ProvingKey[][src]

type ProvingKey<E> = CircuitProvingKey<<E as PairingEngine>::Fr, MultiPC<E>>;
Expand description

A circuit-specific proving key.