Module ergotree_ir::sigma_protocol::sigma_boolean

Sigma boolean types

Modules

• cand
  AND conjunction for sigma proposition
• cor
  OR conjunction for sigma proposition
• cthreshold
  THRESHOLD conjunction for sigma proposition

Structs

• ConversionError
  Failed to extract specified underlying type from SigmaBoolean
• ProveDhTuple
  Construct a new SigmaProp value representing public key of Diffie Hellman signature protocol. Used in a proof that of equality of discrete logarithms (i.e., a proof of a Diffie-Hellman tuple): given group elements g, h, u, v, the proof convinces a verifier that the prover knows w such that u = g^w and v = h^w, without revealing w
• ProveDlog
  Construct a new SigmaBoolean value representing public key of discrete logarithm signature protocol.
• SigmaProp
  Proposition which can be proven and verified by sigma protocol.

Enums

• SigmaBoolean
  Algebraic data type of sigma proposition expressions Values of this type are used as values of SigmaProp type
• SigmaConjecture
  Conjunctions for sigma propositions
• SigmaProofOfKnowledgeTree
  Sigma proposition

Type Aliases

• SigmaConjectureItems
  Sigma conjecture items type with bounds check (2..=255)