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

type compression_alg =

| Nothing

val compression_alg_of_string : 
  string ->
  (compression_alg, string) Rresult.result

val compression_alg_to_string : compression_alg -> string

type 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

val is_rfc4419 : alg -> bool

val is_finite_field : alg -> bool

val alg_of_string : string -> (alg, string) Rresult.result

val alg_to_string : alg -> string

val group_of_alg : alg -> Mirage_crypto_pk.Dh.group

val hash_of_alg : alg -> (module Mirage_crypto.Hash.S)

val client_supported : alg list

val server_supported : alg list

val make_kexinit : Hostkey.alg list -> alg list -> unit -> Ssh.kexinit

type 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;

}

val pp_negotiation : Stdlib.Format.formatter -> negotiation -> unit

val guessed_right : s:Ssh.kexinit -> c:Ssh.kexinit -> bool

val negotiate : 
  s:Ssh.kexinit ->
  c:Ssh.kexinit ->
  (negotiation, string) Rresult.result

type keys = {

cipher : Cipher.key;
mac : Hmac.key;
seq : int32;
tx_rx : int64;

}

val make_plaintext : unit -> keys

val is_plaintext : keys -> bool

val is_keyed : keys -> bool

val one_GB : int64

val one_minute_ns : int64

val keys_lifespan : Mtime.span

val should_rekey : int64 -> Mtime.t -> Mtime.t -> bool

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

module Dh : sig ... end