package tezos-protocol-015-PtLimaPt
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Zk_rollup_storage/index.html
Module Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_storageSource
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.toriginate 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.tadd_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_codeif theop_codeof one of theoperationsis 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.tassert_exist context rollup asserts that rollup has been initialized. Returns the new context.
May fail with:
Zk_rollup_does_not_existifrollupis 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.texists context rollup returns a boolean representing whether rollup has been initialized.