Package org.cryptimeleon.craco.protocols.arguments.sigma.schnorr.setmembership

Contains classes for proving set membership.

See: Description

Class Summary

Class	Description
SetMembershipFragment	A fragment to prove that a given variable is in a set of allowed values.
SetMembershipPublicParameters	Public parameters used for set membership proofs.
SmallerThanPowerFragment	A fragment to prove a statement of the form \(0 \leq \text{member} < \text{base}^\text{power}\).
TwoSidedRangeProof	A fragment for the statement lowerBound <= member <= upperBound.

Package org.cryptimeleon.craco.protocols.arguments.sigma.schnorr.setmembership Description

Contains classes for proving set membership.