Struct HostConfiguration

pub struct HostConfiguration<BlockNumber> {

    pub max_code_size: u32,
    pub max_head_data_size: u32,
    pub max_upward_queue_count: u32,
    pub max_upward_queue_size: u32,
    pub max_upward_message_size: u32,
    pub max_upward_message_num_per_candidate: u32,
    pub hrmp_max_message_num_per_candidate: u32,
    pub validation_upgrade_cooldown: BlockNumber,
    pub validation_upgrade_delay: BlockNumber,
    pub async_backing_params: AsyncBackingParams,
    pub max_pov_size: u32,
    pub max_downward_message_size: u32,
    pub hrmp_max_parachain_outbound_channels: u32,
    pub hrmp_sender_deposit: Balance,
    pub hrmp_recipient_deposit: Balance,
    pub hrmp_channel_max_capacity: u32,
    pub hrmp_channel_max_total_size: u32,
    pub hrmp_max_parachain_inbound_channels: u32,
    pub hrmp_channel_max_message_size: u32,
    pub executor_params: ExecutorParams,
    pub code_retention_period: BlockNumber,
    pub max_validators: Option<u32>,
    pub dispute_period: SessionIndex,
    pub dispute_post_conclusion_acceptance_period: BlockNumber,
    pub no_show_slots: u32,
    pub n_delay_tranches: u32,
    pub zeroth_delay_tranche_width: u32,
    pub needed_approvals: u32,
    pub relay_vrf_modulo_samples: u32,
    pub pvf_voting_ttl: SessionIndex,
    pub minimum_validation_upgrade_delay: BlockNumber,
    pub minimum_backing_votes: u32,
    pub node_features: NodeFeatures,
    pub approval_voting_params: ApprovalVotingParams,
    pub scheduler_params: SchedulerParams<BlockNumber>,
}

All configuration of the runtime with respect to paras.

Fields

max_code_size: u32

The parameters that are required for the parachains. The maximum validation code size, in bytes.

max_head_data_size: u32

The maximum head-data size, in bytes.

max_upward_queue_count: u32

Total number of individual messages allowed in the parachain -> relay-chain message queue.

max_upward_queue_size: u32

Total size of messages allowed in the parachain -> relay-chain message queue before which no further messages may be added to it. If it exceeds this then the queue may contain only a single message.

max_upward_message_size: u32

The maximum size of an upward message that can be sent by a candidate.

This parameter affects the size upper bound of the CandidateCommitments.

max_upward_message_num_per_candidate: u32

The maximum number of messages that a candidate can contain.

This parameter affects the size upper bound of the CandidateCommitments.

hrmp_max_message_num_per_candidate: u32

The maximum number of outbound HRMP messages can be sent by a candidate.

This parameter affects the upper bound of size of CandidateCommitments.

validation_upgrade_cooldown: BlockNumber

The minimum period, in blocks, between which parachains can update their validation code.

This number is used to prevent parachains from spamming the relay chain with validation code upgrades. The only thing it controls is the number of blocks the UpgradeRestrictionSignal is set for the parachain in question.

If PVF pre-checking is enabled this should be greater than the maximum number of blocks PVF pre-checking can take. Intuitively, this number should be greater than the duration specified by pvf_voting_ttl. Unlike, pvf_voting_ttl, this parameter uses blocks as a unit.

validation_upgrade_delay: BlockNumber

The delay, in blocks, after which an upgrade of the validation code is applied.

The upgrade for a parachain takes place when the first candidate which has relay-parent >= the relay-chain block where the upgrade is scheduled. This block is referred as to expected_at.

expected_at is determined when the upgrade is scheduled. This happens when the candidate that signals the upgrade is enacted. Right now, the relay-parent block number of the candidate scheduling the upgrade is used to determine the expected_at. This may change in the future with #4601.

When PVF pre-checking is enabled, the upgrade is scheduled only after the PVF pre-check has been completed.

Note, there are situations in which expected_at in the past. For example, if paras_availability_period is less than the delay set by this field or if PVF pre-check took more time than the delay. In such cases, the upgrade is further at the earliest possible time determined by minimum_validation_upgrade_delay.

The rationale for this delay has to do with relay-chain reversions. In case there is an invalid candidate produced with the new version of the code, then the relay-chain can revert validation_upgrade_delay many blocks back and still find the new code in the storage by hash.

async_backing_params: AsyncBackingParams

Asynchronous backing parameters.

max_pov_size: u32

The parameters that are not essential, but still may be of interest for parachains. The maximum POV block size, in bytes.

max_downward_message_size: u32

The maximum size of a message that can be put in a downward message queue.

Since we require receiving at least one DMP message the obvious upper bound of the size is the PoV size. Of course, there is a lot of other different things that a parachain may decide to do with its PoV so this value in practice will be picked as a fraction of the PoV size.

hrmp_max_parachain_outbound_channels: u32

The maximum number of outbound HRMP channels a parachain is allowed to open.

hrmp_sender_deposit: Balance

The deposit that the sender should provide for opening an HRMP channel.

hrmp_recipient_deposit: Balance

The deposit that the recipient should provide for accepting opening an HRMP channel.

hrmp_channel_max_capacity: u32

The maximum number of messages allowed in an HRMP channel at once.

hrmp_channel_max_total_size: u32

The maximum total size of messages in bytes allowed in an HRMP channel at once.

hrmp_max_parachain_inbound_channels: u32

The maximum number of inbound HRMP channels a parachain is allowed to accept.

hrmp_channel_max_message_size: u32

The maximum size of a message that could ever be put into an HRMP channel.

This parameter affects the upper bound of size of CandidateCommitments.

executor_params: ExecutorParams

The executor environment parameters

code_retention_period: BlockNumber

Parameters that will unlikely be needed by parachains. How long to keep code on-chain, in blocks. This should be sufficiently long that disputes have concluded.

max_validators: Option<u32>

The maximum number of validators to use for parachain consensus, period.

None means no maximum.

dispute_period: SessionIndex

The amount of sessions to keep for disputes.

dispute_post_conclusion_acceptance_period: BlockNumber

How long after dispute conclusion to accept statements.

no_show_slots: u32

The amount of consensus slots that must pass between submitting an assignment and submitting an approval vote before a validator is considered a no-show.

Must be at least 1.

n_delay_tranches: u32

The number of delay tranches in total. Must be at least 1.

zeroth_delay_tranche_width: u32

The width of the zeroth delay tranche for approval assignments. This many delay tranches beyond 0 are all consolidated to form a wide 0 tranche.

needed_approvals: u32

The number of validators needed to approve a block.

relay_vrf_modulo_samples: u32

The number of samples to do of the RelayVRFModulo approval assignment criterion.

pvf_voting_ttl: SessionIndex

If an active PVF pre-checking vote observes this many number of sessions it gets automatically rejected.

0 means PVF pre-checking will be rejected on the first observed session unless the voting gained supermajority before that the session change.

minimum_validation_upgrade_delay: BlockNumber

The lower bound number of blocks an upgrade can be scheduled.

Typically, upgrade gets scheduled validation_upgrade_delay relay-chain blocks after the relay-parent of the parablock that signalled the validation code upgrade. However, in the case a pre-checking voting was concluded in a longer duration the upgrade will be scheduled to the next block.

That can disrupt parachain inclusion. Specifically, it will make the blocks that were already backed invalid.

To prevent that, we introduce the minimum number of blocks after which the upgrade can be scheduled. This number is controlled by this field.

This value should be greater than paras_availability_period.

minimum_backing_votes: u32

The minimum number of valid backing statements required to consider a parachain candidate backable.

node_features: NodeFeatures

Node features enablement.

approval_voting_params: ApprovalVotingParams

Params used by approval-voting

scheduler_params: SchedulerParams<BlockNumber>

Scheduler parameters

Implementations

impl<BlockNumber> HostConfiguration<BlockNumber>

where BlockNumber: Zero + PartialOrd + Debug + Clone + From<u32>,

pub fn check_consistency(&self) -> Result<(), InconsistentError<BlockNumber>>

Checks that this instance is consistent with the requirements on each individual member.

Errors

This function returns an error if the configuration is inconsistent.

pub fn panic_if_not_consistent(&self)

Checks that this instance is consistent with the requirements on each individual member.

Panics

This function panics if the configuration is inconsistent.

Trait Implementations

impl<BlockNumber: Clone> Clone for HostConfiguration<BlockNumber>

fn clone(&self) -> HostConfiguration<BlockNumber>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<BlockNumber> Debug for HostConfiguration<BlockNumber>

where BlockNumber: Debug,

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

Formats the value using the given formatter.

impl<BlockNumber> Decode for HostConfiguration<BlockNumber>

where BlockNumber: Decode, SchedulerParams<BlockNumber>: Decode,

fn decode<__CodecInputEdqy: Input>( __codec_input_edqy: &mut __CodecInputEdqy, ) -> Result<Self, Error>

Attempt to deserialise the value from input.

fn decode_into<I>( input: &mut I, dst: &mut MaybeUninit<Self>, ) -> Result<DecodeFinished, Error>

where I: Input,

Attempt to deserialize the value from input into a pre-allocated piece of memory.

fn skip<I>(input: &mut I) -> Result<(), Error>

where I: Input,

Attempt to skip the encoded value from input.

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type.

impl<BlockNumber: Default + From<u32>> Default for HostConfiguration<BlockNumber>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, BlockNumber> Deserialize<'de> for HostConfiguration<BlockNumber>

where BlockNumber: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<BlockNumber> Encode for HostConfiguration<BlockNumber>

where BlockNumber: Encode, SchedulerParams<BlockNumber>: Encode,

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding.

fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy, )

Convert self to a slice and append it to the destination.

fn encode(&self) -> Vec<u8>

Convert self to an owned vector.

fn using_encoded<R, F>(&self, f: F) -> R

where F: FnOnce(&[u8]) -> R,

Convert self to a slice and then invoke the given closure with it.

fn encoded_size(&self) -> usize

Calculates the encoded size.

impl<BlockNumber: PartialEq> PartialEq for HostConfiguration<BlockNumber>

fn eq(&self, other: &HostConfiguration<BlockNumber>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<BlockNumber> Serialize for HostConfiguration<BlockNumber>

where BlockNumber: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<BlockNumber> TypeInfo for HostConfiguration<BlockNumber>

where BlockNumber: TypeInfo + 'static, SchedulerParams<BlockNumber>: TypeInfo + 'static,

type Identity = HostConfiguration<BlockNumber>

The type identifying for which type info is provided.

fn type_info() -> Type

Returns the static type identifier for Self.

impl<BlockNumber> EncodeLike for HostConfiguration<BlockNumber>

where BlockNumber: Encode, SchedulerParams<BlockNumber>: Encode,

impl<BlockNumber> StructuralPartialEq for HostConfiguration<BlockNumber>