pub struct Proof { /* fields omitted */ }
Expand description
A Proof is a composition of Commitment
s 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.
Performs copy-assignment from source
. Read more
Formats the value using the given formatter. Read more
Attempt to deserialise the value from input.
Attempt to skip the encoded value from input. Read more
Returns the fixed encoded size of the type. Read more
Returns the “default value” for a type. Read more
Convert self to a slice and append it to the destination.
If possible give a hint of expected size of the encoding. Read more
Convert self to an owned vector.
Convert self to a slice and then invoke the given closure with it.
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
The type returned in the event of a conversion error.
Serialize Self
into a [[u8; N]
].
Deserialize a [&[u8; N]
] into Self
, it might be fail.
impl<T> Any for T where
T: 'static + ?Sized,
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
Decode Self
and consume all of the given input data. Read more
Decode Self
and consume all of the given input data. Read more
Decode Self
and advance input
by the number of bytes consumed. Read more
Decode Self
with the given maximum recursion depth. Read more
Deserialize a slice of u8
into Self
Deserialize the type reading the bytes from a reader.
The bytes read are removed from the reader. Read more
impl<T, U> Into<U> for T where
U: From<T>,
Return an encoding of Self
prepended by given slice.
Parse a string slice as bytes hex representation and returns `
The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
🔬 This is a nightly-only experimental API. (toowned_clone_into
)
Uses borrowed data to replace owned data, usually by cloning. Read more
The type returned in the event of a conversion error.
The type returned in the event of a conversion error.