package tezos-protocol-alpha
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
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.