type Tezos_base.TzPervasives.error += Error result when the message's application produces a too large proof. It overrides the layer2 apply message result.
val 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.tInterpreting 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.
val 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.tInterpreting 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