Raw.DHSee spec section 4.17
type esk = R.eskval esk_encoding : R.esk Data_encoding.encodingval esk_random : unit -> R.esktype epk = R.epkval epk_encoding : R.epk Data_encoding.encodingval derive_ephemeral : Viewing_key.address -> R.esk -> R.epkDerives the public part of the DH for the sender. (ie. epk is used for symkey_receiver).
val symkey_sender : R.esk -> R.pkd -> Mavryk_crypto.Crypto_box.Secretbox.keyDerives a symmetric key to be used to create the ciphertext on the sender side.
val symkey_receiver : R.epk -> R.ivk -> Mavryk_crypto.Crypto_box.Secretbox.keyval symkey_out :
R.ovk ->
(R.cv * R.commitment * R.epk) ->
Mavryk_crypto.Crypto_box.Secretbox.key