Enum proof_system::sub_protocols::SubProtocol

pub enum SubProtocol<'a, E: Pairing, G: AffineRepr> {
    PoKBBSSignatureG1(PoKBBSSigG1SubProtocol<'a, E>),
    AccumulatorMembership(AccumulatorMembershipSubProtocol<'a, E>),
    AccumulatorNonMembership(AccumulatorNonMembershipSubProtocol<'a, E>),
    PoKDiscreteLogs(SchnorrProtocol<'a, G>),
    Saver(SaverProtocol<'a, E>),
    BoundCheckProtocol(BoundCheckProtocol<'a, E>),
    R1CSLegogroth16Protocol(R1CSLegogroth16Protocol<'a, E>),
    PSSignaturePoK(PSSignaturePoK<'a, E>),
    PoKBBSSignature23G1(PoKBBSSigG1SubProtocol<'a, E>),
}

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

AccumulatorMembership(AccumulatorMembershipSubProtocol<'a, E>)

AccumulatorNonMembership(AccumulatorNonMembershipSubProtocol<'a, E>)

PoKDiscreteLogs(SchnorrProtocol<'a, G>)

Saver(SaverProtocol<'a, E>)

For verifiable encryption using SAVER

BoundCheckProtocol(BoundCheckProtocol<'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

Implementations

impl<'a, E: Pairing, G: AffineRepr<ScalarField = E::ScalarField>> SubProtocol<'a, E, G>

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

pub fn gen_proof_contribution( &mut self, challenge: &E::ScalarField ) -> Result<StatementProof<E, G>, ProofSystemError>

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

fn eq(&self, other: &SubProtocol<'a, E, G>) -> bool

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

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

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

impl<'a, E: Pairing, G: AffineRepr> StructuralPartialEq for SubProtocol<'a, E, G>