package tezos-protocol-alpha
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
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_sig
Source
An integer used to identified a layer-2 address. See Tx_rollup_l2_address.index
.
An integer used to identified a layer-1 ticket deposited in a transaction rollup.
type metadata = {
counter : int64;
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.
type Tezos_protocol_environment_alpha.Error_monad.error +=
| Balance_too_low
| Balance_overflow
| Invalid_quantity
| Unknown_address_index of address_index
| Metadata_already_initialized of address_index
| Too_many_l2_addresses
| Too_many_l2_tickets
| Counter_overflow