Struct bellperson::groth16::aggregate::VerifierSRS [−][src]
pub struct VerifierSRS<E: Engine> { pub n: usize, pub g: E::G1, pub h: E::G2, pub g_alpha: E::G1, pub g_beta: E::G1, pub h_alpha: E::G2, pub h_beta: E::G2, }
Expand description
Contains the necessary elements to verify an aggregated Groth16 proof; it is of fixed size regardless of the number of proofs aggregated. However, a verifier SRS will be determined by the number of proofs being aggregated.
Fields
n: usize
g: E::G1
h: E::G2
g_alpha: E::G1
g_beta: E::G1
h_alpha: E::G2
h_beta: E::G2
Trait Implementations
impl<E: Clone + Engine> Clone for VerifierSRS<E> where
E::G1: Clone,
E::G2: Clone,
E::G1: Clone,
E::G1: Clone,
E::G2: Clone,
E::G2: Clone,
[src]
impl<E: Clone + Engine> Clone for VerifierSRS<E> where
E::G1: Clone,
E::G2: Clone,
E::G1: Clone,
E::G1: Clone,
E::G2: Clone,
E::G2: Clone,
[src]fn clone(&self) -> VerifierSRS<E>
[src]
fn clone(&self) -> VerifierSRS<E>
[src]Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]Performs copy-assignment from source
. Read more
Auto Trait Implementations
impl<E> RefUnwindSafe for VerifierSRS<E> where
<E as Engine>::G1: RefUnwindSafe,
<E as Engine>::G2: RefUnwindSafe,
<E as Engine>::G1: RefUnwindSafe,
<E as Engine>::G2: RefUnwindSafe,
impl<E> Send for VerifierSRS<E>
impl<E> Sync for VerifierSRS<E>
impl<E> Unpin for VerifierSRS<E> where
<E as Engine>::G1: Unpin,
<E as Engine>::G2: Unpin,
<E as Engine>::G1: Unpin,
<E as Engine>::G2: Unpin,
impl<E> UnwindSafe for VerifierSRS<E> where
<E as Engine>::G1: UnwindSafe,
<E as Engine>::G2: UnwindSafe,
<E as Engine>::G1: UnwindSafe,
<E as Engine>::G2: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Same<T> for T
impl<T> Same<T> for T
type Output = T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,