Module `Tezos_raw_protocol_alpha.Nonce_storage`Source

This module provides types and functions to manipulate nonces.

A nonce is a byte sequence of fixed length, which is supposed to be random and used only once, provided by a block producer and used to generate a random seed (see Seed_repr).

Sourcetype t = Seed_repr.nonce

Sourcetype nonce = t

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Too_late_revelation
| Too_early_revelation
| Already_revealed_nonce
| Inconsistent_nonce

Sourceval encoding : nonce Tezos_protocol_environment_alpha.Data_encoding.t

Sourcetype unrevealed = Storage.Seed.unrevealed_nonce = {

nonce_hash : Nonce_hash.t;
delegate : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;

}

Sourcetype status =

| Unrevealed of unrevealed
| Revealed of Seed_repr.nonce

Source

val get : 
  Raw_context.t ->
  Level_repr.t ->
  status Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourcetype nonce_presence =

| No_nonce_expected
| Nonce_expected of status

Source

val check : 
  Raw_context.t ->
  Level_repr.t ->
  nonce_presence Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val record_hash : 
  Raw_context.t ->
  unrevealed ->
  Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val check_unrevealed : 
  Raw_context.t ->
  Level_repr.t ->
  nonce ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Checks that a nonce revelation operation can be safely applied.

returns
Error Too_early_revelation if the current cycle is the cycle 0 or if the previous cycle is lesser than the cycle of the input level.

returns
Error Too_late_revelation if the previous cycle is greater than the cycle of the input level. This error is also returned if the current level cycle position is greater or equal to the nonce revelation threshold.

returns
Error Already_revealed_nonce if a nonce is already revealed in the context for the input level.

returns
Error Inconsistent_nonce if the hash of the input nonce does not correspond to the nonce recover from the context for the given level.

Source

val reveal : 
  Raw_context.t ->
  Level_repr.t ->
  nonce ->
  Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val of_bytes : 
  bytes ->
  nonce Tezos_protocol_environment_alpha.Error_monad.tzresult

Sourceval hash : nonce -> Nonce_hash.t

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Nonce_storage/index.html

Module `Tezos_raw_protocol_alpha.Nonce_storage`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Nonce_storage/index.html

Module Tezos_raw_protocol_alpha.Nonce_storageSource

Module `Tezos_raw_protocol_alpha.Nonce_storage`Source