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
Auto Trait Implementations
impl<E> RefUnwindSafe for VerifierSRS<E> where
<E as Engine>::G1: RefUnwindSafe,
<E as Engine>::G2: RefUnwindSafe,
impl<E> Send for VerifierSRS<E>
impl<E> Sync for VerifierSRS<E>
impl<E> UnwindSafe for VerifierSRS<E> where
<E as Engine>::G1: UnwindSafe,
<E as Engine>::G2: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = T
Should always be Self
pub fn vzip(self) -> V