Enum polkadot_node_subsystem_types::messages::CandidateValidationMessage

pub enum CandidateValidationMessage {
    ValidateFromChainState(CandidateReceipt, Arc<PoV>, Duration, Sender<Result<ValidationResult, ValidationFailed>>),
    ValidateFromExhaustive(PersistedValidationData, ValidationCode, CandidateReceipt, Arc<PoV>, Duration, Sender<Result<ValidationResult, ValidationFailed>>),
    PreCheck(Hash, ValidationCodeHash, Sender<PreCheckOutcome>),
}

Messages received by the Validation subsystem.

Validation Requests

Validation requests made to the subsystem should return an error only on internal error. Otherwise, they should return either Ok(ValidationResult::Valid(_)) or Ok(ValidationResult::Invalid).

Variants

ValidateFromChainState(CandidateReceipt, Arc<PoV>, Duration, Sender<Result<ValidationResult, ValidationFailed>>)

Tuple Fields

0: CandidateReceipt

1: Arc<PoV>

2: Duration

Execution timeout

3: Sender<Result<ValidationResult, ValidationFailed>>

Validate a candidate with provided parameters using relay-chain state.

This will implicitly attempt to gather the PersistedValidationData and ValidationCode from the runtime API of the chain, based on the relay_parent of the CandidateReceipt.

This will also perform checking of validation outputs against the acceptance criteria.

If there is no state available which can provide this data or the core for the para is not free at the relay-parent, an error is returned.

ValidateFromExhaustive(PersistedValidationData, ValidationCode, CandidateReceipt, Arc<PoV>, Duration, Sender<Result<ValidationResult, ValidationFailed>>)

Tuple Fields

0: PersistedValidationData

1: ValidationCode

2: CandidateReceipt

3: Arc<PoV>

4: Duration

Execution timeout

5: Sender<Result<ValidationResult, ValidationFailed>>

Validate a candidate with provided, exhaustive parameters for validation.

Explicitly provide the PersistedValidationData and ValidationCode so this can do full validation without needing to access the state of the relay-chain.

This request doesn’t involve acceptance criteria checking, therefore only useful for the cases where the validity of the candidate is established. This is the case for the typical use-case: secondary checkers would use this request relying on the full prior checks performed by the relay-chain.

PreCheck(Hash, ValidationCodeHash, Sender<PreCheckOutcome>)

Try to compile the given validation code and send back the outcome.

The validation code is specified by the hash and will be queried from the runtime API at the given relay-parent.

Trait Implementations

impl Debug for CandidateValidationMessage

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.