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/Make/index.html
Module Tx_rollup_l2_context.MakeSource
Parameters
module S : Tx_rollup_l2_storage_sig.STORAGESignature
The state of the Tx_rollup context.
The context provides a type-safe, functional API to interact with the state of a transaction rollup. The functions of this module, manipulating and creating values of type t are called “context operations” afterwards.
The monad used by the context.
Note: It is likely to be the monad of the underlying storage. In the case of the proof verifier, as it is expected to be run into the L1, the monad will also be used to perform gas accounting. This is why all the functions of this module type needs to be inside the monad m.
The necessary monadic operators the storage monad is required to provide.
val bls_verify :
(Tezos_protocol_environment_alpha.Bls.Public_key.t * bytes) list ->
Tx_rollup_l2_context_sig.signature ->
bool mbls_aggregate_verify allows to verify the aggregated signature of a batch.
The metadata associated to an address.
Mapping between Tx_rollup_l2_address.address and address_index.
Mapping between Ticket_hash.t and ticket_index.
The ledger of the layer 2 where are registered the amount of a given ticket a L2 account has in its possession.