package tezos-protocol-013-PtJakart
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Tx_rollup_gas/index.html
Module Tezos_raw_protocol_013_PtJakart.Tx_rollup_gasSource
Source
val hash :
hash_f:(bytes list -> 'b) ->
Raw_context.t ->
'a Tezos_protocol_environment_013_PtJakart.Data_encoding.t ->
'a ->
(Raw_context.t * 'b)
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultA generic helper to hash an input
Source
val hash_cost :
int ->
Gas_limit_repr.cost
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresulthash_cost size returns the cost of gas for hashing a buffer of size bytes.
Returns Tx_rollup_input_message_size iff size < 0.
Source
val consume_check_path_inbox_cost :
Raw_context.t ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultSource
val consume_check_path_commitment_cost :
Raw_context.t ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultSource
val consume_add_message_cost :
Raw_context.t ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultconsume_add_message_cost ctxt consume the gas cost of adding a message to an inbox and return the new context.
Source
val consume_compact_commitment_cost :
Raw_context.t ->
int ->
Raw_context.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult