Struct ark_poly_commit::kzg10::Proof

pub struct Proof<E: PairingEngine> {
    pub w: E::G1Affine,
    pub random_v: Option<E::Fr>,
}

Proof is an evaluation proof that is output by KZG10::open.

Fields

w: E::G1Affine

This is a commitment to the witness polynomial; see [KZG10] for more details.

random_v: Option<E::Fr>

This is the evaluation of the random polynomial at the point for which the evaluation proof was produced.

Trait Implementations

impl<E: PairingEngine> CanonicalDeserialize for Proof<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 Proof<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 Proof<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 Proof<E>

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the “default value” for a type.

impl<E: PairingEngine> Hash for Proof<E>

fn hash<__HE>(&self, __state: &mut __HE) where
    __HE: Hasher, 

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<E: PairingEngine> PCProof for Proof<E>

fn size_in_bytes(&self) -> usize

Size in bytes

impl<E: PairingEngine> PartialEq<Proof<E>> for Proof<E>

fn eq(&self, other: &Self) -> bool

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

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

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

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

Serializes self into writer.

impl<E: PairingEngine> Copy for Proof<E>

impl<E: PairingEngine> Eq for Proof<E>