Struct bellperson::groth16::aggregate::TippMippProof

pub struct TippMippProof<E: Engine> {
    pub gipa: GipaProof<E>,
    pub vkey_opening: KZGOpening<E::G2Affine>,
    pub wkey_opening: KZGOpening<E::G1Affine>,
}

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

impl<E: Engine> TippMippProof<E>

pub fn write(&self, out: impl Write) -> Result<()>

Writes the proof into the provided buffer.

Trait Implementations

impl<E: Debug + Engine> Debug for TippMippProof<E> where
    E::G2Affine: Debug,
    E::G1Affine: Debug, 

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, E: Engine> Deserialize<'de> for TippMippProof<E> where
    GipaProof<E>: Deserialize<'de>,
    E::G2Affine: Deserialize<'de>,
    E::G1Affine: Deserialize<'de>, 

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<E: Engine> PartialEq<TippMippProof<E>> for TippMippProof<E>

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<E: Engine> Serialize for TippMippProof<E> where
    GipaProof<E>: Serialize,
    E::G2Affine: Serialize,
    E::G1Affine: Serialize, 

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.