2016-11-03 22:15:31 +04:00
|
|
|
(**************************************************************************)
|
|
|
|
|
(* *)
|
|
|
|
|
(* Copyright (c) 2014 - 2016. *)
|
|
|
|
|
(* Dynamic Ledger Solutions, Inc. <contact@tezos.com> *)
|
|
|
|
|
(* *)
|
|
|
|
|
(* All rights reserved. No warranty, explicit or implicit, provided. *)
|
|
|
|
|
(* *)
|
|
|
|
|
(**************************************************************************)
|
|
|
|
|
|
2016-11-16 04:19:13 +04:00
|
|
|
open Utils
|
|
|
|
|
|
2016-11-03 22:15:31 +04:00
|
|
|
(** Tezos - X25519/XSalsa20-Poly1305 cryptography *)
|
|
|
|
|
|
|
|
|
|
type secret_key = Sodium.Box.secret_key
|
|
|
|
|
type public_key = Sodium.Box.public_key
|
|
|
|
|
type channel_key = Sodium.Box.channel_key
|
|
|
|
|
type nonce = Sodium.Box.nonce
|
|
|
|
|
|
|
|
|
|
let random_keypair = Sodium.Box.random_keypair
|
|
|
|
|
let random_nonce = Sodium.Box.random_nonce
|
|
|
|
|
let increment_nonce = Sodium.Box.increment_nonce
|
|
|
|
|
let box = Sodium.Box.Bigbytes.box
|
2016-11-08 02:38:02 +04:00
|
|
|
let box_open sk pk msg nonce =
|
|
|
|
|
try Some (Sodium.Box.Bigbytes.box_open sk pk msg nonce) with
|
|
|
|
|
| Sodium.Verification_failure -> None
|
2016-11-16 04:19:13 +04:00
|
|
|
|
|
|
|
|
let public_key_encoding =
|
|
|
|
|
let open Data_encoding in
|
|
|
|
|
conv
|
|
|
|
|
Sodium.Box.Bigbytes.of_public_key
|
|
|
|
|
Sodium.Box.Bigbytes.to_public_key
|
|
|
|
|
(Fixed.bytes Sodium.Box.public_key_size)
|
|
|
|
|
|
|
|
|
|
let secret_key_encoding =
|
|
|
|
|
let open Data_encoding in
|
|
|
|
|
conv
|
|
|
|
|
Sodium.Box.Bigbytes.of_secret_key
|
|
|
|
|
Sodium.Box.Bigbytes.to_secret_key
|
|
|
|
|
(Fixed.bytes Sodium.Box.secret_key_size)
|
|
|
|
|
|
|
|
|
|
let nonce_encoding =
|
|
|
|
|
let open Data_encoding in
|
|
|
|
|
conv
|
|
|
|
|
Sodium.Box.Bigbytes.of_nonce
|
|
|
|
|
Sodium.Box.Bigbytes.to_nonce
|
|
|
|
|
(Fixed.bytes Sodium.Box.nonce_size)
|
|
|
|
|
|
