Module Commitment.V1

type t = {
  1. compressed_state : State_hash.t;
  2. inbox_level : int32;
  3. predecessor : Hash.t;
  4. number_of_ticks : int64;
}

Type of smart rollup commitments. See Protocol.Sc_rollup_commitment_repr.t.

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

Pretty printing protocol agnostic commitments.

val encoding : t Mavryk_base.TzPervasives.Data_encoding.t

Encoding for commitments.

val hash : t -> Hash.t

Hashing a commitment.

val genesis_commitment : origination_level:int32 -> genesis_state_hash:State_hash.t -> t

genesis_commitment ~origination_level ~genesis_state_hash is the commitment that is published when originating a new rollup. See Protocol.Sc_rollup_commitment_repr.genesis_commitment.