Module `Tezos_raw_protocol_014_PtKathma.Main`Source

Tezos Protocol Implementation - Protocol Signature Instance

This module is the entrypoint to the protocol for shells and other embedders. This signature is an instance of the Updater.PROTOCOL signature from the Protocol Environment.

Each Protocol depends on a version of the Protocol Environment. For the currently developed protocol, this is normally the latest version. You can see the full list of versions here.

For details on how Protocol and Environment interact, see this overview.

Sourcetype validation_mode =

| Application of {
1. block_header : Alpha_context.Block_header.t;
2. fitness : Alpha_context.Fitness.t;
3. payload_producer : Alpha_context.public_key_hash;
4. block_producer : Alpha_context.public_key_hash;
5. predecessor_round : Alpha_context.Round.t;
6. predecessor_level : Alpha_context.Level.t;
}
(*
Full Validation of a block. See Tezos_protocol_environment_sigs.V5.T.Updater.PROTOCOL.begin_application*
*)
| Partial_application of {
1. block_header : Alpha_context.Block_header.t;
2. fitness : Alpha_context.Fitness.t;
3. payload_producer : Alpha_context.public_key_hash;
4. block_producer : Alpha_context.public_key_hash;
5. predecessor_level : Alpha_context.Level.t;
6. predecessor_round : Alpha_context.Round.t;
}
(*
Partial_application is used in pre-checking of blocks - not all checks are done. Special case of Application to allow quick rejection of bad blocks. See Tezos_protocol_environment_sigs.V5.T.Updater.PROTOCOL.begin_partial_application
*)
| Partial_construction of {
1. predecessor : Tezos_protocol_environment_014_PtKathma.Block_hash.t;
2. predecessor_fitness : Tezos_protocol_environment_014_PtKathma.Fitness.t;
3. predecessor_level : Alpha_context.Level.t;
4. predecessor_round : Alpha_context.Round.t;
}
(*
Shell/mempool-only construction of a virtual block. See Tezos_protocol_environment_sigs.V5.T.Updater.PROTOCOL.begin_construction
*)
| Full_construction of {
1. predecessor : Tezos_protocol_environment_014_PtKathma.Block_hash.t;
2. payload_producer : Alpha_context.public_key_hash;
3. block_producer : Alpha_context.public_key_hash;
4. protocol_data_contents : Alpha_context.Block_header.contents;
5. level : Tezos_protocol_environment_014_PtKathma.Int32.t;
6. round : Alpha_context.Round.t;
7. predecessor_level : Alpha_context.Level.t;
8. predecessor_round : Alpha_context.Round.t;
}
(*
Baker-only block construction for baking in. See Tezos_protocol_environment_sigs.V5.T.Updater.PROTOCOL.begin_construction
*)

validation_mode permits to differenciate !type:validation_state values.

There are four validation modes:

Application
Partial_application
Partial_construction
Full_construction

For the meaning and typical uses of each mode, refer to the comments attached to the corresponding type constructors below.

Sourcetype validation_state = {

mode : validation_mode;
chain_id : Tezos_protocol_environment_014_PtKathma.Chain_id.t;
ctxt : Alpha_context.t;
op_count : int;
migration_balance_updates : Alpha_context.Receipt.balance_updates;
liquidity_baking_toggle_ema : Alpha_context.Liquidity_baking.Toggle_EMA.t;
implicit_operations_results : Apply_results.packed_successful_manager_operation_result list;
validate_operation_info : Validate_operation.validate_operation_info;
validate_operation_state : Validate_operation.validate_operation_state;

}

Sourcetype operation_data = Alpha_context.packed_protocol_data

Sourcetype operation = Alpha_context.packed_operation = {

shell : Tezos_protocol_environment_014_PtKathma.Operation.shell_header;
protocol_data : operation_data;

}

package tezos-protocol-014-PtKathma

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Main/index.html

Module Tezos_raw_protocol_014_PtKathma.MainSource

Module `Tezos_raw_protocol_014_PtKathma.Main`Source