Struct ark_gm17::data_structures::VerifyingKey

pub struct VerifyingKey<E: PairingEngine> { /* fields omitted */ }

A verification key in the GM17 SNARK.

Trait Implementations

impl<E: PairingEngine> CanonicalDeserialize for VerifyingKey<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 VerifyingKey<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 VerifyingKey<E> where
    E::G2Affine: Clone,
    E::G1Affine: Clone,
    E::G2Affine: Clone,
    E::G1Affine: Clone,
    E::G2Affine: Clone,
    E::G1Affine: Clone, 

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

fn default() -> Self

Returns the “default value” for a type.

impl<E: Eq + PairingEngine> Eq for VerifyingKey<E> where
    E::G2Affine: Eq,
    E::G1Affine: Eq,
    E::G2Affine: Eq,
    E::G1Affine: Eq,
    E::G2Affine: Eq,
    E::G1Affine: Eq, 

impl<E: PairingEngine> From<PreparedVerifyingKey<E>> for VerifyingKey<E>

fn from(other: PreparedVerifyingKey<E>) -> Self

Performs the conversion.

impl<E: PairingEngine> From<VerifyingKey<E>> for PreparedVerifyingKey<E>

fn from(other: VerifyingKey<E>) -> Self

Performs the conversion.

impl<E: PartialEq + PairingEngine> PartialEq<VerifyingKey<E>> for VerifyingKey<E> where
    E::G2Affine: PartialEq,
    E::G1Affine: PartialEq,
    E::G2Affine: PartialEq,
    E::G1Affine: PartialEq,
    E::G2Affine: PartialEq,
    E::G1Affine: PartialEq, 

fn eq(&self, other: &VerifyingKey<E>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &VerifyingKey<E>) -> bool

This method tests for !=.

impl<E: PairingEngine> StructuralEq for VerifyingKey<E>

impl<E: PairingEngine> StructuralPartialEq for VerifyingKey<E>

impl<E: PairingEngine> ToBytes for VerifyingKey<E>

fn write<W: Write>(&self, writer: W) -> IoResult<()>

Serializes self into writer.