Struct snarkvm_algorithms::polycommit::sonic_pc::PreparedVerifierKey

pub struct PreparedVerifierKey<E: PairingEngine> {
    pub prepared_vk: PreparedVerifierKey<E>,
    pub degree_bounds_and_prepared_neg_powers_of_h: Option<Vec<(usize, <E::G2Affine as PairingCurve>::Prepared)>>,
    pub max_degree: usize,
    pub supported_degree: usize,
}

PreparedVerifierKey is used to check evaluation proofs for a given commitment.

Fields

prepared_vk: PreparedVerifierKey<E>

The verification key for the underlying KZG10 scheme.

degree_bounds_and_prepared_neg_powers_of_h: Option<Vec<(usize, <E::G2Affine as PairingCurve>::Prepared)>>

Information required to enforce degree bounds. Each pair is of the form (degree_bound, shifting_advice). This is None if self does not support enforcing any degree bounds.

max_degree: usize

The maximum degree supported by the UniversalParams self was derived from.

supported_degree: usize

The maximum degree supported by the trimmed parameters that self is a part of.

Implementations

impl<E: PairingEngine> PreparedVerifierKey<E>

pub fn get_prepared_shift_power( &self, bound: usize ) -> Option<<E::G2Affine as PairingCurve>::Prepared>

Find the appropriate shift for the degree bound.

Trait Implementations

impl<E: Clone + PairingEngine> Clone for PreparedVerifierKey<E>where E::G2Affine: Clone,

fn clone(&self) -> PreparedVerifierKey<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Debug + PairingEngine> Debug for PreparedVerifierKey<E>where E::G2Affine: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.