package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
package tezos-protocol-013-PtJakart
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module introduces the interpretation (off-chain) of layer2 operations read from its inboxes.

The main concern is now to interpret operations in the layer2 context with a high-throughput and process a significant number of operations “per second.”

The operations can be crafted with indexes (see Indexable). It is meant to reduce the size of operations, and therefore, increase the number of those in a message to the layer2. You will see in this file indexables which are yet unknowns (see Indexable.unknown). They can be later on modified to indexes only (see Indexable.index_only) when the potential values have been replaced by their indexes.

Therefore, we need to have the minimal number of accesses to the context. Thus, when a value is read from its index in the context, it *must* be done once.

type Tezos_protocol_environment_013_PtJakart.Error_monad.error +=
  1. | Counter_mismatch of {
    1. account : Tx_rollup_l2_address.t;
    2. expected : int64;
    3. provided : int64;
    }
  2. | Incorrect_aggregated_signature
  3. | Unallocated_metadata of int32
  4. | Multiple_operations_for_signer of Tezos_protocol_environment_013_PtJakart.Bls_signature.pk
  5. | Invalid_transaction_encoding
  6. | Invalid_batch_encoding
  7. | Unexpectedly_indexed_ticket
  8. | Missing_ticket of Alpha_context.Ticket_hash.t
  9. | Unknown_address of Tx_rollup_l2_address.t
  10. | Invalid_self_transfer
  11. | Invalid_zero_transfer
  12. | Maximum_withdraws_per_message_exceeded of {
    1. current : int;
    2. maximum : int;
    }

Applying operations in the layer2 can result in creating indexes associated to both the addresses and the ticket hashes. We keep track of these creations in order to replace the values by their indexes in future operations.

module Message_result : sig ... end
type parameters = {
  1. tx_rollup_max_withdrawals_per_batch : int;
}

The record of parameters used during the application of messages.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct