TODO for September 3

[pooja]

Closes out #418

@whyrusleeping:

• Review PR feat: define SectorSet #367 (and close Rough draft of SectorSet #333 if we merge 367) -- currently in-progress with some changes

@sternhenri:

• Genesis block fields are not well defined #446
• Implementation team questions about the spec #442
• Undefined: How to compute and verify the signature on the block header #457
• Improve the spec for deal arbitration: Decide on including a starting block height in a deal proposal #200, make deal arbitration more scalable #89, Clarify BigInt vs BigUint #343, Clarify which type of collateral is penalized by ArbitrateDeal #353, Make arbitrate deal able to slash miners for never posting the sector #306, also address signed deal responses, miner automated response to arbitration challenges (if any), handle terminated data transfer/flaky miners and clients
• Off-chain asks: Moving asks off chain #309

--- ^ For this week

• VDFs in EC: VDFs for EC #399
• TipSet ordering in EC: Patch/ticket in nulls #453
• Tickets in SEAL: SEAL Replica ID should also include a historical ticket #56
• Validation: Undefined: block timestamp validation logic #458

@dignifiedquire:

• Review PR Explicitly add parent tipset to slashing function argument #412
• Include slashing mechanism from Slashing Mechanism #383
• Complete PoSt spec Rational PoSt #332 : Spans many issues, including Remove ActiveCollateral from PoSt #371, Rational PoSt #332, specify the behavior of the ProvingPeriodDuration function #321, Specify CheckPostProofs in more detail #375, What is a FaultSet, why does a submitPoSt message allow for multiple FaultSet, and how do they "stack"? #119
• Resolve faults open issues/questions in [wip] update fault handling and recovery #379 : Spans many issues, including Resume mining after being slashed #92, Clarify (ir-)recoverability of complete slashing #292, Late PoSt and temporary sector failure fee calculations #328

@nicola:

@nikkolasg:

• Review implementation of BLS sigs
• BLS vs Secpk for ticket Sigs #441

@laser:

• Finish up PR protocol does not define an enumeration of supported sector sizes #318

@jbenet:

• Review issue Aligning on collateral usage #426

@pooja:

• Write VerifyTipSet: Rewrite VerifyBlock in mining.md spec to work for tipsets (VerifyTipset) #369
• Complete signatures spec: Rewrite signatures.md, review PR Signature Aggregation #210
• Add appendix: Include Spec for content policy implementation #55, Document how removal of data for legal reasons  #65, architecture diagram, and API interface
• Add diagram style notes: Add diagram guidelines to style.md #372

To pick up next week (in addition to some from the existing backlog):

• VM: Document method to get randomness from chain #226, State machine execution model #225, Modify spec so we can compute slashing conditions in state machine #176 (@dignifiedquire)
• Spec'ing gas: state machine spec is out of date re: gas #79
• Upgrading proofs: think about upgrading proofs #132
• Upgradeability: Document the approach to upgrading the protocol, versioning, governance. Addresses Specs for protocol upgrades ahead of implementation #277, Protocol Versions #197
• Make sure the IPLD HAMT specs land: Follow these PRs add basic spec for hamt ipld/specs#109 and HashMap (HAMT) spec ipld/specs#131, and close issue HAMT spec #224 when those are merged
• Others: change cbor-rpc messages to use tuple representation  #450 cbor serialization of big integers (Uint) is undefined #445 cbor serialization of addresses is undefined #444
• Finish Proofs PR: Add bucket and DRG sampling to the proofs spec
• Miner address updating: 'ChangeWorker' method needs to be delayed #415