filecoin-project/specs

Glossary Definitions Update - Input Needed

Closed this issue · 3 comments

The following terms appear in the current spec glossary section, but their definition seems out of date or the terms have become obsolete.

@lucaniz @irenegia can you please suggest the correct definitions for those terms?


Challenge Sampling

[input needed]

Challenge Ticket

Derived from a Partial Ticket as part of ElectionPoSt and used to run leader election.

Confirmation

[input needed]

Generation Attack Threshold

Security parameter. Number of rounds within which a new Proof-of-Storage must be submitted in order for a miner to retain power in the network (and avoid getting slashed). This number must be be smaller than the minimum time it takes for an adversarial miner to generate a replica of the data (thereby not storing it undetectably for some period of time).

The Generation Attack Threshold is equal to the Polling Time + some Grace Period after which miners get slashed.

Partial Ticket

Ticket produced as part of the ElectionPoSt process used to both prove leader elections and prove storage of a given data replica through PoSt. At least one is included in every block header.

Polling Time

Security Parameter. Polling time is the time between two online PoReps in a PoSt proof.

Quality-adjusted storage power

The storage power that a storage miner earns from a storage deal offered by a verified client will be augmented by a multiplier. Power totals that take into account this multiplier are termed quality adjusted.

Election Randomness Lookback

[input needed]

Challenge Sampling
[input needed]

This depends on the context, in general it refers to an algorithm for challenge derivation used in a proof (PoSt or in PoRep). E.g., https://beta.spec.filecoin.io/#algorithms__sdr__post-challenges

Challenge Ticket
Derived from a Partial Ticket as part of ElectionPoSt and used to run leader election.

Challenge Ticket does not exists anymore, it should be removed.

Partial Ticket
Ticket produced as part of the ElectionPoSt process used to both prove leader elections and prove storage of a given data replica through PoSt. At least one is included in every block header.

Same as before, we can remove this.

Confirmation
[input needed]

I believe that the definition for this term is the standard one for any blockchain, @sa8 can you confirm this?

Quality-adjusted storage power
The storage power that a storage miner earns from a storage deal offered by a verified client will be augmented by a multiplier. Power totals that take into account this multiplier are termed quality adjusted.

Remove this, instead add the terms (the reference is the latest CE blog post):

  • Sector Spacetime:​ This measurement is the sector size multiplied by its promised duration in byte-epochs.
  • Deal Weight:​ This weight converts spacetime occupied by deals into consensus power. Deal weight of verified client deals in a sector is called Verified Deal Weight and will be greater than the regular deal weight. More details in Section 6.
  • Deal Quality Multiplier​: This factor is assigned to different deal types (committed capacity, regular deals, and verified client deals) to reward different content.
  • Sector Quality Multiplier:​ Sector quality is assigned on Activation (the epoch when the miner starts proving theyʼre storing the file). The sector quality multiplier is computed
    12
    as an average of deal quality multipliers (committed capacity, regular deals, and verified client deals), weighted by the amount of spacetime each type of deal occupies in the sector. Expressed algebraically,
  • Raw Byte Power:​ This measurement is the size of a sector in bytes.
  • Quality-Adjusted Power:​ This parameter measures the consensus power of stored data on the network, and is equal to Raw Byte Power multiplied by Sector Quality Multiplier.

Election Randomness Lookback
[input needed]

Remove it.

I am not sure about "Polling Time" and "Generation Attack Threshold".
They are related with winningPoSt, but it seems that the spec do not go in to the details of the mechanic of this proof. Sp having them in the glossary is not very useful, unless we add more details for winningPoSt and the time model.

Thank you @irenegia for the input. It has all been integrated into the latest commits in #1151.