pub struct Proof<P: Pairing> {
pub commitment_to_witness: Commitment<P::G1Affine>,
pub evaluated_point: P::ScalarField,
pub commitment_to_polynomial: Commitment<P::G1Affine>,
}
Expand description
Proof that a polynomial p
was correctly evaluated at a point z
producing the evaluated point p(z).
Fields§
§commitment_to_witness: Commitment<P::G1Affine>
This is a commitment to the witness polynomial.
evaluated_point: P::ScalarField
This is the result of evaluating a polynomial at the point z
.
commitment_to_polynomial: Commitment<P::G1Affine>
This is the commitment to the polynomial that you want to prove a statement about.
Trait Implementations§
Source§impl<P: Pairing> Decode for Proof<P>
impl<P: Pairing> Decode for Proof<P>
Source§impl<P: Pairing> Encode for Proof<P>
impl<P: Pairing> Encode for Proof<P>
Source§fn encode_to<__CodecOutputEdqy: Output + ?Sized>(
&self,
__codec_dest_edqy: &mut __CodecOutputEdqy,
)
fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy, )
Convert self to a slice and append it to the destination.
Source§fn size_hint(&self) -> usize
fn size_hint(&self) -> usize
If possible give a hint of expected size of the encoding. Read more
Source§fn using_encoded<R, F>(&self, f: F) -> R
fn using_encoded<R, F>(&self, f: F) -> R
Convert self to a slice and then invoke the given closure with it.
Source§fn encoded_size(&self) -> usize
fn encoded_size(&self) -> usize
Calculates the encoded size. Read more
impl<P: Pairing> EncodeLike for Proof<P>
Auto Trait Implementations§
impl<P> Freeze for Proof<P>
impl<P> RefUnwindSafe for Proof<P>
impl<P> Send for Proof<P>
impl<P> Sync for Proof<P>
impl<P> Unpin for Proof<P>
impl<P> UnwindSafe for Proof<P>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> DecodeLimit for Twhere
T: Decode,
impl<T> DecodeLimit for Twhere
T: Decode,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more