package tezos-protocol-015-PtLimaPt
type Tezos_protocol_environment_015_PtLimaPt.Error_monad.error +=
| Zk_rollup_does_not_exist of Zk_rollup_repr.t
(*Emitted when trying to perform an operation over a ZK rollup that hasn't been initialised.
*)| Zk_rollup_invalid_op_code of int
(*Emitted when trying to add to the pending list and operation with an invalid op code.
*)
These errors are only to be matched in tests.
val originate :
Raw_context.t ->
Zk_rollup_account_repr.static ->
init_state:Zk_rollup_state_repr.t ->
(Raw_context.t
* Zk_rollup_repr.t
* Tezos_protocol_environment_015_PtLimaPt.Z.t)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
originate context static ~init_state
produces an address a
for a ZK rollup storage using the origination_nonce
from the context
. This function also initializes the storage, indexing the initial ZKRU account by a
.
Returns the new context and ZKRU address, alongside the size of the new account.
val add_to_pending :
Raw_context.t ->
Zk_rollup_repr.t ->
(Zk_rollup_operation_repr.t * Ticket_hash_repr.t option) list ->
(Raw_context.t * Tezos_protocol_environment_015_PtLimaPt.Z.t)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
add_to_pending context rollup operations
appends to the ZK rollup
's pending list a list of L2 operations
. Returns the new context alongside the size of the new operations.
May fail with:
Zk_rollup_invalid_op_code op_code
if theop_code
of one of theoperations
is greater or equal to the number of declared operations for thisrollup
.
val assert_exist :
Raw_context.t ->
Zk_rollup_repr.t ->
Raw_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
assert_exist context rollup
asserts that rollup
has been initialized. Returns the new context.
May fail with:
Zk_rollup_does_not_exist
ifrollup
is not found.
val exists :
Raw_context.t ->
Zk_rollup_repr.t ->
(Raw_context.t * bool)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
exists context rollup
returns a boolean representing whether rollup
has been initialized.