package octez-protocol-017-PtNairob-libs

You can search for identifiers within the package.

in-package search v0.2.0

octez-protocol-017-PtNairob-libs.baking
- Tezos_baking_017_PtNairob
octez-protocol-017-PtNairob-libs.baking-commands
- Tezos_baking_017_PtNairob_commands
  - Baking_commands
octez-protocol-017-PtNairob-libs.baking-commands.registration
- Tezos_baking_017_PtNairob_commands_registration
  - Baking_commands_registration
octez-protocol-017-PtNairob-libs.baking.tenderbrute
- Tenderbrute_017_PtNairob
  - Tenderbrute
octez-protocol-017-PtNairob-libs.bakings.mockup-simulator
- Tezos_017_PtNairob_mockup_simulator
octez-protocol-017-PtNairob-libs.client
- Tezos_client_017_PtNairob
octez-protocol-017-PtNairob-libs.client.commands
- Tezos_client_017_PtNairob_commands
octez-protocol-017-PtNairob-libs.client.commands-registration
- Tezos_client_017_PtNairob_commands_registration
  - Alpha_commands_registration
octez-protocol-017-PtNairob-libs.client.sapling
- Tezos_client_sapling_017_PtNairob
octez-protocol-017-PtNairob-libs.dac
- Tezos_dac_017_PtNairob
  - Dac_plugin_registration
    
    Make
    
    Mapper
    
    Proto
    
    Mempool
octez-protocol-017-PtNairob-libs.dal
- Tezos_dal_017_PtNairob
  - Dal_plugin_registration
    
    Plugin
  - Dal_slot_frame_encoding
    
    Slot_version
    
    V0
    
    Internal
octez-protocol-017-PtNairob-libs.layer2-utils
- Tezos_layer2_utils_017_PtNairob
  - Layer1_services
octez-protocol-017-PtNairob-libs.plugin
- Tezos_protocol_plugin_017_PtNairob
  - Mempool
    
    Conflict_map
    
    Internal_for_tests
  - Metrics_plugin
  - Plugin
  - Plugin_errors
  - RPC
    
    Attestation_rights
    
    S
    
    Baking_rights
    
    S
    
    Big_map
    
    S
    
    Contract
    
    S
    
    Dal
    
    S
    
    Forge
    
    Manager
    
    S
    
    Tx_rollup
    
    Commitment
    
    Inbox
    
    Withdraw
    
    Parse
    
    S
    
    Registration
    
    S
    
    Sc_rollup
    
    S
    
    Scripts
    
    Normalize_stack
    
    S
    
    Traced_interpreter
    
    Unparsing_mode
    
    UNPARSING_MODE
    
    Unparse_types
    
    Tx_rollup
    
    S
    
    Validators
    
    S
  - Script_interpreter_logging
    
    Logger_base
  - View_helpers
octez-protocol-017-PtNairob-libs.plugin-registerer
- Tezos_protocol_plugin_017_PtNairob_registerer
  - Plugin_registerer
    
    Metrics
    
    RPC
    
    Validation
octez-protocol-017-PtNairob-libs.smart-rollup
- Tezos_smart_rollup_017_PtNairob
  - Context_helpers
    
    In_memory
    
    P
  - Game_helpers
    
    Wasm
  - Proof_helpers
  - Pvm_in_memory
    
    Arith
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
    
    Wasm
    
    Internal_for_tests
octez-protocol-017-PtNairob-libs.smart-rollup-layer2
- Tezos_smart_rollup_layer2_017_PtNairob
  - Sc_rollup_proto_types
    
    Address
    
    Commitment
    
    Commitment_hash
    
    Dal
    
    Page_index
    
    Slot_header
    
    Slot_history
    
    Slot_history_cache
    
    Slot_index
    
    Game
    
    Inbox
    
    Inbox_hash
    
    Kind
    
    Merkelized_payload_hashes_hash
    
    State_hash
  - Sc_rollup_services
    
    Block
    
    Helpers
    
    Encodings
    
    Query
octez-protocol-017-PtNairob-libs.test-helpers
- Tezos_017_PtNairob_test_helpers
  - Account
  - Assert
    
    Int32
    
    Int64
  - Big_map_helpers
  - Block
    
    Forge
  - Consensus_helpers
  - Context
    
    Contract
    
    Delegate
    
    Sc_rollup
    
    Vote
  - Contract_helpers
  - Cpmm_logic
    
    Simulate
    
    Simulate_raw
  - Cpmm_repr
    
    Parameter
    
    Storage
  - Dal_helpers
    
    Make
    
    P
  - Dummy_zk_rollup
    
    Bound
    
    Bounded
    
    Encoding
    
    VL
    
    P
    
    V
    
    Operator
    
    Internal_for_tests
    
    Params
    
    Types
    
    Encodings
    
    Bounded_e
    
    VL
    
    P
    
    Dummy
    
    V
    
    Bounded_u
    
    V
    
    E
    
    Bounded_e
    
    VL
  - Error_monad_operators
  - Expr
  - Expr_common
  - Incremental
  - Liquidity_baking_generator
  - Liquidity_baking_machine
    
    ConcreteMachine
    
    SymbolicMachine
    
    ValidationMachine
    
    Concrete
    
    Symbolic
  - Lqt_fa12_repr
    
    Parameter
    
    Storage
  - Lwt_result_wrap_syntax
  - Merkle_list_helper
    
    Hash
    
    Map
    
    Set
    
    ML
    
    Internal_for_tests
  - Nonce
  - Op
  - Operation_generator
    
    Gen_hash
    
    H
  - Rewards
  - Sapling_helpers
    
    Alpha_context_helpers
    
    Common
    
    Interpreter_helpers
  - Sc_rollup_helpers
    
    Arith_pvm
    
    Internal_for_tests
    
    In_memory_context
    
    Tree
    
    Make_in_memory_context
    
    Context
    
    Tree
    
    Tree
    
    Node_inbox
    
    Payloads_histories
    
    Protocol_inbox
    
    Protocol_inbox_with_ctxt
    
    Wasm_pvm
    
    Internal_for_tests
    
    Wrong_arith_pvm
    
    Internal_for_tests
    
    Wrong_in_memory_context
    
    Tree
  - Script_big_map
  - Script_map
  - Script_set
  - Test_global_constants
    
    Generators
  - Test_tez
  - Testable
  - Ticket_helpers
  - Transfers
  - Zk_rollup_l2_helpers

Legend:
Library
Module
Module type
Parameter
Class
Class type

type incremental = {

predecessor : Baking_state.block_info;
context : Tezos_protocol_environment.Context.t;
state : Tezos_protocol_017_PtNairob.Protocol.validation_state * Tezos_protocol_017_PtNairob.Protocol.application_state option;
rev_operations : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Operation.packed list;
header : Tezos_base.Block_header.shell_header;

}

val load_context : 
  context_path:string ->
  Abstract_context_index.t Tezos_base.TzPervasives.tzresult Lwt.t

val check_context_consistency : 
  Abstract_context_index.t ->
  Tezos_base.TzPervasives.Context_hash.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Make sure that the given context is consistent by trying to read in it

val begin_construction : 
  timestamp:Tezos_base.TzPervasives.Time.Protocol.t ->
  protocol_data:Tezos_protocol_017_PtNairob.Protocol.block_header_data ->
  force_apply:bool ->
  pred_resulting_context_hash:Tezos_base.TzPervasives.Context_hash.t ->
  Abstract_context_index.t ->
  Baking_state.block_info ->
  Tezos_base.TzPervasives.Chain_id.t ->
  incremental Tezos_base.TzPervasives.tzresult Lwt.t

begin_construction ~timestamp ~protocol_data ~force_apply abstract_context predecessor chain_id creates a new incremental value with an empty operation list. A context is recovered from the abstract_index and the resulting_context_hash from predecessor. This context is used to create a validation_state and an application_state (if force_apply is set). A partial shell_header is created from predecessor information and timestamp.

val add_operation : 
  incremental ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Operation.packed ->
  (incremental * Tezos_protocol_017_PtNairob.Protocol.operation_receipt option)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

add_operation incremental op validates op in incremental.validation_state without checking its signature. Indeed, the operation has already been validated in the node so it has a correct signature. We still need to validate it again because the context may be different. op is also applied if incremental has been created with force_apply set. This function returns an incremental with updated operations list and validation_state (and application_state).

val finalize_construction : 
  incremental ->
  (Tezos_protocol_environment.validation_result
   * Tezos_protocol_017_PtNairob.Protocol.block_header_metadata)
    option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

finalize_construction incremental calls the finalize_validation of the protocol on the validation_state from incremental. If incremental has been created with force_apply set, finalize_application is also called and its results returned.