Struct ark_poly_commit::sonic_pc::VerifierKey

pub struct VerifierKey<E: PairingEngine> {
    pub g: E::G1Affine,
    pub gamma_g: E::G1Affine,
    pub h: E::G2Affine,
    pub beta_h: E::G2Affine,
    pub prepared_h: E::G2Prepared,
    pub prepared_beta_h: E::G2Prepared,
    pub degree_bounds_and_neg_powers_of_h: Option<Vec<(usize, E::G2Affine)>>,
    pub supported_degree: usize,
    pub max_degree: usize,
}

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

Fields

g: E::G1Affine

The generator of G1.

gamma_g: E::G1Affine

The generator of G1 that is used for making a commitment hiding.

h: E::G2Affine

The generator of G2.

beta_h: E::G2Affine

\beta times the generator of G2.

prepared_h: E::G2Prepared

The generator of G2, prepared for use in pairings.

prepared_beta_h: E::G2Prepared

The \beta times the generator of G2, prepared for use in pairings.

degree_bounds_and_neg_powers_of_h: Option<Vec<(usize, E::G2Affine)>>

Pairs a degree_bound with its corresponding G2 element, which has been prepared for use in pairings. Each pair is in the form (degree_bound, \beta^{degree_bound - max_degree} h), where h is the generator of G2 above

supported_degree: usize

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

max_degree: usize

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

Implementations

impl<E: PairingEngine> VerifierKey<E>

pub fn get_shift_power(&self, degree_bound: usize) -> Option<E::G2Prepared>

Find the appropriate shift for the degree bound.

Trait Implementations

impl<E: PairingEngine> CanonicalDeserialize for VerifierKey<E>

fn deserialize<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads Self from reader.

fn deserialize_uncompressed<R: Read>(
    reader: R
) -> Result<Self, SerializationError>

Reads Self from reader without compression.

fn deserialize_unchecked<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads self from reader without compression, and without performing validity checks. Should be used only when the input is trusted.

impl<E: PairingEngine> CanonicalSerialize for VerifierKey<E>

fn serialize<W: Write>(&self, writer: W) -> Result<(), SerializationError>

Serializes self into writer. It is left up to a particular type for how it strikes the serialization efficiency vs compression tradeoff. For standard types (e.g. bool, lengths, etc.) typically an uncompressed form is used, whereas for algebraic types compressed forms are used.

fn serialized_size(&self) -> usize

fn serialize_uncompressed<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression.

fn serialize_unchecked<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression, and without performing validity checks. Should be used only when there is no danger of adversarial manipulation of the output.

fn uncompressed_size(&self) -> usize

impl<E: PairingEngine> Clone for VerifierKey<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: PairingEngine> Debug for VerifierKey<E>

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

Formats the value using the given formatter.

impl<E: PairingEngine> Default for VerifierKey<E>

fn default() -> Self

Returns the “default value” for a type.

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

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

prepare PreparedVerifierKey from VerifierKey

impl<E: PairingEngine> PCVerifierKey for VerifierKey<E>

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.