Struct ark_poly_commit::marlin::marlin_pc::PreparedVerifierKey

pub struct PreparedVerifierKey<E: Pairing> {
    pub prepared_vk: PreparedVerifierKey<E>,
    pub prepared_degree_bounds_and_shift_powers: Option<Vec<(usize, Vec<E::G1Affine>)>>,
    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.

prepared_degree_bounds_and_shift_powers: Option<Vec<(usize, Vec<E::G1Affine>)>>

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.

Trait Implementations

impl<E: Pairing> Clone for PreparedVerifierKey<E>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Pairing> Debug for PreparedVerifierKey<E>

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

Formats the value using the given formatter.

impl<E: Pairing> PCPreparedVerifierKey<VerifierKey<E>> for PreparedVerifierKey<E>

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

prepare PreparedVerifierKey from VerifierKey