Documentation

Cryptlib.Primitives.Hash.Blake2b

source
def Cryptlib.Primitives.Hash.Blake2b.hash (msg : ByteArray) :
Vector UInt8 64

BLAKE2b-512, unkeyed.

Equations
Instances For
    source
    def Cryptlib.Primitives.Hash.Blake2b.hash256 (msg : ByteArray) :
    Vector UInt8 32

    BLAKE2b-256, unkeyed.

    Equations
    Instances For
      source
      def Cryptlib.Primitives.Hash.Blake2b.hash256Keyed (key msg : ByteArray) :
      Vector UInt8 32

      BLAKE2b-256, keyed.

      Equations
      Instances For
        source
        def Cryptlib.Primitives.Hash.Blake2b.hashN (n : Nat) (msg : ByteArray) :
        ByteArray

        BLAKE2b, unkeyed, with an n-byte digest for 1 ≤ n ≤ 64 (RFC 7693 §2.1).

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Cryptlib.Primitives.Hash.Blake2b.xof (key : ByteArray) (size readLen : Nat) (msg : ByteArray) :
          ByteArray

          BLAKE2Xb (https://www.blake2.net/blake2x.pdf). size is the configured stream length, bound into every hash; readLen is how many bytes are returned. size = 0 means unbounded. The input is hashed once into a root, and each 64-byte output block is an unkeyed leaf hash of the root, parameterized by its index and size.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For