Struct ark_poly_commit::multilinear_pc::data_structures::VerifierKey

pub struct VerifierKey<E: PairingEngine> {
    pub nv: usize,
    pub g: E::G1Affine,
    pub h: E::G2Affine,
    pub g_mask_random: Vec<E::G1Affine>,
}

Public Parameter used by prover

Fields

nv: usize

number of variables

g: E::G1Affine

generator of G1

h: E::G2Affine

generator of G2

g_mask_random: Vec<E::G1Affine>

g^t1, g^t2, …

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: Clone + PairingEngine> Clone for VerifierKey<E> where
    E::G1Affine: Clone,
    E::G2Affine: Clone,
    E::G1Affine: Clone, 

fn clone(&self) -> VerifierKey<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 VerifierKey<E> where
    E::G1Affine: Debug,
    E::G2Affine: Debug,
    E::G1Affine: Debug, 

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

Formats the value using the given formatter.