Storage Miner
-
State
reliable
-
Theory Audit
wip
-
Edit this section
-
section-systems.filecoin_mining.storage_mining
-
State
reliable
-
Theory Audit
wip
- Edit this section
-
section-systems.filecoin_mining.storage_mining
Storage Mining Subsystem
-
State
reliable
-
Theory Audit
wip
-
Edit this section
-
section-systems.filecoin_mining.storage_mining.storage-mining-subsystem
-
State
reliable
-
Theory Audit
wip
- Edit this section
-
section-systems.filecoin_mining.storage_mining.storage-mining-subsystem
The Filecoin Storage Mining Subsystem ensures a storage miner can effectively commit storage to the Filecoin protocol in order to both:
- Participate in the Filecoin Storage Market by taking on client data and participating in storage deals.
- Participate in Filecoin Storage Power Consensus by verifying and generating blocks to grow the Filecoin blockchain and earning block rewards and fees for doing so.
The above involves a number of steps to putting on and maintaining online storage, such as:
- Committing new storage (see Sector, Sector Sealing and PoRep)
- Continuously proving storage (see WinningPoSt and Window PoSt)
- Declaring storage faults and recovering from them.
Filecoin Proofs
-
State
reliable
-
Theory Audit
wip
-
Edit this section
-
section-systems.filecoin_mining.storage_mining.filecoin-proofs
-
State
reliable
-
Theory Audit
wip
- Edit this section
-
section-systems.filecoin_mining.storage_mining.filecoin-proofs
Proof of Replication
-
State
reliable
-
Theory Audit
wip
-
Edit this section
-
section-systems.filecoin_mining.storage_mining.proof-of-replication
-
State
reliable
-
Theory Audit
wip
- Edit this section
-
section-systems.filecoin_mining.storage_mining.proof-of-replication
A Proof of Replication (PoRep) is a proof that a Miner has correctly generated a unique replica of some underlying data.
In practice, the underlying data is the raw data contained in an Unsealed Sector, and a PoRep is a SNARK proof that the sealing process was performed correctly to produce a Sealed Sector (See Sealing a Sector).
It is important to note that the replica should not only be unique to the miner, but also to the time when a miner has actually created the replica, i.e., sealed the sector. This means that if the same miner produces a sealed sector out of the same raw data twice, then this would count as a different replica.
When Miners commit to storing data, they must first produce a valid Proof of Replication.
Proof of Spacetime
-
State
reliable
-
Theory Audit
wip
-
Edit this section
-
section-systems.filecoin_mining.storage_mining.proof-of-spacetime
-
State
reliable
-
Theory Audit
wip
- Edit this section
-
section-systems.filecoin_mining.storage_mining.proof-of-spacetime
A Proof of Spacetime (aka PoSt) is a long-term assurance of a Miner’s continuous storage of their Sectors’ data. This is not a single proof, but a collection of proofs the Miner has submitted over time. Periodically, a Miner must add to these proofs by submitting a WindowPoSt:
- Fundamentally, a WindowPoSt is a collection of merkle proofs over the underlying data in a Miner’s Sectors.
- WindowPoSts bundle proofs of various leaves across groups of Sectors (called Partitions).
- These proofs are submitted as a single SNARK.
The historical and ongoing submission of WindowPoSts creates assurance that the Miner has been storing, and continues to store the Sectors they agreed to store in the storage deal.
Once a Miner successfully adds and ProveCommits a Sector, the Sector is assigned to a Deadline: a specific window of time during which PoSts must be submitted. The day is broken up into 48 individual Deadlines of 30 minutes each, and ProveCommitted Sectors are assigned to one of these 48 Deadlines.
- PoSts may only be submitted for the currently-active Deadline. Deadlines are open for 30 minutes, starting from the Deadline’s “Open” epoch and ending at its “Close” epoch.
- PoSts must incorporate randomness pulled from a random beacon. This randomness becomes publicly available at the Deadline’s “Challenge” epoch, which is 20 epochs prior to its “Open” epoch.
- Deadlines also have a
FaultCutoff
epoch, 70 epochs prior to its “Open” epoch. After this epoch, Faults can no longer be declared for the Deadline’s Sectors.
Miner Accounting
-
State
reliable
-
Theory Audit
wip
-
Edit this section
-
section-systems.filecoin_mining.storage_mining.miner-accounting
-
State
reliable
-
Theory Audit
wip
- Edit this section
-
section-systems.filecoin_mining.storage_mining.miner-accounting
A Miner’s financial gain or loss is affected by the following three actions:
- Miners deposit tokens to act as collateral for their PreCommitted and ProveCommitted Sectors
- Miners earn tokens from block rewards, when they are elected to mine a new block and extend the blockchain.
- Miners lose tokens if they fail to prove storage of a sector and are given penalties as a result.
Balance Requirements
-
State
reliable
-
Theory Audit
wip
-
Edit this section
-
section-systems.filecoin_mining.storage_mining.balance-requirements
-
State
reliable
-
Theory Audit
wip
- Edit this section
-
section-systems.filecoin_mining.storage_mining.balance-requirements
A Miner’s token balance MUST cover ALL of the following:
- PreCommit Deposits: When a Miner PreCommits a Sector, they must supply a “precommit deposit” for the Sector, which acts as collateral. If the Sector is not ProveCommitted on time, this deposit is removed and burned.
- Initial Pledge: When a Miner ProveCommits a Sector, they must supply an “initial pledge” for the Sector, which acts as collateral. If the Sector is terminated, this deposit is removed and burned along with rewards earned by this sector up to a limit.
- Locked Funds: When a Miner receives tokens from block rewards, the tokens are locked and added to the Miner’s vesting table to be unlocked linearly over some future epochs.
Faults, Penalties and Fee Debt
-
State
reliable
-
Theory Audit
wip
-
Edit this section
-
section-systems.filecoin_mining.storage_mining.faults-penalties-and-fee-debt
-
State
reliable
-
Theory Audit
wip
- Edit this section
-
section-systems.filecoin_mining.storage_mining.faults-penalties-and-fee-debt
Faults
A Sector’s PoSts must be submitted on time, or that Sector is marked “faulty.” There are three types of faults:
- Declared Fault: When the Miner explicitly declares a Sector “faulty” before its Deadline’s FaultCutoff. Recall that
WindowPoSt
proofs are submitted per partition for a specificChallengeWindow
. A miner has to declare the sector as faulty before theChallengeWindow
for the particular partition opens. Until the sectors are recovered they will be masked from proofs in subsequent proving periods. - Detected Fault: Partitions of sectors without PoSt proof verification records, which have not been declared faulty before the
FaultCutoff
epoch’s deadline are marked as detected faults. - Skipped Fault: If a sector is currently in active or recovering state and has not been declared faulty before, but the miner’s PoSt submission does not include a proof for this sector, then this is a “skipped fault” sector (also referred to as “skipped undeclared fault”). In other words, when a miner submits PoSt proofs for a partition but does not include proofs for some sectors in the partition, then these sectors are in “skipped fault” state. This is in contrast to the “detected fault” state, where the miner does not submit a PoSt proof for any section in the partition at all. The skipped fault is helpful in case a sector becomes faulty after the
FaultCutoff
epoch.
Note that the “skipped fault” allows for sector-wise fault penalties, as compared to partition-wide faults and penalties, as is the case with “detected faults”.
Deadlines
A deadline is a period of WPoStChallengeWindow
epochs that divides a proving period.
Sectors are assigned to a deadline on ProveCommit, by calling either miner.ProveCommitSector
, or miner.ProveCommitAggregate
, and will remain assigned to it throughout their lifetime. Recall that Sectors are also assigned to a partition.
A miner must submit a miner.SubmitWindowedPoSt
for each deadline.
There are four relevant epochs associated to a deadline:
Name | Distance from Open |
Description |
---|---|---|
Open |
0 |
Epoch from which a PoSt Proof for this deadline can be submitted. |
Close |
WPoStChallengeWindow |
Epoch after which a PoSt Proof for this deadline will be rejected. |
FaultCutoff |
-FaultDeclarationCutoff |
Epoch after which a miner.DeclareFault and miner.DeclareFaultRecovered for sectors in the upcoming deadline are rejected. |
Challenge |
-WPoStChallengeLookback |
Epoch at which the randomness for the challenges is available. |
Fault Recovery
Regardless of how a fault first becomes known (declared, skipped, detected), the sector stays faulty and is excluded from future proofs until the miner explicitly declares it recovered. The declaration of recovery restores the sector to the proving set at the start of the subsequent proving period. When a PoSt for a just-recovered sector is received, power for that sector is restored.
Penalties
A Miner may accrue penalties for many reasons:
- PreCommit Expiry Penalty: Occurs if a Miner fails to ProveCommit a PreCommitted Sector in time. This happens the first time that a miner declares that it proves a sector and falls into the PoRep consensus.
- Undeclared Fault Penalty: Occurs if a Miner fails to submit a PoSt for a Sector on time. Depending on whether the “Skipped Fault” option is implemented, this penalty applies to either a sector or a whole partition.
- Declared Fault Penalty: Occurs if a Miner fails to submit a PoSt for a Sector on time, but they declare the Sector faulty before the system finds out (in which case the fault falls in the “Undeclared Fault Penalty” above). This penalty fee should be lower than the undeclared fault penalty, in order to incentivize Miners to declare faults early.
- Ongoing Fault Penalty: Occurs every Proving Period a Miner fails to submit a PoSt for a Sector.
- Termination Penalty: Occurs if a Sector is terminated before its expiration.
- Consensus Fault Penalty: Occurs if a Miner commits a consensus fault and is reported.
When a Miner accrues penalties, the amount penalized is tracked as “Fee Debt.” If a Miner has Fee Debt, they are restricted from certain actions until the amount owed is paid off. Miners with Fee Debt may not:
- PreCommit new Sectors
- Declare faulty Sectors “recovered”
- Withdraw balance
Faults are implied to be “temporary” - that is, a Miner that temporarily loses internet connection may choose to declare some Sectors for their upcoming proving period as faulty, because the Miner knows they will eventually regain the ability to submit proofs for those Sectors. This declaration allows the Miner to still submit a valid proof for their Deadline (minus the faulty Sectors). This is very important for Miners, as missing a Deadline’s PoSt entirely incurs a high penalty.