JAR: JAM Axiomatic Reference
JAR: JAM Axiomatic Reference
Table of Contents
1.
Notation and Conventions
2.
Numeric Types
3.
Protocol Constants
4.
Type Definitions
5.
Cryptographic Primitives
6.
Safrole Consensus
7.
State Transition
8.
Service Invocations
9.
Polkadot Virtual Machine
10.
Accumulation
11.
Serialization Codec
12.
Merkle Structures
13.
Erasure Coding
7.
State Transition
7.1.
Timekeeping
7.2.
Header Validation (§5)
7.3.
Recent History (§4.2)
7.4.
Entropy (§6.3)
7.5.
Validator Management (§6)
7.6.
Judgments (§10)
7.7.
Reports (§11)
7.8.
Authorization Pool
7.9.
Accumulation (§12)
7.10.
Preimages (§12.7)
7.11.
Statistics (§13)
7.12.
State Transition
←
6.4. Chain Selection
7.1. Timekeeping
→
7. State Transition
🔗
The block-level state transition function
Υ(σ, B) = σ'
(GP eq 4.1).
7.1.
Timekeeping
7.2.
Header Validation (§5)
7.3.
Recent History (§4.2)
7.4.
Entropy (§6.3)
7.5.
Validator Management (§6)
7.6.
Judgments (§10)
7.7.
Reports (§11)
7.8.
Authorization Pool
7.9.
Accumulation (§12)
7.10.
Preimages (§12.7)
7.11.
Statistics (§13)
7.12.
State Transition
←
6.4. Chain Selection
7.1. Timekeeping
→