Documentation · dirsp-exchange-kbb2017 0.1.0 · OCaml Packages

dirsp-exchange-kbb2017

The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol

Libraries
- dirsp-exchange-kbb2017

package dirsp-exchange-kbb2017

dirsp-exchange-kbb2017
- Dirsp_exchange_kbb2017
  - Make
    
    1-ProScript
    
    Crypto
    
    ED25519
    
    Encoding
    
    HANDLE
    
    RATCHET
    
    TOPLEVEL
    
    Type_iv
    
    Type_key
    
    Type_keypair
    
    Type_msg
    
    Type_recvoutput
    
    Type_sendoutput
    
    Type_them
    
    UTIL

Legend:
Library
Module
Module type
Parameter
Class
Class type

Libraries

This package provides the following libraries (via dune):

dirsp-exchange-kbb2017

Documentation: Dirsp_exchange_kbb2017

Dependencies: dirsp-proscript, ppx_deriving.runtime, ppx_deriving_protobuf.runtime