package tezos-protocol-alpha
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Tx_rollup_message_result_repr/index.html
Module Tezos_raw_protocol_alpha.Tx_rollup_message_result_reprSource
Source
type t = {context_hash : Tezos_protocol_environment_alpha.Context_hash.t;withdraw_list_hash : Tx_rollup_withdraw_list_hash_repr.t;
}empty_l2_context_hash is the context hash of the layer-2 context just after its origination.
The empty layer2 context hash is the hash of the underlying Irmin tree. One important note is: an empty tree *must* not be hashed when it's empty. See https://github.com/mirage/irmin/issues/1304.
Our solution is to write data in the tree to have a non-empty one. We write the Tx_rollup_l2_context.Ticket_count default value (i.e. 0) and the Tx_rollup_l2_context.Address_count as well in the tree. Then we hash the resulting tree to create this constant.