Module proof_system::witness

Structs

• KBPosMembership
  Secret data when proving KB universal accumulator membership
• KBUniMembership
  Secret data when proving KB universal accumulator membership
• KBUniNonMembership
  Secret data when proving KB universal accumulator non-membership
• Membership
  Secret data when proving VB accumulator membership
• NonMembership
  Secret data when proving VB accumulator non-membership
• PoKBBSSignature23G1
  Secret data when proving knowledge of BBS sig
• PoKBBSSignatureG1
  Secret data when proving knowledge of BBS+ sig
• PoKOfBBDT16MAC
• PoKPSSignature
  Secret data when proving knowledge of PS sig
• R1CSCircomWitness
  Witness for the Circom program. Only contains circuit wires that are explicitly set by the prover
• Witnesses

Enums

• Witness
  Secret data that the prover will prove knowledge of, this data is known only to the prover