Filecoin
DSN Veri Yapıları
Context
Figure 5 appears at the start of Section 4.2 (Data Structures) within the Filecoin DSN Construction section. It provides the formal data structure definitions for the three core state-management objects in the Filecoin DSN: the Pledge, the Orderbook, and the Allocation Table (AllocTable). These data structures are the persistent state that the Network manages at every blockchain epoch.
What This Figure Shows
The Pledge data structure is defined as a signed tuple (size, coll) from miner M_i, where size is the pledged sector size and coll is the collateral deposited. The Orderbook is defined as an ordered list of currently valid deal, ask, and bid orders. The AllocTable maps each miner to a list of allocEntry records; each allocEntry contains a sector ID, the set of deal orders assigned to that sector, the last epoch at which a valid proof was submitted, and a missing counter tracking consecutive absent proofs. The missing counter is central to the fault-detection and penalization logic described in Section 4.3.4.
Significance
These data structures define the complete on-chain state of the Filecoin storage market, enabling the Network to enforce miner accountability without centralized coordination. The AllocTable's Merkle root is stored in each block, allowing light clients to verify storage assignments via Merkle proofs, and the missing counter operationalizes the slashing mechanism that creates economic incentives for honest storage.
