package awa

You can search for identifiers within the package.

in-package search v0.2.0

awa
- Awa
  - Auth
  - Channel
    
    Channel_map
    
    Ordered
  - Cipher
  - Client
  - Common
  - Dbuf
  - Driver
  - Hmac
  - Hostkey
  - Kex
    
    Dh
  - Keys
    
    Log
  - Packet
  - Server
  - Ssh
  - Util
  - Wire

Legend:
Library
Module
Module type
Parameter
Class
Class type

val derive_keys : 
  Z.t ->
  Mirage_crypto.Hash.digest ->
  Mirage_crypto.Hash.digest ->
  negotiation ->
  Mtime.t ->
  (keys * keys * Mtime.t, string) Rresult.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 ->
  Mirage_crypto.Hash.digest

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 ->
  Mirage_crypto.Hash.digest

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

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

val ecdh_secret_pub : alg -> Hacl_x25519.secret * Z.t

val ecdh_shared : Hacl_x25519.secret -> Z.t -> (Z.t, string) Rresult.result

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