Nonce (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Alpha

type t

type nonce = t

val encoding : nonce Mavryk_protocol_environment_alpha.Data_encoding.t

type unrevealed = {

nonce_hash : Nonce_hash.t;
delegate : public_key_hash;

}

val record_hash : 
  context ->
  unrevealed ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val check_unrevealed : 
  context ->
  Level.t ->
  nonce ->
  unit Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

See Nonce_storage.check_unrevealed.

val reveal : 
  context ->
  Level.t ->
  nonce ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

type status =

| Unrevealed of unrevealed
| Revealed of nonce

val get : 
  context ->
  Level.t ->
  status Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

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

val hash : nonce -> Nonce_hash.t

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