Dal_helpers (octez-protocol-alpha-libs.Tezos_alpha_test_helpers.Dal

val mk_cryptobox : 
  Tezos_crypto_dal.Cryptobox.parameters ->
  Tezos_crypto_dal.Cryptobox.t Tezos_base.TzPervasives.tzresult Lwt.t

Returns an object of type Cryptobox.t from the given DAL paramters.

val derive_dal_parameters : 
  Tezos_crypto_dal.Cryptobox.parameters ->
  redundancy_factor:int ->
  constants_divider:int ->
  Tezos_crypto_dal.Cryptobox.parameters

Derive new DAL parameters from the given ones by:

setting the given redundancy factor ;
dividing the other fields by the given factor.

val content_slot_id : 
  Tezos_protocol_alpha.Protocol.Dal_slot_repr.History.cell_content ->
  Tezos_protocol_alpha.Protocol.Dal_slot_repr.Header.id

Returns the slot id of the given cell's content .

val dal_attestation : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Dal.Slot_index.t list ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Dal.Attestation.t

Builds a DAL attestation bitset containing the provided slot indexes.

val has_assigned_shards : 
  Context.t ->
  ?level:Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
  bool Tezos_base.TzPervasives.tzresult Lwt.t

Returns true iff the given delegate has at least one assigned shard at the given level.

module Make (P : sig ... end) : sig ... end

Some global constants.

val dal_content_of_int : 
  loc:string ->
  int ->
  Tezos_protocol_alpha.Protocol.Alpha_context.dal_content

Builds a Alpha_context.dal_content from its integer representation, that is, the sum of powers of two of the indexes of attested slots.

Raises an exception when the given argument is negative.