Module `Tezos_raw_protocol_017_PtNairob.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_017_PtNairob.Error_monad.error +=

| Too_late_revelation
| Too_early_revelation
| Already_revealed_nonce
| Inconsistent_nonce

Sourceval encoding : nonce Tezos_protocol_environment_017_PtNairob.Data_encoding.t

Sourcetype unrevealed = Storage.Seed.unrevealed_nonce = {

nonce_hash : Nonce_hash.t;
delegate : Tezos_protocol_environment_017_PtNairob.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_017_PtNairob.Error_monad.tzresult
    Tezos_protocol_environment_017_PtNairob.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_017_PtNairob.Error_monad.tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

Source

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

Source

val check_unrevealed : 
  Raw_context.t ->
  Level_repr.t ->
  nonce ->
  unit Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult
    Tezos_protocol_environment_017_PtNairob.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_017_PtNairob.Error_monad.tzresult
    Tezos_protocol_environment_017_PtNairob.Lwt.t

Source

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

Sourceval hash : nonce -> Nonce_hash.t

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

package tezos-protocol-017-PtNairob

Module Tezos_raw_protocol_017_PtNairob.Nonce_storageSource

Module `Tezos_raw_protocol_017_PtNairob.Nonce_storage`Source