package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.crypto/Tezos_crypto/Crypto_box/index.html

Module Tezos_crypto.Crypto_boxSource

Tezos - X25519/XSalsa20-Poly1305 cryptography

Sourcetype nonce
Sourceval nonce_size : int
Sourceval zero_nonce : nonce
Sourceval random_nonce : unit -> nonce
Sourceval increment_nonce : ?step:int -> nonce -> nonce
Sourceval generate_nonces : incoming:bool -> sent_msg:Bytes.t -> recv_msg:Bytes.t -> nonce * nonce

generate_nonces ~incoming ~sent_msg ~recv_msg generates two nonces by hashing (Blake2B) the arguments. The nonces should be used to initialize the encryption on the communication channels. Because an attacker cannot control both messages, it cannot determine the nonces that will be used to encrypt the messages. The sent message should contains a random nonce, and we should never send the exact same message twice.

Sourceval tag_length : int

Size of the message authentication tag.

Sourcemodule Secretbox : sig ... end
Sourcetype pow_target
Sourceval default_pow_target : pow_target
Sourceval make_pow_target : float -> pow_target
Sourcetype secret_key
Sourcetype public_key
Sourcemodule Public_key_hash : sig ... end
Sourcetype channel_key
Sourceval random_keypair : unit -> secret_key * public_key * Public_key_hash.t

Generates both a secret key and its corresponding public key, along with a hash of the public key.

Sourceval precompute : secret_key -> public_key -> channel_key

precompute pk sk computes a channel key from the sender's sk and the recipient's pk.

Sourceval fast_box : channel_key -> nonce -> Bytes.t -> Bytes.t

fast_box k nonce msg authenticates and encrypts msg and returns both the message authentication tag and the ciphertext. For this reason, the returned buffer will be tagbytes longer than msg.

Sourceval fast_box_open : channel_key -> nonce -> Bytes.t -> Bytes.t option

fast_box_open k nonce cmsg attempts to verify and decrypt cmsg and if successful returns the plaintext. As above, the returned buffer will be tagbytes shorter than cmsg.

Sourceval fast_box_noalloc : channel_key -> nonce -> Bytes.t -> Bytes.t -> unit

fast_box_noalloc k nonce tag buf authenticates and encrypts in-place the contents of buf using k and nonce and writes the message authentication tag in tag.

Sourceval fast_box_open_noalloc : channel_key -> nonce -> Bytes.t -> Bytes.t -> bool

fast_box_open_noalloc k nonce tag buf attempts to verify and decrypt the contents of buf in-place using k, nonce, and tag and returns true if successful.

Sourceval check_proof_of_work : public_key -> nonce -> pow_target -> bool

check_proof_of_work pk pow target returns true if pow is proof of work following target for the public key pk.

Sourceval generate_proof_of_work : ?yield_every:int -> ?max:int -> public_key -> pow_target -> nonce Lwt.t

generate_proof_of_work pk pow_target generates a proof of work for the public key pk following the pow_target.

The parameter yield_every (defaults to 500) inserts a cooperation point (Lwt.pause ()) every so many attempts. This allows other promises to make progress towards resolution. It also allows Unix signals to be processed so that, say, Ctrl+C can be effective.

The parameter max (not set by default) sets a maximum number of attempts to be made before giving up. When max number of attempts have been made and no pow has been found, the exception Not_found is raised.

Sourceval generate_proof_of_work_with_target_0 : public_key -> nonce
Sourceval public_key_to_bytes : public_key -> Bytes.t
Sourceval public_key_of_bytes : Bytes.t -> public_key
Sourceval public_key_size : int
Sourceval secret_key_size : int
Sourceval public_key_encoding : public_key Data_encoding.t
Sourceval secret_key_encoding : secret_key Data_encoding.t
Sourceval nonce_encoding : nonce Data_encoding.t
Sourceval neuterize : secret_key -> public_key

neuterize sk generates the corresponding public key of sk

Sourceval equal : public_key -> public_key -> bool

equal a b tests keys for equality

Sourceval pp_pk : Format.formatter -> public_key -> unit