Enum StatementProof 

pub enum StatementProof<E: Pairing> {
    PoKBBSSignatureG1(PoKOfSignatureG1Proof<E>),
    VBAccumulatorMembership(MembershipProof<E>),
    VBAccumulatorNonMembership(NonMembershipProof<E>),
    PedersenCommitment(PedersenCommitmentProof<E::G1Affine>),
    Saver(SaverProof<E>),
    BoundCheckLegoGroth16(BoundCheckLegoGroth16Proof<E>),
    R1CSLegoGroth16(R1CSLegoGroth16Proof<E>),
    SaverWithAggregation(SaverProofWhenAggregatingSnarks<E>),
    BoundCheckLegoGroth16WithAggregation(BoundCheckLegoGroth16ProofWhenAggregatingSnarks<E>),
    R1CSLegoGroth16WithAggregation(R1CSLegoGroth16ProofWhenAggregatingSnarks<E>),
    PoKPSSignature(SignaturePoK<E>),
    PoKBBSSignature23G1(PoKOfSignature23G1Proof<E>),
    BoundCheckBpp(BoundCheckBppProof<E::G1Affine>),
    BoundCheckSmc(BoundCheckSmcProof<E>),
    BoundCheckSmcWithKV(BoundCheckSmcWithKVProof<E::G1Affine>),
    Inequality(InequalityProof<E::G1Affine>),
    DetachedAccumulatorMembership(DetachedAccumulatorMembershipProof<E>),
    DetachedAccumulatorNonMembership(DetachedAccumulatorNonMembershipProof<E>),
    KBUniversalAccumulatorMembership(KBUniversalAccumulatorMembershipProof<E>),
    KBUniversalAccumulatorNonMembership(KBUniversalAccumulatorNonMembershipProof<E>),
    VBAccumulatorMembershipCDH(MembershipProof<E>),
    VBAccumulatorNonMembershipCDH(NonMembershipProof<E>),
    KBUniversalAccumulatorMembershipCDH(KBUniversalAccumulatorMembershipProof<E>),
    KBUniversalAccumulatorNonMembershipCDH(KBUniversalAccumulatorNonMembershipProof<E>),
    KBPositiveAccumulatorMembership(KBPositiveAccumulatorMembershipProof<E>),
    KBPositiveAccumulatorMembershipCDH(KBPositiveAccumulatorMembershipProof<E>),
    PoKOfBBDT16MAC(PoKOfMAC<E::G1Affine>),
    PedersenCommitmentG2(PedersenCommitmentProof<E::G2Affine>),
    VBAccumulatorMembershipKV(MembershipProof<E::G1Affine>),
    KBUniversalAccumulatorMembershipKV(KBUniversalAccumulatorMembershipProof<E::G1Affine>),
    KBUniversalAccumulatorNonMembershipKV(KBUniversalAccumulatorNonMembershipProof<E::G1Affine>),
    PoKBBSSignature23IETFG1(PoKOfSignature23G1Proof<E>),
    PedersenCommitmentPartial(PedersenCommitmentPartialProof<E::G1Affine>),
    PedersenCommitmentG2Partial(PedersenCommitmentPartialProof<E::G2Affine>),
    VeTZ21(VeTZ21Proof<E::G1Affine>),
    VeTZ21Robust(VeTZ21RobustProof<E::G1Affine>),
}

Proof corresponding to one Statement

Variants

PoKBBSSignatureG1(PoKOfSignatureG1Proof<E>)

VBAccumulatorMembership(MembershipProof<E>)

VBAccumulatorNonMembership(NonMembershipProof<E>)

PedersenCommitment(PedersenCommitmentProof<E::G1Affine>)

Saver(SaverProof<E>)

BoundCheckLegoGroth16(BoundCheckLegoGroth16Proof<E>)

R1CSLegoGroth16(R1CSLegoGroth16Proof<E>)

SaverWithAggregation(SaverProofWhenAggregatingSnarks<E>)

BoundCheckLegoGroth16WithAggregation(BoundCheckLegoGroth16ProofWhenAggregatingSnarks<E>)

R1CSLegoGroth16WithAggregation(R1CSLegoGroth16ProofWhenAggregatingSnarks<E>)

PoKPSSignature(SignaturePoK<E>)

PoKBBSSignature23G1(PoKOfSignature23G1Proof<E>)

BoundCheckBpp(BoundCheckBppProof<E::G1Affine>)

BoundCheckSmc(BoundCheckSmcProof<E>)

BoundCheckSmcWithKV(BoundCheckSmcWithKVProof<E::G1Affine>)

Inequality(InequalityProof<E::G1Affine>)

DetachedAccumulatorMembership(DetachedAccumulatorMembershipProof<E>)

DetachedAccumulatorNonMembership(DetachedAccumulatorNonMembershipProof<E>)

KBUniversalAccumulatorMembership(KBUniversalAccumulatorMembershipProof<E>)

KBUniversalAccumulatorNonMembership(KBUniversalAccumulatorNonMembershipProof<E>)

VBAccumulatorMembershipCDH(MembershipProof<E>)

VBAccumulatorNonMembershipCDH(NonMembershipProof<E>)

KBUniversalAccumulatorMembershipCDH(KBUniversalAccumulatorMembershipProof<E>)

KBUniversalAccumulatorNonMembershipCDH(KBUniversalAccumulatorNonMembershipProof<E>)

KBPositiveAccumulatorMembership(KBPositiveAccumulatorMembershipProof<E>)

KBPositiveAccumulatorMembershipCDH(KBPositiveAccumulatorMembershipProof<E>)

PoKOfBBDT16MAC(PoKOfMAC<E::G1Affine>)

PedersenCommitmentG2(PedersenCommitmentProof<E::G2Affine>)

VBAccumulatorMembershipKV(MembershipProof<E::G1Affine>)

KBUniversalAccumulatorMembershipKV(KBUniversalAccumulatorMembershipProof<E::G1Affine>)

KBUniversalAccumulatorNonMembershipKV(KBUniversalAccumulatorNonMembershipProof<E::G1Affine>)

PoKBBSSignature23IETFG1(PoKOfSignature23G1Proof<E>)

PedersenCommitmentPartial(PedersenCommitmentPartialProof<E::G1Affine>)

PedersenCommitmentG2Partial(PedersenCommitmentPartialProof<E::G2Affine>)

VeTZ21(VeTZ21Proof<E::G1Affine>)

VeTZ21Robust(VeTZ21RobustProof<E::G1Affine>)

Trait Implementations

impl<E: Pairing> CanonicalDeserialize for StatementProof<E>

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate, ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_compressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_uncompressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

impl<E: Pairing> CanonicalSerialize for StatementProof<E>

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.

fn serialized_size(&self, compress: Compress) -> usize

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

fn compressed_size(&self) -> usize

fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

fn uncompressed_size(&self) -> usize

impl<E: Clone + Pairing> Clone for StatementProof<E>

where E::G1Affine: Clone, E::G2Affine: Clone,

fn clone(&self) -> StatementProof<E>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Debug + Pairing> Debug for StatementProof<E>

where E::G1Affine: Debug, E::G2Affine: Debug,

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

Formats the value using the given formatter.

impl<'de, E: Pairing> Deserialize<'de> for StatementProof<E>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<E: PartialEq + Pairing> PartialEq for StatementProof<E>

where E::G1Affine: PartialEq, E::G2Affine: PartialEq,

fn eq(&self, other: &StatementProof<E>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<E: Pairing> Serialize for StatementProof<E>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<E: Pairing> Valid for StatementProof<E>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl<E: Pairing> StructuralPartialEq for StatementProof<E>