type t = tree
The state of the
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.
type 'a m = 'a Lwt.t
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
module Syntax : sig ... end
The necessary monadic operators the storage monad is required to provide.
val bls_verify : (Tezos_protocol_environment_013_PtJakart.Bls_signature.pk * bytes) list -> Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_context_sig.signature -> bool m
bls_aggregate_verify allows to verify the aggregated signature of a batch.
module Address_metadata : sig ... end
The metadata associated to an address.
module Address_index : sig ... end
module Ticket_index : sig ... end
module Ticket_ledger : sig ... end
The ledger of the layer 2 where are registered the amount of a given ticket a L2
account has in its possession.