← all modules

Std.Crypto.Cpace

Std.Crypto.Cpace
  Std.Crypto.Cpace — CPace, a password-authenticated key exchange (PAKE),

Types
  type Pending

Values
  finish : Pending -> String -> Result Error Secret
      `finish pending replyFromResponder` — the initiator's shared key. `Err`
  messageData : String -> Result Error String
      The associated data a CPace message carries in clear.
  respond : Secret -> String -> String -> String -> String -> Task Error ( Secret, String )
      `respond password channelId sessionId ad messageFromInitiator` — the
  start : Secret -> String -> String -> String -> Task Error ( Pending, String )
      `start password channelId sessionId ad` — the initiator's first step: