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/Skip_list_costs/index.html
Module Tezos_raw_protocol_alpha.Skip_list_costsSource
Source
val model_next :
length:Tezos_protocol_environment_alpha.Z.t ->
Saturation_repr.may_saturate Saturation_repr.tmodel_next ~length returns the gas cost of inserting a cell in a skip list of a given length, assuming basis equals 2.
Source
val model_hash_cell :
backpointers_count:int ->
Saturation_repr.may_saturate Saturation_repr.tmodel_hash_cell ~backpointers_count returns the gas cost of hashing the last cell with a given backpointers_count, assuming basis equals 2.
Source
val model_hash_cell_computed_backpointers_count :
index:Tezos_protocol_environment_alpha.Z.t ->
Saturation_repr.may_saturate Saturation_repr.tmodel_hash_cell_computed_backpointers_count ~index same as model_hash_cell but compute the number of backpointers a specific cell will have. Assuming basis equals 2.