Module Mavryk_raw_protocol_alpha.Zk_rollup_apply

This module handles all the validation/application of any operation related to the ZK Rollup. All of the functions defined in this module require that the ZKRU feature flag is enabled.

In the ZK Rollup, L2 operations are validated in two steps:

  1. The Protocol does the first pass of (light) validation and appends the L2 operation to a pending list.
  2. The ZKRU Operator does the second pass of validation for a prefix of the pending list and posts a proof on chain of the validity of each of them. Based on this proof, the Protocol is going to remove the prefix from the pending list, and apply their effect on the ZKRU L2 state and on the L1 balances.

The first step of validation is split into two cases, depending on the type of L2 operation that is being submitted:

Although L2 operations are mostly opaque, they expose a header that is transparent to the Protocol (see Zk_rollup_operation_repr.t). In this header there's a field for the price of an L2 operation, which will expose its kind. Concretely, the price encodes the net ticket transfer from L1 to L2 caused by an L2 operation. Then, deposits have a positive price, withdrawals a negative one, and pure L2 operations must have a price of zero.

An L2 operation's price also encodes which ticket is being transferred, by storing the ticket's hash (see Ticket_hash_repr). These hashes are used as token identifiers inside the ZKRU. In both cases, the L2 operations with a non-zero price (i.e. deposits and withdrawals) will be submitted alongside the values describing the ticket being transferred (see Zk_rollup_ticket_repr). These values have to be consistent with the token identifier used in the L2 operation's price.

NB: if ticket transfers by implicit accounts was supported, these two cases could be unified into the application of the Zk_rollup_publish operation.

type Mavryk_protocol_environment_alpha.Error_monad.error +=
  1. | Zk_rollup_feature_disabled
    (*

    Emitted when trying to apply a ZK Rollup operation while the ZKRU feature flag is not active.

    *)
  2. | Zk_rollup_negative_nb_ops
    (*

    Emitted when originating a ZK Rollup with a negative nb_ops.

    *)

These errors are only to be matched in tests.

assert_feature_enabled ctxt asserts that the ZK Rollup feature flag is activated.

May fail with:

  • Zk_rollup_feature_disabled if the ZKRU feature flag is not activated.

originate ~ctxt_before_op ~ctxt ~public_parameters ~transcript ~circuits_info ~init_state ~nb_ops applies the origination operation for a ZK rollup. See Zk_rollup_storage.originate.

May fail with:

  • Zk_rollup_feature_disabled if the ZKRU feature flag is not activated.
  • Zk_rollup_negative_nb_ops if nb_ops is negative.

publish ~ctxt_before_op ~ctxt ~zk_rollup ~l2_ops applies a publish operation to zk_rollup by adding l2_ops to its pending list.

All L2 operations in l2_ops must claim a non-positive price (see Zk_rollup_operation_repr). In other words, no deposit is allowed in this operation, as those must go through an internal transaction.

This function will first perform a series of validation checks over the L2 operations in l2_ops. If all of them are successful, these L2 operations will be added to dst_rollup's pending list.

May fail with:

  • Zk_rollup_feature_disabled if the ZKRU feature flag is not activated.
  • Zk_rollup.Errors.Deposit_as_external if the price of an L2 operation from ops is positive.
  • Zk_rollup.Errors.Invalid_deposit_amount if an L2 operation declares no ticket but has a non-zero price or if it declares a ticket with a price of zero.
  • Zk_rollup.Errors.Invalid_deposit_ticket if an L2 operation's ticket identifier (see Zk_rollup_operation_repr) is different from the hash of its corresponding ticket and l1_dst.
  • Zk_rollup_storage.Zk_rollup_invalid_op_code op_code if the op_code of one of the operations is greater or equal to the number of declared operations for this zk_rollup.

transaction_to_zk_rollup ~ctxt ~parameters_ty ~parameters ~payer ~dst_rollup ~since applies an internal transaction to a ZK dst_rollup.

Internal transactions are used for deposits into ZK rollups, which can be seen as a special case of the publish ZK rollup operation. The parameters should include a ticket and a ZKRU L2 operation, as explained in the Zk_rollup_parameters module's documentation.

This function will first perform a series of validation checks. If successful, the L2 operation from the parameters will be added to dst_rollup's pending list, and payer will pay for the added storage.

May fail with:

  • Zk_rollup_feature_disabled if the ZKRU feature flag is not activated.
  • Zk_rollup.Errors.Ticket_payload_size_limit_exceeded if the ticket found in the parameters exceeds the maximum ticket size.
  • Script_tc_errors.Forbidden_zero_ticket_quantity if the ticket amount is zero.
  • Zk_rollup.Errors.Invalid_deposit_amount if the amount of the ticket transferred to the dst_rollup is different from the price (see Zk_rollup_operation_repr) claimed by the L2 operation.
  • Zk_rollup.Errors.Invalid_deposit_ticket if the L2 operation's ticket identifier (see Zk_rollup_operation_repr) is different to the hash of the transferred ticket and dst_rollup.
  • Zk_rollup_storage.Zk_rollup_invalid_op_code op_code if the op_code of the operation from the parameters is greater or equal to the number of declared operations for this rollup.
  • Zk_rollup.Errors.Wrong_deposit_parameters if the parameters are not of the expected type. See Zk_rollup_parameters.

update ~ctxt_before_op ~ctxt ~zk_rollup ~update ~source_contract applies an update to zk_rollup.

A ZKRU update will verify three sorts of ZK circuits:

  • Public operation circuits, that handle a single L2 operation from the pending list.
  • Private batch circuits, that handle a batch of private L2 operations.
  • Fee circuit, which credits the ZKRU operator with all the aggregated fees from the update.

The update provides some inputs required to perform this verification, alongside the proof. See Zk_rollup_update_repr.

If the verification is successful, the zk_rollup's state is updated, a prefix of its pending list is dropped and the exits from the ZKRU are performed.

May fail with:

  • Zk_rollup_feature_disabled if the ZKRU feature flag is not activated.
  • Zk_rollup.Errors.Pending_bound if the update processes fewer public operation than allowed.
  • Zk_rollup.Errors.Inconsistent_state_update if the update declares a new state of incorrect length.
  • Zk_rollup.Errors.Invalid_circuit if a public operation circuit is ran as private.
  • Zk_rollup.Errors.Invalid_verification if the PlonK verification fails.
  • Zk_rollup.Errors.Invalid_deposit_amount if an L2 operation without a corresponding ticket in the pending list has a non-zero price.
  • Zk_rollup_storage.Zk_rollup_pending_list_too_short if the update tries to process more public operations than those in the pending list.