[MPoW] New MPoW

[badkk]

New MPoW Spec

Under the performance test restriction(reported files size) and other requirements, the whole MPoW re-designed with Incremental Reporting, New A/B Upgrade and Start Network.

Resolved #229
Resolved #215
Resolved #214
New open #259 #260 #262

Mechanism

⚡️ WR Reporting

1. WR reporting including added and deleted, the data structure shows below

pub struct WorkReport {
    pub block_number: u64,
    pub block_hash: BlockHash,
    pub files_size: u64,
    pub reserved: u64,
    pub deleted_files: Vec<(MerkleRoot, u64)>,
    pub added_files: Vec<(MerkleRoot, u64)>,
    pub reserved_root: MerkleRoot,
    pub files_root: MerkleRoot,
    pub pub_key: SworkerPubKey,
    pub old_pub_key: SworkerPubKey,
    pub sig: SworkerSig,
}

2. Validation process: (READ ONLY)

   • identity check；
     • Registed?
     • Valid sWorker code(or not expired)
   • A/B upgrade check: added and deleted should be empty, files root and srd root MUST match
   • Timing check；
     • Block Number matches Block Hash
     • Block number matches current_report_slot
   • sig check
   • files transition check, compare old_file_size matches the new_files_size change

3. merge work report: (WRITE)

   • Judge if it is resuming reporting(has report slot gap)，resuming report needs to set all sOrder status to success；
   • added files(Pending -> Success) -> set sOrder status to success and update order's expired;
   • added files(Failed -> Success) -> set sOrder status to success;
   • deleted files -> set sOrder status to failed；
   • Update ReportInSlot
   • Update total free and used
   • If it is A/B upgrade report, chill A;

Update Identities

1. Loop all IdBonds，sum up all work reports(mapping to identities) and update stake limit(staking module)；
2. As for the outdated work report，set stake_limit to 0 and set all corresponding sOrder status to failed(Only set once, aka. 1st failed)，but WITHOUT deleting work report；

Data structure

With pub_key as index，all data surrounded with this, account will define with IdBonds.

1. Identities

Map<PubKey, SworkerCode>;

2. IdBonds

Map<AccountId, PubKeys>

3. WorkReports

Map<PubKey, WorkReport>

4. ReportInSlot

DoubleMap<PubKey, ReportSlot, bool>

5. CurrentReportSlot

Option<ReportSlot>

6. Code

Option<SworkerCode>

7. ABExpire

Option<BlockNumber>

Calls

1. register
   • Check X509，and get pub key
   • Insert IdBonds（TODO: [MPoW] Add max bonded restriction #262 ）&Identities
2. report works(follow WR Reporting)
3. update identities(follow Update Identities)

Test breaking

Change all swork module test cases

Other modules's affects

1. check_works in market module

[mmyyrroonn]

LGTM!!! 👍

[mmyyrroonn]

just curious about the difference between Config and Config<T>

[badkk]

If we have storage with generic type to initialize(config), we need this <T>