Struct bellperson::groth16::aggregate::TippMippProof [−][src]
pub struct TippMippProof<E: Engine> { pub gipa: GipaProof<E>, pub vkey_opening: KZGOpening<E::G2Affine>, pub wkey_opening: KZGOpening<E::G1Affine>, }
Expand description
It contains the GIPA recursive elements as well as the KZG openings for v and w
Fields
gipa: GipaProof<E>
vkey_opening: KZGOpening<E::G2Affine>
wkey_opening: KZGOpening<E::G1Affine>
Implementations
Trait Implementations
impl<'de, E: Engine> Deserialize<'de> for TippMippProof<E> where
GipaProof<E>: Deserialize<'de>,
E::G2Affine: Deserialize<'de>,
E::G1Affine: Deserialize<'de>,
[src]
impl<'de, E: Engine> Deserialize<'de> for TippMippProof<E> where
GipaProof<E>: Deserialize<'de>,
E::G2Affine: Deserialize<'de>,
E::G1Affine: Deserialize<'de>,
[src]fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations
impl<E> RefUnwindSafe for TippMippProof<E> where
<E as Engine>::Fqk: RefUnwindSafe,
<E as Engine>::G1: RefUnwindSafe,
<E as Engine>::G1Affine: RefUnwindSafe,
<E as Engine>::G2Affine: RefUnwindSafe,
impl<E> Send for TippMippProof<E>
impl<E> Sync for TippMippProof<E>
impl<E> Unpin for TippMippProof<E> where
<E as Engine>::Fqk: Unpin,
<E as Engine>::G1: Unpin,
<E as Engine>::G1Affine: Unpin,
<E as Engine>::G2Affine: Unpin,
impl<E> UnwindSafe for TippMippProof<E> where
<E as Engine>::Fqk: UnwindSafe,
<E as Engine>::G1: UnwindSafe,
<E as Engine>::G1Affine: UnwindSafe,
<E as Engine>::G2Affine: UnwindSafe,