Scenario_attestation (octez-protocol-alpha-libs.Tezos_alpha_test_helpers.Scenario

val update_activity : string -> Block.block -> State.t -> State.t

type kind =

| Preattestation
| Attestation

val string_of_kind : kind -> string

--- Attestations ---

val check_attestation_metadata : 
  ?check_not_found:bool ->
  kind:kind ->
  Tezos_alpha_test_helpers.Signature.Public_key_hash.t ->
  Tezos_alpha_test_helpers.Signature.Public_key_hash.t ->
  Block.full_metadata ->
  Scenario_base.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val check_attestation_aggregate_metadata : 
  ?check_not_found:bool ->
  kind:kind ->
  ?expect_same_order:bool ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Consensus_key.t list ->
  Block.full_metadata ->
  Scenario_base.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val check_attestation_rewards : 
  ?check_not_found:bool ->
  string ->
  Block.full_metadata ->
  Scenario_base.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val check_missed_attestation_rewards : 
  string ->
  ?check_not_found:bool ->
  Block.full_metadata ->
  Scenario_base.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val attest_with : 
  ?dal_content:Z.t ->
  string ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

val attest_aggreg_with : 
  ?delegates_with_dal:(string * Z.t) list ->
  string list ->
  (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

(tz4 only) Creates an aggregated attestation from the attestations of the given delegates. Fails if one of the delegates has no slot for the given block, or if one of the delegates' consensus key is not a tz4

val key_for_metadata_of_delegate_rights : 
  Tezos_protocol_plugin_alpha.RPC.Attestation_rights.delegate_rights ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Consensus_key.t

val attest_with_all_ : 
  Scenario_base.t ->
  Scenario_base.t Tezos_base.TzPervasives.tzresult Lwt.t

val attest_with_all : (Scenario_base.t, Scenario_base.t) Scenario_dsl.scenarios

--- Preattestations ---

val make_fake_block : 
  ?payload_round:int ->
  Incremental.incremental ->
  (Block.t, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

val preattest_with : 
  ?payload_round:int ->
  string ->
  (Scenario_base.t_incr, Scenario_base.t_incr) Scenario_dsl.scenarios

val preattest_aggreg_with : 
  ?payload_round:int ->
  string list ->
  (Scenario_base.t_incr, Scenario_base.t_incr) Scenario_dsl.scenarios

(tz4 only) Creates an aggregated preattestation from the preattestations of the given delegates. Fails if one of the delegates has no slot for the given block, or if one of the delegates' consensus key is not a tz4

val preattest_with_all_ : 
  ?payload_round:int ->
  Scenario_base.t_incr ->
  Scenario_base.t_incr Tezos_base.TzPervasives.tzresult Lwt.t