Dh (awa.Awa.Kex.Dh)

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

val compute_hash : 
  ?signed:bool ->
  negotiation ->
  v_c:string ->
  v_s:string ->
  i_c:Cstruct.t ->
  i_s:Cstruct.t ->
  k_s:Hostkey.pub ->
  e:Z.t ->
  f:Z.t ->
  k:Z.t ->
  string

val compute_hash_gex : 
  negotiation ->
  v_c:string ->
  v_s:string ->
  i_c:Cstruct.t ->
  i_s:Cstruct.t ->
  k_s:Hostkey.pub ->
  min:Cstruct.uint32 ->
  n:Cstruct.uint32 ->
  max:Cstruct.uint32 ->
  p:Z.t ->
  g:Z.t ->
  e:Z.t ->
  f:Z.t ->
  k:Z.t ->
  string

val secret_pub : alg -> Mirage_crypto_pk.Dh.secret * Z.t

val shared : Mirage_crypto_pk.Dh.secret -> Z.t -> (Z.t, string) Stdlib.result

val ec_secret_pub : 
  alg ->
  [> `Ed25519 of Mirage_crypto_ec.X25519.secret
  | `P256 of Mirage_crypto_ec.P256.Dh.secret
  | `P384 of Mirage_crypto_ec.P384.Dh.secret
  | `P521 of Mirage_crypto_ec.P521.Dh.secret ]
  * Z.t

val ec_shared : 
  [< `Ed25519 of Mirage_crypto_ec.X25519.secret
  | `P256 of Mirage_crypto_ec.P256.Dh.secret
  | `P384 of Mirage_crypto_ec.P384.Dh.secret
  | `P521 of Mirage_crypto_ec.P521.Dh.secret ] ->
  Z.t ->
  (Z.t, string) Stdlib.result

val generate : alg -> Z.t -> (Z.t * Z.t, string) Stdlib.result