Struct Proof

pub struct Proof<E: Pairing> {
    pub wires_poly_comms: Vec<Commitment<E>>,
    pub prod_perm_poly_comm: Commitment<E>,
    pub split_quot_poly_comms: Vec<Commitment<E>>,
    pub opening_proof: Commitment<E>,
    pub shifted_opening_proof: Commitment<E>,
    pub poly_evals: ProofEvaluations<E::ScalarField>,
    pub plookup_proof: Option<PlookupProof<E>>,
}

A Plonk SNARK proof.

Fields

wires_poly_comms: Vec<Commitment<E>>

Wire witness polynomials commitments.

prod_perm_poly_comm: Commitment<E>

The polynomial commitment for the wire permutation argument.

split_quot_poly_comms: Vec<Commitment<E>>

Split quotient polynomial commitments.

opening_proof: Commitment<E>

(Aggregated) proof of evaluations at challenge point zeta.

shifted_opening_proof: Commitment<E>

(Aggregated) proof of evaluation at challenge point zeta * g where g is the root of unity.

poly_evals: ProofEvaluations<E::ScalarField>

Polynomial evaluations.

plookup_proof: Option<PlookupProof<E>>

The partial proof for Plookup argument

Trait Implementations

impl<E: Pairing> CanonicalDeserialize for Proof<E>

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate, ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.

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

where R: Read,

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

where R: Read,

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

where R: Read,

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

where R: Read,

impl<E: Pairing> CanonicalSerialize for Proof<E>

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.

fn serialized_size(&self, compress: Compress) -> usize

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

where W: Write,

fn compressed_size(&self) -> usize

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

where W: Write,

fn uncompressed_size(&self) -> usize

impl<E: Clone + Pairing> Clone for Proof<E>

where E::ScalarField: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug + Pairing> Debug for Proof<E>

where E::ScalarField: Debug,

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

Formats the value using the given formatter.

impl<'de, E: Pairing> Deserialize<'de> for Proof<E>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<E: Pairing> Display for Proof<E>

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

Formats the value using the given formatter.

impl<E: Pairing> From<&Proof<E>> for TaggedBase64

fn from(x: &Proof<E>) -> Self

Converts to this type from the input type.

impl<E: Pairing> From<Proof<E>> for BatchProof<E>

fn from(proof: Proof<E>) -> Self

Converts to this type from the input type.

impl<E: Pairing> From<Proof<E>> for TaggedBase64

fn from(x: Proof<E>) -> Self

Converts to this type from the input type.

impl<E, P> From<Proof<E>> for Vec<E::BaseField>

where E: Pairing<G1Affine = Affine<P>>, P: SWCurveConfig<BaseField = E::BaseField, ScalarField = E::ScalarField>,

fn from(proof: Proof<E>) -> Self

Converts to this type from the input type.

impl<E: Pairing> FromStr for Proof<E>

type Err = Tb64Error

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl<E> Hash for Proof<E>

where E: Pairing,

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<E> PartialEq for Proof<E>

where E: PartialEq + Pairing,

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<E: Pairing> Serialize for Proof<E>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<E: Pairing> Tagged for Proof<E>

fn tag() -> String

impl<E: Pairing> TryFrom<&TaggedBase64> for Proof<E>

type Error = Tb64Error

The type returned in the event of a conversion error.

fn try_from(t: &TaggedBase64) -> Result<Self, Self::Error>

Performs the conversion.

impl<E: Pairing> TryFrom<TaggedBase64> for Proof<E>

type Error = Tb64Error

The type returned in the event of a conversion error.

fn try_from(t: TaggedBase64) -> Result<Self, Self::Error>

Performs the conversion.

impl<E, P> TryFrom<Vec<<E as Pairing>::BaseField>> for Proof<E>

where E: Pairing<G1Affine = Affine<P>>, P: SWCurveConfig<BaseField = E::BaseField, ScalarField = E::ScalarField>,

type Error = SnarkError

The type returned in the event of a conversion error.

fn try_from(value: Vec<E::BaseField>) -> Result<Self, Self::Error>

Performs the conversion.

impl<E: Pairing> Valid for Proof<E>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl<E: Eq + Pairing> Eq for Proof<E>

where E::ScalarField: Eq,