package tezos-protocol-alpha
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Delegate_consensus_key/index.html
Module Tezos_raw_protocol_alpha.Delegate_consensus_keySource
Management of a delegate's consensus key, the one used to sign blocks and consensus operations. It is responsible for maintaining the tables Storage.Consensus_keys, Storage.Contract.Consensus_key, and Storage.Contract.Pending_consensus_keys.
type Tezos_protocol_environment_alpha.Error_monad.error += | Invalid_consensus_key_update_noop of Cycle_repr.t| Invalid_consensus_key_update_active| Invalid_consensus_key_update_tz4 of Tezos_protocol_environment_alpha.Bls.Public_key.t
type pk = Raw_context.consensus_pk = {delegate : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;consensus_pk : Tezos_protocol_environment_alpha.Signature.Public_key.t;consensus_pkh : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;
}The public key of a consensus key and the associated delegate.
type t = {delegate : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;consensus_pkh : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;
}The public key hash of a consensus key and the associated delegate.
val check_not_tz4 :
Tezos_protocol_environment_alpha.Signature.public_key ->
unit Tezos_protocol_environment_alpha.Error_monad.tzresultcheck_not_tz4 pk checks that pk is not a BLS address.
val init :
Raw_context.t ->
Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
Tezos_protocol_environment_alpha.Signature.Public_key.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tInitialize the consensus key when registering a delegate.
val active_pubkey :
Raw_context.t ->
Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
pk Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tReturns the active consensus key for the current cycle.
val active_key :
Raw_context.t ->
Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tReturns the active consensus key for the current cycle.
val active_pubkey_for_cycle :
Raw_context.t ->
Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
Cycle_repr.t ->
pk Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tReturns the active consensus key for the given cycle.
val pending_updates :
Raw_context.t ->
Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
(Cycle_repr.t * Tezos_protocol_environment_alpha.Signature.Public_key_hash.t)
list
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tReturns the list of pending consensus-key updates in upcoming cycles.
val register_update :
Raw_context.t ->
Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
Tezos_protocol_environment_alpha.Signature.Public_key.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tRegister a consensus-key update.
val activate :
Raw_context.t ->
new_cycle:Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tActivate consensus keys at the beginning of cycle new_cycle. This function iterates on all registered delegates.