JJ: Description from the destination commit:

add kdf

JJ: Description from source commit:
.
This commit is contained in:
swrup 2026-02-13 09:34:03 +01:00
parent 6670b763f3
commit e59fff716b
6 changed files with 79 additions and 0 deletions

View file

@ -73,3 +73,24 @@ let () =
in
()
let () =
(* kdf *)
let salt = "94KPT83PCNS7J83KC5P78Y8" in
let ikm = "94KPT83MD1JJ0WV5CDS6AX10D5Q70XBM41NPAY90DNGQ8SBJD5GPR" in
let ctx =
"94KPT83141HPYVKMCNW78833D1TPWTSC41GPRWVF41NPWVVQDRG62WS04XMPWSKF4WG6JVH0EHM6A82J8S1G"
in
let out_len = 64 in
let out =
"GTMR4QT05Z9WF5HKVG0WK9RPXGHSMHJNW377G9GJXCA8B0FEKPF4D27RJMSJZYWSQNTBJ5EYVV7ZW18B48Z0JVJJ80RHB706Y96Q358"
in
let xts = salt |> decode in
let ikm = ikm |> decode in
let ctx = ctx |> decode in
let okm = Fdh.Kdf.kdf ~xts ~ikm ~ctx ~len:out_len in
let okm = okm |> encode in
assert (okm = out);
()