Revision 03d4e3099705095f258c7d37b65ac688553f70d0 authored by Nic Volanschi on 21 February 2024, 20:34:04 UTC, committed by Marge Bot on 22 February 2024, 08:38:38 UTC
1 parent 9ebb46e
Raw File
genesis.mli
(** The chain starts from a genesis block associated to a seed protocol *)
type t = {
  time : Time.Protocol.t;
  block : Tezos_crypto.Hashed.Block_hash.t;
  protocol : Tezos_crypto.Hashed.Protocol_hash.t;
}

val encoding : t Data_encoding.t

val equal : t -> t -> bool

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

module Parameters : sig
  (** Parameters for the genesis protocol.

      [context_key] is the key, in the context, which leads to the genesis parameters.
      For [proto_genesis] for instance, this is ["sandbox_parameter"].

      [values] are the actual parameters. For [proto_genesis] for instance, it should
      be a JSON object with one field: ["genesis_pubkey"] containing the activator key. *)
  type t = {context_key : string; values : Data_encoding.json}

  val encoding : t Data_encoding.t
end
back to top