package awa

  1. Overview
  2. Docs

Module Awa.KexSource

Sourcetype compression_alg =
  1. | Nothing
Sourceval compression_alg_of_string : string -> (compression_alg, string) result
Sourceval compression_alg_to_string : compression_alg -> string
Sourcetype alg =
  1. | Diffie_hellman_group_exchange_sha256
  2. | Diffie_hellman_group14_sha256
  3. | Diffie_hellman_group14_sha1
  4. | Diffie_hellman_group1_sha1
  5. | Diffie_hellman_group_exchange_sha1
  6. | Curve25519_sha256
Sourceval is_rfc4419 : alg -> bool
Sourceval is_finite_field : alg -> bool
Sourceval alg_of_string : string -> (alg, string) result
Sourceval alg_to_string : alg -> string
Sourceval group_of_alg : alg -> Mirage_crypto_pk.Dh.group
Sourceval hash_of_alg : alg -> (module Mirage_crypto.Hash.S)
Sourceval client_supported : alg list
Sourceval server_supported : alg list
Sourceval make_kexinit : Hostkey.alg list -> alg list -> unit -> Ssh.kexinit
Sourcetype negotiation = {
  1. kex_alg : alg;
  2. server_host_key_alg : Hostkey.alg;
  3. encryption_alg_ctos : Cipher.t;
  4. encryption_alg_stoc : Cipher.t;
  5. mac_alg_ctos : Hmac.t;
  6. mac_alg_stoc : Hmac.t;
  7. compression_alg_ctos : compression_alg;
  8. compression_alg_stoc : compression_alg;
}
Sourceval pp_negotiation : Format.formatter -> negotiation -> unit
Sourceval guessed_right : s:Ssh.kexinit -> c:Ssh.kexinit -> bool
Sourceval negotiate : s:Ssh.kexinit -> c:Ssh.kexinit -> (negotiation, string) result
Sourcetype keys = {
  1. cipher : Cipher.key;
  2. mac : Hmac.key;
  3. seq : int32;
  4. tx_rx : int64;
}
Sourceval make_plaintext : unit -> keys
Sourceval is_plaintext : keys -> bool
Sourceval is_keyed : keys -> bool
Sourceval one_GB : int64
Sourceval one_minute_ns : int64
Sourceval keys_lifespan : Mtime.span
Sourceval should_rekey : int64 -> Mtime.t -> Mtime.t -> bool
Sourceval derive_keys : (((Cstruct.t -> unit) -> unit) -> Cstruct.t) -> Z.t -> Cstruct.t -> Cstruct.t -> negotiation -> Mtime.t -> (keys * keys * Mtime.t, string) result
Sourcemodule Dh : sig ... end