Struct ark_poly_commit::streaming_kzg::EvaluationProof
source · pub struct EvaluationProof<E: Pairing>(pub E::G1Affine);
Expand description
Polynomial evaluation proof, represented as a single \(\GG_1\) element.
Tuple Fields§
§0: E::G1Affine
Trait Implementations§
source§impl<E: Pairing> Add<EvaluationProof<E>> for EvaluationProof<E>
impl<E: Pairing> Add<EvaluationProof<E>> for EvaluationProof<E>
source§impl<E: Clone + Pairing> Clone for EvaluationProof<E>where
E::G1Affine: Clone,
impl<E: Clone + Pairing> Clone for EvaluationProof<E>where E::G1Affine: Clone,
source§fn clone(&self) -> EvaluationProof<E>
fn clone(&self) -> EvaluationProof<E>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<E: PartialEq + Pairing> PartialEq<EvaluationProof<E>> for EvaluationProof<E>where
E::G1Affine: PartialEq,
impl<E: PartialEq + Pairing> PartialEq<EvaluationProof<E>> for EvaluationProof<E>where E::G1Affine: PartialEq,
source§fn eq(&self, other: &EvaluationProof<E>) -> bool
fn eq(&self, other: &EvaluationProof<E>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl<E: Pairing> Sum<EvaluationProof<E>> for EvaluationProof<E>
impl<E: Pairing> Sum<EvaluationProof<E>> for EvaluationProof<E>
impl<E: Eq + Pairing> Eq for EvaluationProof<E>where E::G1Affine: Eq,
impl<E: Pairing> StructuralEq for EvaluationProof<E>
impl<E: Pairing> StructuralPartialEq for EvaluationProof<E>
Auto Trait Implementations§
impl<E> RefUnwindSafe for EvaluationProof<E>where <E as Pairing>::G1Affine: RefUnwindSafe,
impl<E> Send for EvaluationProof<E>
impl<E> Sync for EvaluationProof<E>
impl<E> Unpin for EvaluationProof<E>where <E as Pairing>::G1Affine: Unpin,
impl<E> UnwindSafe for EvaluationProof<E>where <E as Pairing>::G1Affine: UnwindSafe,
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
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more