Struct Proof 

pub struct Proof { /* private fields */ }

A Proof is a composition of Commitments to the Witness, Permutation, Quotient, Shifted and Opening polynomials as well as the ProofEvaluations.

It’s main goal is to allow the Verifier to formally verify that the secret witnesses used to generate the Proof satisfy a circuit that both Prover and Verifier have in common succintly and without any capabilities of adquiring any kind of knowledge about the witness used to construct the Proof.

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Proof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Proof

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

Formats the value using the given formatter.

impl Decode for Proof

fn decode<__CodecInputEdqy: Input>( __codec_input_edqy: &mut __CodecInputEdqy, ) -> Result<Self, Error>

Attempt to deserialise the value from input.

fn skip<I>(input: &mut I) -> Result<(), Error>

where I: Input,

Attempt to skip the encoded value from input.

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type.

impl Default for Proof

fn default() -> Proof

Returns the “default value” for a type.

impl Encode for Proof

fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy, )

Convert self to a slice and append it to the destination.

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding.

fn encode(&self) -> Vec<u8>

Convert self to an owned vector.

fn using_encoded<R, F>(&self, f: F) -> R

where F: FnOnce(&[u8]) -> R,

Convert self to a slice and then invoke the given closure with it.

fn encoded_size(&self) -> usize

Calculates the encoded size.

impl PartialEq for Proof

fn eq(&self, other: &Proof) -> 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 Serializable<{ 15 * Commitment::SIZE + ProofEvaluations::SIZE }> for Proof

type Error = Error

The type returned in the event of a conversion error.

fn to_bytes(&self) -> [u8; 1488]

Serialize Self into a [[u8; N]].

fn from_bytes(buf: &[u8; 1488]) -> Result<Self, Self::Error>

Deserialize a [&[u8; N]] into Self, it might be fail.

const SIZE: usize = N

The size of

impl EncodeLike for Proof

impl Eq for Proof

impl StructuralPartialEq for Proof