package tezos-tx-rollup-015-PtLimaPt

  1. Overview
  2. Docs
package tezos-tx-rollup-015-PtLimaPt
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_tx_rollup_015_PtLimaPt.InterpreterSource

Sourcetype Tezos_base.TzPervasives.error +=
  1. | Tx_rollup_message_proof_too_large of {
    1. limit : int;
    2. actual : int;
    }

Error result when the message's application produces a too large proof. It overrides the layer2 apply message result.

Sourceval interpret_messages : rejection_max_proof_size:int -> Context.context -> Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_apply.parameters -> Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_message.t Tezos_base.TzPervasives.trace -> (Context.context * Inbox.message list option) Tezos_base.TzPervasives.tzresult Lwt.t

Interpreting the messages in the context.

It uses internally the Prover_apply to produce a proof associated to the interpretation of each message. In the case where the proof is larger than the configuration limit, the message's interpretation is discarded alongside the modified context.

Sourceval interpret_batch : rejection_max_proof_size:int -> Context.context -> Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_apply.parameters -> (Tezos_protocol_015_PtLimaPt.Protocol.Indexable.unknown, Tezos_protocol_015_PtLimaPt.Protocol.Indexable.unknown) Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_batch.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t

Interpreting the batch in the context.

Similarly to interp_messages, it uses internally the Prover_apply. However, the function fails if the interpretation produces a proof that is larger than the configuration limit. We here want to check only if the batch is interpretable, the modified tree is discarded.

TODO/TORU: maybe we could check the results for each transaction in the batch