Enum SubProtocol

pub enum SubProtocol<'a, E: Pairing> {
    PoKBBSSignatureG1(PoKBBSSigG1SubProtocol<'a, E>),
    VBAccumulatorMembership(VBAccumulatorMembershipSubProtocol<'a, E>),
    VBAccumulatorNonMembership(VBAccumulatorNonMembershipSubProtocol<'a, E>),
    PoKDiscreteLogs(SchnorrProtocol<'a, E::G1Affine>),
    Saver(SaverProtocol<'a, E>),
    BoundCheckLegoGroth16(BoundCheckLegoGrothProtocol<'a, E>),
    R1CSLegogroth16Protocol(R1CSLegogroth16Protocol<'a, E>),
    PSSignaturePoK(PSSignaturePoK<'a, E>),
    PoKBBSSignature23G1(PoKBBSSigG1SubProtocol<'a, E>),
    PoKBBSSignature23IETFG1(PoKBBSSigIETFG1SubProtocol<'a, E>),
    BoundCheckBpp(BoundCheckBppProtocol<'a, E::G1Affine>),
    BoundCheckSmc(BoundCheckSmcProtocol<'a, E>),
    BoundCheckSmcWithKV(BoundCheckSmcWithKVProtocol<'a, E::G1Affine>),
    Inequality(InequalityProtocol<'a, E::G1Affine>),
    DetachedAccumulatorMembership(DetachedAccumulatorMembershipSubProtocol<'a, E>),
    DetachedAccumulatorNonMembership(DetachedAccumulatorNonMembershipSubProtocol<'a, E>),
    KBUniversalAccumulatorMembership(KBUniversalAccumulatorMembershipSubProtocol<'a, E>),
    KBUniversalAccumulatorNonMembership(KBUniversalAccumulatorNonMembershipSubProtocol<'a, E>),
    VBAccumulatorMembershipCDH(VBAccumulatorMembershipCDHSubProtocol<'a, E>),
    VBAccumulatorNonMembershipCDH(VBAccumulatorNonMembershipCDHSubProtocol<'a, E>),
    KBUniversalAccumulatorMembershipCDH(KBUniversalAccumulatorMembershipCDHSubProtocol<'a, E>),
    KBUniversalAccumulatorNonMembershipCDH(KBUniversalAccumulatorNonMembershipCDHSubProtocol<'a, E>),
    KBPositiveAccumulatorMembership(KBPositiveAccumulatorMembershipSubProtocol<'a, E>),
    KBPositiveAccumulatorMembershipCDH(KBPositiveAccumulatorMembershipCDHSubProtocol<'a, E>),
    PoKOfBBDT16MAC(PoKOfMACSubProtocol<'a, E::G1Affine>),
    PoKDiscreteLogsG2(SchnorrProtocol<'a, E::G2Affine>),
    VBAccumulatorMembershipKV(VBAccumulatorMembershipKVSubProtocol<E::G1Affine>),
    KBUniversalAccumulatorMembershipKV(KBUniversalAccumulatorMembershipKVSubProtocol<E::G1Affine>),
    KBUniversalAccumulatorNonMembershipKV(KBUniversalAccumulatorNonMembershipKVSubProtocol<E::G1Affine>),
    VeTZ21(VeTZ21Protocol<'a, E::G1Affine>),
}

Various sub-protocols that are executed to create a StatementProof which are then combined to form a Proof

Variants

PoKBBSSignatureG1(PoKBBSSigG1SubProtocol<'a, E>)

For BBS+ signature in group G1

VBAccumulatorMembership(VBAccumulatorMembershipSubProtocol<'a, E>)

VBAccumulatorNonMembership(VBAccumulatorNonMembershipSubProtocol<'a, E>)

PoKDiscreteLogs(SchnorrProtocol<'a, E::G1Affine>)

Saver(SaverProtocol<'a, E>)

For verifiable encryption using SAVER

BoundCheckLegoGroth16(BoundCheckLegoGrothProtocol<'a, E>)

For range proof using LegoGroth16

R1CSLegogroth16Protocol(R1CSLegogroth16Protocol<'a, E>)

PSSignaturePoK(PSSignaturePoK<'a, E>)

PoKBBSSignature23G1(PoKBBSSigG1SubProtocol<'a, E>)

For BBS signature in group G1

PoKBBSSignature23IETFG1(PoKBBSSigIETFG1SubProtocol<'a, E>)

BoundCheckBpp(BoundCheckBppProtocol<'a, E::G1Affine>)

For range proof using Bulletproofs++

BoundCheckSmc(BoundCheckSmcProtocol<'a, E>)

For range proof using set-membership check

BoundCheckSmcWithKV(BoundCheckSmcWithKVProtocol<'a, E::G1Affine>)

For range proof using set-membership check with keyed verification

Inequality(InequalityProtocol<'a, E::G1Affine>)

To prove inequality of a signed message with a public value

DetachedAccumulatorMembership(DetachedAccumulatorMembershipSubProtocol<'a, E>)

DetachedAccumulatorNonMembership(DetachedAccumulatorNonMembershipSubProtocol<'a, E>)

KBUniversalAccumulatorMembership(KBUniversalAccumulatorMembershipSubProtocol<'a, E>)

KBUniversalAccumulatorNonMembership(KBUniversalAccumulatorNonMembershipSubProtocol<'a, E>)

VBAccumulatorMembershipCDH(VBAccumulatorMembershipCDHSubProtocol<'a, E>)

VBAccumulatorNonMembershipCDH(VBAccumulatorNonMembershipCDHSubProtocol<'a, E>)

KBUniversalAccumulatorMembershipCDH(KBUniversalAccumulatorMembershipCDHSubProtocol<'a, E>)

KBUniversalAccumulatorNonMembershipCDH(KBUniversalAccumulatorNonMembershipCDHSubProtocol<'a, E>)

KBPositiveAccumulatorMembership(KBPositiveAccumulatorMembershipSubProtocol<'a, E>)

KBPositiveAccumulatorMembershipCDH(KBPositiveAccumulatorMembershipCDHSubProtocol<'a, E>)

PoKOfBBDT16MAC(PoKOfMACSubProtocol<'a, E::G1Affine>)

PoKDiscreteLogsG2(SchnorrProtocol<'a, E::G2Affine>)

VBAccumulatorMembershipKV(VBAccumulatorMembershipKVSubProtocol<E::G1Affine>)

KBUniversalAccumulatorMembershipKV(KBUniversalAccumulatorMembershipKVSubProtocol<E::G1Affine>)

KBUniversalAccumulatorNonMembershipKV(KBUniversalAccumulatorNonMembershipKVSubProtocol<E::G1Affine>)

VeTZ21(VeTZ21Protocol<'a, E::G1Affine>)

Implementations

impl<'a, E: Pairing> SubProtocol<'a, E>

pub fn challenge_contribution<W: Write>( &self, writer: W, ) -> Result<(), ProofSystemError>

Trait Implementations

impl<'a, E: Clone + Pairing> Clone for SubProtocol<'a, E>

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

fn clone(&self) -> SubProtocol<'a, E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, E: Debug + Pairing> Debug for SubProtocol<'a, E>

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

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

Formats the value using the given formatter.

impl<'a, E: PartialEq + Pairing> PartialEq for SubProtocol<'a, E>

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

fn eq(&self, other: &SubProtocol<'a, 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<'a, E: Pairing> StructuralPartialEq for SubProtocol<'a, E>