SCORU: Pick sensible bounds for Number_of_messages.max.
If it is too large: insertion proofs may become infeasible large.
If it is too small: since one commitments is expected to be for every n <= MAX_TEZOS_LEVELS_PER_COMMITMENT block, we may be artificially restricting the number of messages.
Suggested course of action:
-
Pick
Number_of_messages.maxs.t. the maximum number of messages in a commitment is somewhat larger than the maximum amount messages per L1 commitment *MAX_TEZOS_LEVELS_PER_COMMITMENT. -
Show that the insertion proof can fit into an L1 block.
See also
-
@yrg started a discussion: I guess this number is chosen arbitrarily. Please open an issue not to forget to update this value (and the other one of this module) and put a
TODOin the code.