package tezos-protocol-alpha

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

Authors

Maintainers

Sources

tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Tx_rollup_l2_context_sig/index.html

Module Tezos_raw_protocol_alpha.Tx_rollup_l2_context_sigSource

Sourcemodule Ticket_indexable : sig ... end

An integer used to identified a layer-2 address. See Tx_rollup_l2_address.index.

Sourcetype ticket_index = Ticket_indexable.index

An integer used to identified a layer-1 ticket deposited in a transaction rollup.

Sourcetype metadata = {
  1. counter : int64;
  2. public_key : Tezos_protocol_environment_alpha.Bls.Public_key.t;
}

The metadata associated to a layer-2 address.

The counter is an counter-measure against replay attack. Each operation is signed with an integer (its counter). The counter is incremented when the operation is applied. This prevents the operation to be applied once again, since its integer will not be in sync with the counter of the account. The choice of int64 for the type of the counter theoretically prevents the rollup to an integer overflow. However, it can only happen if a single account makes more than 1.8446744e+19 operations. If an account sends 1000 operations per seconds, it would take them more than 5845420 centuries to achieve that.

The public_key allows to authenticate the owner of the address, by verifying BLS signatures.

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | Balance_too_low
  2. | Balance_overflow
  3. | Invalid_quantity
  4. | Unknown_address_index of address_index
  5. | Metadata_already_initialized of address_index
  6. | Too_many_l2_addresses
  7. | Too_many_l2_tickets
  8. | Counter_overflow
Sourcemodule type CONTEXT = sig ... end

This module type describes the API of the Tx_rollup context, which is used to implement the semantics of the L2 operations.

OCaml

Innovation. Community. Security.