Dynamic Coretime pricing

The regions sold in the market are classified into two categories:

• Active regions. Active regions can be used in the current moment. This means that if we assign a task to an active region, it will start execution in the upcoming timeslice (assuming that the region doesn't begin later in the future)

• Inactive regions. These are the regions that will become active in the upcoming Bulk period. The regions purchased from the Coretime chain fall into this category until the start of the next Bulk period.

Region pricing

The formula used to calculate the price of a region listed for sale is as follows:

$$r_{price}=(r_{end}- t)*tp$$

Where:

• $r_{end}$: is the timeslice at which the region concludes

• $t$: represents the current timeslice

• $tp$: is the cost per timeslice defined by the seller upon listing the region on the market. Based on the region's core occupancy (which defines what portion of the core the region occupies), the timeslice price will likely differ.

The parachain doesn't store the entire region's price; instead, it records the price of its timeslice, which is determined at the time of listing the region.

Through this, we are achieving dynamic pricing for 'active' regions which reflects their gradual loss of value when not being used.