Module ps_sig::pok_sig

Structs

PoKOfSignature
PoKOfSignatureProof
ProofOtherGroup
ProverCommittedOtherGroup	Receive or generate challenge. Compute response and proof
ProverCommittingOtherGroup	Proof of knowledge of messages in a vector commitment. Commit for each message.