Variable $PersistedValidationDataConst

$PersistedValidationData: $.Shape<{
    maxPovSize: number;
    parentHead: `0x${string}`;
    relayParentNumber: number;
    relayParentStorageRoot: `0x${string}`;
}, {
    maxPovSize: number;
    parentHead: `0x${string}`;
    relayParentNumber: number;
    relayParentStorageRoot: `0x${string}`;
}> = ...

The validation data provides information about how to create the inputs for validation of a candidate. This information is derived from the chain state and will vary from para to para, although some fields may be the same for every para.

Since this data is used to form inputs to the validation function, it needs to be persisted by the availability system to avoid dependence on availability of the relay-chain state.

Furthermore, the validation data acts as a way to authorize the additional data the collator needs to pass to the validation function. For example, the validation function can check whether the incoming messages (e.g. downward messages) were actually sent by using the data provided in the validation data using so called MQC heads.

Since the commitments of the validation function are checked by the relay-chain, secondary checkers can rely on the invariant that the relay-chain only includes para-blocks for which these checks have already been done. As such, there is no need for the validation data used to inform validators and collators about the checks the relay-chain will perform to be persisted by the availability system.

The PersistedValidationData should be relatively lightweight primarily because it is constructed during inclusion for each candidate and therefore lies on the critical path of inclusion.