package tezt-tezos

  1. Overview
  2. Docs
val endpoint : Dal_node.t -> string
type slot

Abstract version of a slot to deal with messages content which are smaller than the expected size of a slot.

val make_slot : ?padding:bool -> slot_size:int -> string -> slot

make_slot ?paddming ~slot_size content produces a slot. If padding=true (which is the default), then the content is padded to reach the expected size given by slot_size (which is usually obtained from Cryptobox.parameters).

val content_of_slot : slot -> string

content_of_slot slot retrieves the original content of a slot by removing the padding.

val make_cryptobox : ?on_error:(string -> Cryptobox.t) -> Cryptobox.parameters -> Cryptobox.t
val publish_slot_header : ?counter:int -> ?force:bool -> ?source:Account.key -> ?fee:int -> ?error:Tezt_wrapper.Base.rex -> index:int -> commitment:Cryptobox.commitment -> proof:Cryptobox.commitment_proof -> Client.t -> [ `OpHash of string ] Lwt.t
val store_slot : (Dal_node.t, Endpoint.t) Either.t -> ?with_proof:bool -> slot -> (string * string) Lwt.t

This function builds a slot with the given content, and makes the given DAL node to compute and store the corresponding commitment and shards by calling relevant RPCs. It returns the commitment and its proof.

OCaml

Innovation. Community. Security.