Delegate_consensus_key (tezos-protocol-alpha.Tezos_raw_protocol_alpha.Delegate_consensus

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 zero : t

val pp : Tezos_protocol_environment_alpha.Format.formatter -> t -> unit

val pkh : pk -> t

val check_not_tz4 : 
  Tezos_protocol_environment_alpha.Signature.public_key ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult

check_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.t

Initialize 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.t

Returns 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.t

Returns 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.t

Returns 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
   * Tezos_protocol_environment_alpha.Signature.Public_key.t)
    list
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Returns 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.t

val activate : 
  Raw_context.t ->
  new_cycle:Cycle_repr.t ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

Activate consensus keys at the beginning of cycle new_cycle.