Struct VerifyingKey

pub struct VerifyingKey<C: CurveAffine> { /* private fields */ }

This is a verifying key which allows for the verification of proofs for a particular circuit.

Implementations

impl<C: SerdeCurveAffine> VerifyingKey<C>

where C::Scalar: SerdePrimeField + FromUniformBytes<64>,

pub fn write<W: Write>(&self, writer: &mut W, format: SerdeFormat) -> Result<()>

Writes a verifying key to a buffer.

Writes a curve element according to format:

• Processed: Writes a compressed curve element with coordinates in standard form. Writes a field element in standard form, with endianness specified by the PrimeField implementation.
• Otherwise: Writes an uncompressed curve element with coordinates in Montgomery form Writes a field element into raw bytes in its internal Montgomery representation, WITHOUT performing the expensive Montgomery reduction.

pub fn read<R: Read, ConcreteCircuit: Circuit<C::Scalar>>( reader: &mut R, format: SerdeFormat, params: ConcreteCircuit::Params, ) -> Result<Self>

Reads a verification key from a buffer.

Reads a curve element from the buffer and parses it according to the format:

• Processed: Reads a compressed curve element and decompresses it. Reads a field element in standard form, with endianness specified by the PrimeField implementation, and checks that the element is less than the modulus.
• RawBytes: Reads an uncompressed curve element with coordinates in Montgomery form. Checks that field elements are less than modulus, and then checks that the point is on the curve.
• RawBytesUnchecked: Reads an uncompressed curve element with coordinates in Montgomery form; does not perform any checks

pub fn to_bytes(&self, format: SerdeFormat) -> Vec<u8>

Writes a verifying key to a vector of bytes using Self::write.

pub fn from_bytes<ConcreteCircuit: Circuit<C::Scalar>>( bytes: &[u8], format: SerdeFormat, params: ConcreteCircuit::Params, ) -> Result<Self>

Reads a verification key from a slice of bytes using Self::read.

impl<C: CurveAffine> VerifyingKey<C>

pub fn hash_into<E: EncodedChallenge<C>, T: Transcript<C, E>>( &self, transcript: &mut T, ) -> Result<()>

Hashes a verification key into a transcript.

pub fn pinned(&self) -> PinnedVerificationKey<'_, C>

Obtains a pinned representation of this verification key that contains the minimal information necessary to reconstruct the verification key.

pub fn fixed_commitments(&self) -> &Vec<C>

Returns commitments of fixed polynomials

pub fn permutation(&self) -> &VerifyingKey<C>

Returns VerifyingKey of permutation

pub fn cs(&self) -> &ConstraintSystem<C::Scalar>

Returns ConstraintSystem

pub fn transcript_repr(&self) -> C::Scalar

Returns representative of this VerifyingKey in transcripts

impl<C: CurveAffine> VerifyingKey<C>

pub fn get_domain(&self) -> &EvaluationDomain<C::Scalar>

Get the underlying EvaluationDomain.

Trait Implementations

impl<C: Clone + CurveAffine> Clone for VerifyingKey<C>

where C::Scalar: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: Debug + CurveAffine> Debug for VerifyingKey<C>

where C::Scalar: Debug,

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

Formats the value using the given formatter.