package tezos-protocol-003-PsddFKi3

  1. Overview
  2. Docs
Tezos protocol 003-PsddFKi3 package

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

doc/tezos_raw_protocol_003_PsddFKi3/Tezos_raw_protocol_003_PsddFKi3/Seed_repr/index.html

Module Tezos_raw_protocol_003_PsddFKi3.Seed_reprSource

Tezos Protocol Implementation - Random number generation

This is not expected to be a good cryptographic random number generator. In particular this is supposed to be used in situations where the seed is a globaly known information.

The only expected property is: It should be difficult to find a seed such that the generated sequence is a given one.

Random Generation

***************************************************

Sourcetype t

The state of the random number generator

Sourcetype seed

A random seed, to derive random sequences from

Sourcetype sequence

A random sequence, to derive random values from

initialize_new state ident returns a new generator

Sourceval sequence : t -> int32 -> sequence

sequence state n prepares the n-th sequence of a state

Generates the next random value in the sequence

Sourceval take_int32 : sequence -> int32 -> int32 * sequence

Generates the next random value as a bounded int32

Predefined seeds

****************************************************

Sourceval empty : seed
Sourceval deterministic_seed : seed -> seed

Returns a new seed by hashing the one passed with a constant.

Sourceval initial_seeds : int -> seed list

intial_seeds n generates the first n seeds for which there are no nonces. The first seed is a constant value. The kth seed is the hash of seed (k-1) concatenated with a constant.

Entropy

*************************************************************

Sourcetype nonce

A nonce for adding entropy to the generator

Sourceval nonce : seed -> nonce -> seed

Add entropy to the seed generator

Use a byte sequence as a nonce

Compute the has of a nonce

Sourceval check_hash : nonce -> Nonce_hash.t -> bool

check_hash nonce hash is true if the nonce correspond to the hash

Sourceval nonce_hash_key_part : Nonce_hash.t -> string list -> string list

For using nonce hashes as keys in the hierarchical database

Predefined nonce

****************************************************

Sourceval initial_nonce_0 : nonce
Sourceval initial_nonce_hash_0 : Nonce_hash.t

Serializers

*********************************************************