使用 cryptokit 创建 HMAC 摘要并对消息进行签名和验证

任务

密码学 / 使用 HMAC 摘要对消息进行签名和验证

使用的 Opam 包

• cryptokit 测试版本：1.18 — 使用的库：cryptokit

代码

(* We use `Cryptokit.MAC.hmac_sha256` to create a hash function using HMAC-SHA256 from the given key, and then apply the hash function to the message. *) let hmac ~key msg = let hash = Cryptokit.MAC.hmac_sha256 key in Cryptokit.hash_string hash msg (* Sign the given message. Return a pair of the message and its MAC. *) let sign ~key msg = (msg, hmac ~key msg) (* Verify the signature on a message. Return `true` if the signature is valid, `false` otherwise. *) let verify ~key (msg, mac) = hmac ~key msg = mac let _ = let key = "supercalifragilisticexpialidocious" and msg = "Mary Poppins" in assert (verify ~key (sign ~key msg))

let hmac ~key msg =
  let hash = Cryptokit.MAC.hmac_sha256 key in
  Cryptokit.hash_string hash msg

let sign ~key msg =
  (msg, hmac ~key msg)

let verify ~key (msg, mac) =
  hmac ~key msg = mac

let _ =
  let key = "supercalifragilisticexpialidocious"
  and msg = "Mary Poppins" in
  assert (verify ~key (sign ~key msg))

配方不起作用？注释不清楚或已过时？