package hacl-star

  1. Overview
  2. Docs
package hacl-star
Legend:
Library
Module
Module type
Parameter
Class
Class type

Versions of these functions which write their output in a buffer passed in as an argument

val extract : alg:SharedDefs.HashDefs.alg -> salt:bytes -> ikm:bytes -> prk:bytes -> unit

extract alg salt ikm prk computes a pseudorandom key prk using hashing algorithm alg with input key material ikm and salt salt.

val expand : alg:SharedDefs.HashDefs.alg -> prk:bytes -> info:bytes -> okm:bytes -> unit

expand alg prk info okm expands the pseudorandom key prk using hashing algorithm alg, taking the info string info into account, and writes the output key material in okm.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct