# Functions
HashMessages returns a hash of the passed array of messages.
NewMembershipProver returns a MembershipWitnessProver for the passed MembershipWitness.
NewMembershipVerifier returns a MembershipVerifier for the passed commitment com The verifier checks if the committed value in com is signed using Pointcheval-Sanders and the signature verifies correctly relative to the passed public key PK.
NewMembershipWitness returns a MembershipWitness as a function of the passed arguments.
NewSigProver returns a SigProver as a function of the passed arguments.
NewSigVerifier returns a SigVerifier as a function of the passed arguments.
NewSigWitness instantiates a SigWitness with the passed arguments.
# Structs
MembershipCommitment is commitment to randomness used to compute MembershipProof.
MembershipProof is a ZK proof that shows that a committed value is signed using Pointcheval-Sanders signature.
MembershipProver is a ZK prover that shows that a committed value is signed with Pointcheval-Sanders signature.
MembershipRandomness is randomness used to compute MembershipProof.
MembershipVerifier verifies whether a committed value has been signed using Pointcheval-Sanders signature.
MembershipWitness contains the information needed to generate a MembershipProof.
POK is a zero-knowledge proof of knowledge of a Pointcheval-Sanders Signature.
POKProver produces a POK proof.
POKRandomness is the Randomness used during the POK proof.
POKVerifier validates if a POK proof is valid.
POKWitness encodes the witness of POK proof.
SigCommitment encodes the commitments to the randomness used in the SigProof.
SigProof is a proof of knowledge of Pointcheval-Signature with partial message disclosure.
SigProver produces a proof of knowledge Pointcheval-Sanders signature with partial message disclosure.
SigRandomness represents the randomness used in the SigProof.
SigVerifier checks the validity of SigProof.
SigWitness is the witness for SigProof.