package octez-protocol-alpha-libs
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
doc/octez-protocol-alpha-libs.baking/Tezos_baking_alpha/Operation_selection/index.html
Module Tezos_baking_alpha.Operation_selectionSource
type simulation_result = {validation_result : Tezos_protocol_environment.validation_result option;block_header_metadata : Tezos_protocol_alpha.Protocol.Apply_results.block_metadata option;operations : Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list list;operations_hash : Tezos_base.TzPervasives.Operation_list_list_hash.t;
}val filter_operations_with_simulation :
Baking_simulator.incremental ->
Baking_configuration.fees_config ->
hard_gas_limit_per_block:
Tezos_protocol_alpha.Protocol.Alpha_context.Gas.Arith.integral ->
Operation_pool.Prioritized.t ->
simulation_result Tezos_base.TzPervasives.tzresult Lwt.tfilter_operations_with_simulation incremental fees_config ~hard_gas_limit_per_block ops tries to validate prioritized operations (and apply them if incremental has been initialised with an application_state) and filter them regarding the quota of each validation pass. Manager operations are prioritized based on a weight computed from their fees/gas/bytes. filter_operations_with_simulation function returns a simulation_result, containing the validated operation, their resulting operations_hash, optional validation_result and block_header_metadata if the operations were applied.
val filter_operations_without_simulation :
Baking_configuration.fees_config ->
hard_gas_limit_per_block:
Tezos_protocol_alpha.Protocol.Alpha_context.Gas.Arith.integral ->
Operation_pool.Prioritized.t ->
Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list listfilter_operations_without_simulation fees_config ~hard_gas_limit_per_block ops is similar to filter_operations_with_simulation but does not validate (and apply) operations from ops and returns only the operations instead of a simulation_result.
Hypothesis: operations from ops have previously been validated.
val filter_consensus_operations_only :
Baking_simulator.incremental ->
Operation_pool.ordered_pool ->
(Baking_simulator.incremental * Operation_pool.ordered_pool)
Tezos_base.TzPervasives.tzresult
Lwt.tfilter_consensus_operations_only incremental ops is similar to filter_operations_with_simulation but only filters consensus operations from ops.