Std.App.Totp

10 public declarations

• configBytes -> Str -> Str -> Std.App.Totp.TotpConfig

  Initializes standard TOTP configuration with 6 digits, 30-second interval, and 1-step skew tolerance.

  fn
• Configuring

  The three numbers a code's shape is decided by, set one call at a time.

  trait
• decodeBase32Str -> Result[Bytes, Str]

  RFC 4648 Base32 decoder with whitespace stripping and case normalization.

  fn
• encodeBase32&Bytes -> Str

  RFC 4648 Base32 encoder converting binary secrets into uppercase strings without padding.

  fn
• generate&Std.App.Totp.TotpConfig -> Int -> Str

  Computes the canonical time-based OTP code for the given epoch timestamp using HMAC-SHA256.

  fn
• provisioningUri&Std.App.Totp.TotpConfig -> Str

  Builds the standard otpauth URI for authenticator app enrollment.

  fn
• stateStd.App.Totp.TotpState

  Constructs replay prevention tracking state.

  fn
• TotpConfig

  Immutable parameters for RFC 6238 TOTP generation and validation.

  type
• TotpState

  Stateful replay prevention tracking the highest authenticated time counter step.

  type
• verify&Std.App.Totp.TotpConfig -> &Std.App.Totp.TotpState -> Str -> Int -> Bool

  Validates a user-submitted code against all allowed steps in [C - skew, C + skew]

  fn