Module Tezos_protocol_plugin_alpha.Mempool

Settings for the pre_filter:

• minimal fees to accept an operation (absolute, relative to the gas limit, and relative to the byte size)
• clock drift for the prefiltering of consensus operations

and for the conflict_handler:

• replacement factor, that is, how much better a new manager operation needs to be, in terms of both absolute fees and fee/gas ratios, in order to replace an old conflicting manager operation.

Default parameters.

Encoding for config.

Static information needed by pre_filter.

It depends on the head block upon which a mempool is built.

Create an info based on the head block and the current context.

Create a new info based on the head block.

Parts of the old info (which may have been built on a different block) are recycled, so that this function is more efficient than init and does not need an Environment.Context.t argument.

Perform some syntactic checks on the operation.

To be used mostly as an exceptional mechanism to prevent ill-formed operations to block block application.

Should be called before the pre_filter, does not need a context.

Perform some preliminary checks on an operation.

For manager operations, check that its fee, fee/gas ratio, and fee/size ratio all meet the minimal requirements specified in the config.

For consensus operations, check that it is possible for the operation to have been produced before now (plus additional time equal to the clock_drift from config, as a safety margin). Indeed, without this check, a baker could flood the network with consensus operations for any future rounds or levels. The ml file contains more detailled explanations with diagrams.

Return a conflict handler for Protocol.Mempool.add_operation (see Protocol.Mempool.conflict_handler).

For non-manager operations, select the greater operation according to Protocol.Alpha_context.Operation.compare.

A manager operation is replaced only when the new operation's fee and fee/gas ratio both exceed (or match) the old operation's metrics multiplied by the replace_by_fee factor specified in the config.

Precondition: both operations must be individually valid (to be able to call Protocol.Alpha_context.Operation.compare).

The purpose of this module is to provide the fee_needed_to_replace_by_fee function. For this function to be correct, the caller must maintain the state of type t by calling update on each successfully validated operation and its induced replacements.

Compute the minimal fee (expressed in mutez) that candidate_op would need to have in order to be strictly greater than op_to_overtake according to Protocol.Alpha_context.Operation.compare, when both operations are manager operations.

Return None when at least one operation is not a manager operation.

Also return None if both operations are manager operations but there was an error while computing the needed fee. However, note that this cannot happen when both manager operations have been successfully validated by the protocol.

An amount of fees in nanotez.

Encoding for nanotez.

Minimal absolute fees in default_config.

Minimal fee over gas_limit ratio in default_config.

Minimal fee over byte size ratio in default_config.

Protocol context

Return the protocol context

Return the sources from the operation