package tezos-protocol-020-PsParisC

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This module re-exports definitions from Nonce_storage.

type t

type nonce = t

val encoding : nonce Tezos_protocol_environment_020_PsParisC.Data_encoding.t

type unrevealed = {

nonce_hash : Nonce_hash.t;
delegate : public_key_hash;

}

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

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

See Nonce_storage.check_unrevealed.

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

type status =

| Unrevealed of unrevealed
| Revealed of nonce

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

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

val hash : nonce -> Nonce_hash.t

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