Data specific to a given chain (e.g. the main chain or the current test chain).
type chain_state = tval create :
global_state ->
?allow_forked_chain:bool ->
commit_genesis:
(chain_id:Tezos_crypto.Chain_id.t ->
(Tezos_crypto.Context_hash.t, Tezos_error_monad.TzCore.error list)
Stdlib.result
Lwt.t) ->
Tezos_base.Genesis.t ->
Tezos_crypto.Chain_id.t ->
(chain_state, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.tInitialize a chain for a given genesis. By default, the chain does accept forking test chain. When ~allow_forked_chain:true is provided, test chain are allowed.
val get :
global_state ->
Tezos_crypto.Chain_id.t ->
(chain_state, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.tLook up for a chain by the hash of its genesis block.
val get_opt :
global_state ->
Tezos_crypto.Chain_id.t ->
chain_state option Lwt.tval get_exn : global_state -> Tezos_crypto.Chain_id.t -> chain_state Lwt.tval main : global_state -> Tezos_crypto.Chain_id.tval test : chain_state -> Tezos_crypto.Chain_id.t option Lwt.tval all : global_state -> chain_state Stdlib.Seq.t Lwt.tReturns all the known chains.
val destroy : global_state -> chain_state -> unit Lwt.tDestroy a chain: this completely removes from the local storage all the data associated to the chain (this includes blocks and operations).
val id : chain_state -> Tezos_crypto.Chain_id.tVarious accessors.
val genesis : chain_state -> Tezos_base.Genesis.tval global_state : chain_state -> global_stateval faked_genesis_hash : chain_state -> Tezos_crypto.Block_hash.tHash of the faked block header of the genesis block.
val expiration : chain_state -> Tezos_base.Time.Protocol.t optionReturn the expiration timestamp of a test chain.
val allow_forked_chain : chain_state -> boolval checkpoint : chain_state -> Tezos_base.Block_header.t Lwt.tval save_point :
chain_state ->
(Stdlib.Int32.t * Tezos_crypto.Block_hash.t) Lwt.tval caboose : chain_state -> (Stdlib.Int32.t * Tezos_crypto.Block_hash.t) Lwt.tval store : chain_state -> Legacy_store.t Lwt.tval set_checkpoint : chain_state -> Tezos_base.Block_header.t -> unit Lwt.tUpdate the current checkpoint. The current head should be consistent (i.e. it should either have a lower level or pass through the checkpoint). In the process all the blocks from invalid alternate heads are removed from the disk, either completely (when `level <= checkpoint`) or still tagged as invalid (when `level > checkpoint`).
val set_checkpoint_then_purge_full :
chain_state ->
Tezos_base.Block_header.t ->
(unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.tApply set_checkpoint then purge_full (see History_mode.Legacy.t).
val set_checkpoint_then_purge_rolling :
chain_state ->
Tezos_base.Block_header.t ->
(unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.tApply set_checkpoint then purge_rolling (see History_mode.Legacy.t).
val acceptable_block : chain_state -> Tezos_base.Block_header.t -> bool Lwt.tCheck that a block is compatible with the current checkpoint. This function assumes that the predecessor is known valid.
val all_indexed_protocols :
chain_state ->
(int * (Tezos_crypto.Protocol_hash.t * int32)) list Lwt.tList all the indexed protocols in the chain. The resulting list contains elements of the form <proto_level>, (<proto_hash>,
<activation_level>).
val get_level_indexed_protocol :
chain_state ->
Tezos_base.Block_header.t ->
Tezos_crypto.Protocol_hash.t Lwt.tGet the level indexed chain protocol store for the given header.
val update_level_indexed_protocol_store :
chain_state ->
Tezos_crypto.Chain_id.t ->
int ->
Tezos_crypto.Protocol_hash.t ->
Tezos_base.Block_header.t ->
unit Lwt.tUpdate the level indexed chain protocol store so that the block can easily access its corresponding protocol hash from the protocol level in its header. Also stores the transition block level.