package octez-protocol-016-PtMumbai-libs

You can search for identifiers within the package.

in-package search v0.2.0

octez-protocol-016-PtMumbai-libs.client
- Tezos_client_016_PtMumbai
octez-protocol-016-PtMumbai-libs.client.commands
- Tezos_client_016_PtMumbai_commands
octez-protocol-016-PtMumbai-libs.client.commands-registration
- Tezos_client_016_PtMumbai_commands_registration
  - Alpha_commands_registration
octez-protocol-016-PtMumbai-libs.client.sapling
- Tezos_client_sapling_016_PtMumbai
octez-protocol-016-PtMumbai-libs.layer2-utils
- Tezos_layer2_utils_016_PtMumbai
  - Layer1_services
octez-protocol-016-PtMumbai-libs.plugin
- Tezos_protocol_plugin_016_PtMumbai
  - Metrics_plugin
  - Plugin
  - Plugin_errors
  - RPC
    
    Baking_rights
    
    S
    
    Big_map
    
    S
    
    Contract
    
    S
    
    Dal
    
    S
    
    Endorsing_rights
    
    S
    
    Forge
    
    Manager
    
    S
    
    Tx_rollup
    
    Commitment
    
    Inbox
    
    Withdraw
    
    Parse
    
    S
    
    Registration
    
    S
    
    Sc_rollup
    
    S
    
    Scripts
    
    S
    
    Traced_interpreter
    
    Unparsing_mode
    
    UNPARSING_MODE
    
    Unparse_types
    
    Tx_rollup
    
    S
    
    Validators
    
    S
  - Script_interpreter_logging
    
    Logger_base
  - View_helpers
octez-protocol-016-PtMumbai-libs.plugin-registerer
- Tezos_protocol_plugin_016_PtMumbai_registerer
  - Plugin_registerer
    
    Metrics
    
    RPC
octez-protocol-016-PtMumbai-libs.smart-rollup
- Tezos_smart_rollup_016_PtMumbai
  - Context_helpers
    
    In_memory
    
    Tree
    
    P
    
    Tree
  - Game_helpers
    
    Wasm
  - Proof_helpers
  - Pvm_in_memory
    
    Arith
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
    
    Wasm
    
    Internal_for_tests
octez-protocol-016-PtMumbai-libs.smart-rollup-layer2
- Tezos_smart_rollup_layer2_016_PtMumbai
  - 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

Legend:
Library
Module
Module type
Parameter
Class
Class type

In_memory is a context that can be used to instantiate an Arith or Wasm PVM. It's signature is Protocol.Alpha_context.Sc_rollup.ArithPVM.P = Protocol.Alpha_context.Sc_rollup.Wasm_2_0_0PVM.P

include P
  with type Tree.tree = Tezos_context_memory.Context_binary.tree
   and type Tree.t = Tezos_context_memory.Context_binary.t
   and type proof =
         Tezos_context_memory.Context.Proof.tree
           Tezos_context_memory.Context.Proof.t

module Tree : 
  Tezos_context_sigs.Context.TREE
    with type key = string list
     and type value = bytes
    with type tree = Tezos_context_memory.Context_binary.tree
    with type t = Tezos_context_memory.Context_binary.t

Tree provides immutable, in-memory partial mirror of the context, with lazy reads and delayed writes. The trees are Merkle trees that carry the same hash as the part of the context they mirror.

type tree = Tree.tree

val hash_tree : 
  tree ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.State_hash.t

type proof =
  Tezos_context_memory.Context.Proof.tree Tezos_context_memory.Context.Proof.t

val proof_encoding : proof Tezos_base.TzPervasives.Data_encoding.t

val proof_before : 
  proof ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.State_hash.t

val proof_after : 
  proof ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.State_hash.t

val verify_proof : 
  proof ->
  (tree -> (tree * 'a) Lwt.t) ->
  (tree * 'a) option Lwt.t

val produce_proof : 
  Tree.t ->
  tree ->
  (tree -> (tree * 'a) Lwt.t) ->
  (proof * 'a) option Lwt.t

val make_empty_context : ?root:string -> unit -> Tree.t