Module zebra_chain::orchard::sinsemilla

Sinsemilla hash functions and helpers.

Functions

• Q 🔒
  Q(D) := GroupHash^P(︀“z.cash:SinsemillaQ”, D)
• S 🔒
  S(j) := GroupHash^P(︀“z.cash:SinsemillaS”, LEBS2OSP32(I2LEBSP32(j)))
• extract_p
  Coordinate Extractor for Pallas
• extract_p_bottom
  Extract⊥ P: P ∪ {⊥} → P𝑥 ∪ {⊥} such that
• incomplete_addition 🔒
  Incomplete addition on the Pallas curve.
• pallas_group_hash
  GroupHash into Pallas, aka GroupHash^P
• sinsemilla_hash
  Sinsemilla Hash Function
• sinsemilla_hash_to_point
  “…an algebraic hash function with collision resistance (for fixed input length) derived from assumed hardness of the Discrete Logarithm Problem on the Pallas curve.”