Documentation

Cryptlib.Protocols.Sphinx.geometry_cbor

Geometry CBOR encoding and hash #

A CBOR map keyed by the katzenpost field names. Messages carry the fields in declaration order; hash is taken over the canonical encoding, whose keys are sorted shortest first and then bytewise.

source
def Cryptlib.Protocols.Sphinx.Geometry.Geometry.fields (g : Geometry) :
List (String × Cborg.Encoding)

Each field's key and encoding, in declaration order.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Cryptlib.Protocols.Sphinx.Geometry.Geometry.keys :
    List String
    Equations
    Instances For
      source
      @[instance_reducible]
      instance Cryptlib.Protocols.Sphinx.Geometry.instSerialiseGeometry :
      Cborg.Serialise Geometry

      Missing keys decode to zero or the empty string; unknown keys are rejected.

      Equations
      • One or more equations did not get rendered due to their size.
      source
      def Cryptlib.Protocols.Sphinx.Geometry.Geometry.canonical (g : Geometry) :
      ByteArray

      The encoding with keys in canonical order.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Cryptlib.Protocols.Sphinx.Geometry.Geometry.hash (g : Geometry) :
        Vector UInt8 32

        BLAKE2b-256 of the canonical encoding; the PKI document's SphinxGeometryHash.

        Equations
        Instances For