Module `Awa.Kex`Source

Sourcetype compression_alg =

| Nothing

Sourceval compression_alg_of_string : string -> (compression_alg, string) result

Sourceval compression_alg_to_string : compression_alg -> string

Sourcetype alg =

| Diffie_hellman_group_exchange_sha256
| Diffie_hellman_group14_sha256
| Diffie_hellman_group14_sha1
| Diffie_hellman_group1_sha1
| Diffie_hellman_group_exchange_sha1
| Curve25519_sha256
| Ecdh_sha2_nistp256
| Ecdh_sha2_nistp384
| Ecdh_sha2_nistp521

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 Digestif.S)

Sourceval supported : alg list

Source

val make_kexinit : 
  ?ext_info:[ `Ext_info_c | `Ext_info_s ] ->
  Hostkey.alg list ->
  alg list ->
  unit ->
  Ssh.kexinit

Sourcetype negotiation = {

kex_alg : alg;
server_host_key_alg : Hostkey.alg;
encryption_alg_ctos : Cipher.t;
encryption_alg_stoc : Cipher.t;
mac_alg_ctos : Hmac.t;
mac_alg_stoc : Hmac.t;
compression_alg_ctos : compression_alg;
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 = {

cipher : Cipher.key;
mac : Hmac.key;
seq : int32;
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

Source

val derive_keys : 
  (((string -> unit) -> unit) -> string) ->
  Z.t ->
  string ->
  string ->
  negotiation ->
  Mtime.t ->
  (keys * keys * Mtime.t, string) result

Sourcemodule Dh : sig ... end

package awa

Module Awa.KexSource

Module `Awa.Kex`Source