tezos-protocol-012-Psithaca 12.3

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.

type 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;
}
| 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_construction of {
1. predecessor : Tezos_crypto.Block_hash.t;
2. predecessor_fitness : bytes list;
3. predecessor_level : Alpha_context.Level.t;
4. predecessor_round : Alpha_context.Round.t;
}
| Full_construction of {
1. predecessor : Tezos_crypto.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 : int32;
6. round : Alpha_context.Round.t;
7. predecessor_level : Alpha_context.Level.t;
8. predecessor_round : Alpha_context.Round.t;
}

type validation_state = {

mode : validation_mode;
chain_id : Tezos_crypto.Chain_id.t;
ctxt : Alpha_context.t;
op_count : int;
migration_balance_updates : Alpha_context.Receipt.balance_updates;
liquidity_baking_escape_ema : int32;
implicit_operations_results : Apply_results.packed_successful_manager_operation_result list;

}

type operation_data = Alpha_context.packed_protocol_data

type operation = Alpha_context.packed_operation = {

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

}

val init_cache : 
  Environment_context.Context.t ->
  Environment_context.Context.t Lwt.t

val check_manager_signature : 
  validation_state ->
  'b Alpha_context.Kind.manager Alpha_context.contents_list ->
  'a Alpha_context.operation ->
  (unit,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

check_manager_signature validation_state op raw_operation The function starts by retrieving the public key hash pkh of the manager operation. In case the operation is batched, the function also checks that the sources are all the same. Once the pkh is retrieved, the function looks for its associated public key. For that, the manager operation is inspected to check if it contains a public key revelation. If not, the public key is searched in the context.

returns
Error Invalid_signature if the signature check fails

returns
Error Unrevealed_manager_key if the manager has not yet been revealed

returns
Error Failure "get_manager_key" if the key is not found in the context

returns
Error Inconsistent_sources if the operations in a batch are not from the same manager

val precheck_manager : 
  validation_state ->
  'a Alpha_context.Kind.manager Alpha_context.contents_list ->
  (unit,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

precheck_manager validation_state op returns () if the manager operation op is solveable, returns an error otherwise. An operation is solveable if it is well-formed and can pay the fees to be included in a block with either a success or a failure status. This function uses Apply.precheck_manager_contents_list but discard the context and balance update

val max_block_length : int

val max_operation_data_length : int

val validation_passes : Environment_context.quota list

type block_header_data = Alpha_context.Block_header.protocol_data

val block_header_data_encoding : block_header_data Data_encoding.t

type block_header = Alpha_context.Block_header.t = {

shell : Tezos_base.Block_header.shell_header;
protocol_data : block_header_data;

}

type block_header_metadata = Apply_results.block_metadata

val block_header_metadata_encoding : block_header_metadata Data_encoding.t

type operation_receipt = Apply_results.packed_operation_metadata

val operation_data_encoding : operation_data Data_encoding.t

val operation_receipt_encoding : operation_receipt Data_encoding.t

val operation_data_and_receipt_encoding : 
  (operation_data * operation_receipt) Data_encoding.t

val acceptable_passes : operation -> int list

val relative_position_within_block : operation -> operation -> int

val begin_partial_application : 
  chain_id:Tezos_crypto.Chain_id.t ->
  ancestor_context:Environment_context.Context.t ->
  predecessor_timestamp:Tezos_base.Time.Protocol.t ->
  predecessor_fitness:bytes list ->
  block_header ->
  (validation_state,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val begin_application : 
  chain_id:Tezos_crypto.Chain_id.t ->
  predecessor_context:Environment_context.Context.t ->
  predecessor_timestamp:Tezos_base.Time.Protocol.t ->
  predecessor_fitness:bytes list ->
  block_header ->
  (validation_state,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val begin_construction : 
  chain_id:Tezos_crypto.Chain_id.t ->
  predecessor_context:Environment_context.Context.t ->
  predecessor_timestamp:Tezos_base.Time.Protocol.t ->
  predecessor_level:int32 ->
  predecessor_fitness:bytes list ->
  predecessor:Tezos_crypto.Block_hash.t ->
  timestamp:Tezos_base.Time.Protocol.t ->
  ?protocol_data:block_header_data ->
  unit ->
  (validation_state,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val apply_operation : 
  validation_state ->
  operation ->
  (validation_state * operation_receipt,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val finalize_block : 
  validation_state ->
  Tezos_base.Block_header.shell_header option ->
  (Environment_context.validation_result * block_header_metadata,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val rpc_services : Environment_context.rpc_context Tezos_rpc.RPC_directory.t

val init : 
  Environment_context.Context.t ->
  Tezos_base.Block_header.shell_header ->
  (Environment_context.validation_result,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

val value_of_key : 
  chain_id:Tezos_crypto.Chain_id.t ->
  predecessor_context:Environment_context.Context.t ->
  predecessor_timestamp:Tezos_base.Time.Protocol.t ->
  predecessor_level:int32 ->
  predecessor_fitness:bytes list ->
  predecessor:Tezos_crypto.Block_hash.t ->
  timestamp:Tezos_base.Time.Protocol.t ->
  (Environment_context.Context.cache_key ->
    (Environment_context.Context.cache_value,
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
        Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
      Stdlib.result
      Lwt.t,
    Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error
      Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace)
    Stdlib.result
    Lwt.t

package tezos-protocol-012-Psithaca