Enum proof_system::statement::Statement

pub enum Statement<E: PairingEngine, G: AffineCurve> {
    PoKBBSSignatureG1(PoKBBSSignatureG1<E>),
    PedersenCommitment(PedersenCommitment<G>),
    AccumulatorMembership(AccumulatorMembership<E>),
    AccumulatorNonMembership(AccumulatorNonMembership<E>),
    SaverProver(SaverProver<E>),
    SaverVerifier(SaverVerifier<E>),
    BoundCheckLegoGroth16Prover(BoundCheckLegoGroth16Prover<E>),
    BoundCheckLegoGroth16Verifier(BoundCheckLegoGroth16Verifier<E>),
    R1CSCircomProver(R1CSCircomProver<E>),
    R1CSCircomVerifier(R1CSCircomVerifier<E>),
}

Type of relation being proved and the public values for the relation

Variants

PoKBBSSignatureG1(PoKBBSSignatureG1<E>)

For proof of knowledge of BBS+ signature

PedersenCommitment(PedersenCommitment<G>)

For proof of knowledge of committed elements in a Pedersen commitment

AccumulatorMembership(AccumulatorMembership<E>)

For proof of knowledge of an accumulator member and its corresponding witness

AccumulatorNonMembership(AccumulatorNonMembership<E>)

For proof of knowledge of an accumulator non-member and its corresponding witness

SaverProver(SaverProver<E>)

Used by prover to create proof of verifiable encryption using SAVER

SaverVerifier(SaverVerifier<E>)

Used by verifier to verify proof of verifiable encryption using SAVER

BoundCheckLegoGroth16Prover(BoundCheckLegoGroth16Prover<E>)

Used by prover to create proof that witness satisfies publicly known bounds inclusively (<=, >=) using LegoGroth16

BoundCheckLegoGroth16Verifier(BoundCheckLegoGroth16Verifier<E>)

Used by verifier to verify proof that witness satisfies publicly known bounds inclusively (<=, >=) using LegoGroth16

R1CSCircomProver(R1CSCircomProver<E>)

Used by prover to create proof that witness satisfies constraints given by an R1CS (generated by Circom), using LegoGroth16

R1CSCircomVerifier(R1CSCircomVerifier<E>)

Used by verifier to verify proof that witness satisfies constraints given by an R1CS (generated by Circom), using LegoGroth16

Trait Implementations

impl<E: PairingEngine, G: AffineCurve> CanonicalDeserialize for Statement<E, G>

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

Reads Self from reader.

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

Reads Self from reader without compression.

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

Reads self from reader without compression, and without performing validity checks. Should be used only when the input is trusted.

impl<E: PairingEngine, G: AffineCurve> CanonicalSerialize for Statement<E, G>

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

Serializes self into writer. It is left up to a particular type for how it strikes the serialization efficiency vs compression tradeoff. For standard types (e.g. bool, lengths, etc.) typically an uncompressed form is used, whereas for algebraic types compressed forms are used.

fn serialized_size(&self) -> usize

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

Serializes self into writer without compression.

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

Serializes self into writer without compression, and without performing validity checks. Should be used only when there is no danger of adversarial manipulation of the output.

fn uncompressed_size(&self) -> usize

impl<E: Clone + PairingEngine, G: Clone + AffineCurve> Clone for Statement<E, G>

fn clone(&self) -> Statement<E, G>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug + PairingEngine, G: Debug + AffineCurve> Debug for Statement<E, G>

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

Formats the value using the given formatter.

impl<'de, E: PairingEngine, G: AffineCurve> Deserialize<'de> for Statement<E, G>

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

Deserialize this value from the given Serde deserializer.

impl<E: PartialEq + PairingEngine, G: PartialEq + AffineCurve> PartialEq<Statement<E, G>> for Statement<E, G>

fn eq(&self, other: &Statement<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<E: PairingEngine, G: AffineCurve> Serialize for Statement<E, G>

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

Serialize this value into the given Serde serializer.

impl<E: PairingEngine, G: AffineCurve> StructuralPartialEq for Statement<E, G>