State Transition Dependencies

[emielsebastiaan]

Objectives

• Defines order in which STFs must be executed.
• Defines parallelization by which STFs are allowed to be executed.

Art

• STFs are listed on each row.
• Input requirements for STFs are listed on each column.
• Output of STFs are marked as a black cells.
• Input requirements for individual STFs are marked as a green (X) cells.
• Individual STFs can be executed in parallel if input requirements are met.
• Block data (Header & Extrinsic) and Pre-State requirements are available at any time during block execution.
• Intermediate state and Posterior state requirements are only available after one or more individual STFs have been executed.
• Levels indicate the number of dependencies on prior execution of individual STFs.

Requires

• Implementation of STF Isolation (Refactor: Sandboxed STFs #30).
• Parallelization (to be determined, but increases performance by removing unnecessary idle time).

References

• Graypaper v0.3.8 equations: 16 - 30.