使用 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))

食譜無法運作？註解不清楚或過時？