introduce block sequence test vector class - Githubissues

filecoin-project / test-vectors

💎 VM and Chain test vectors for Filecoin implementations

Other

18 stars 27 forks source link

introduce block sequence test vector class #28

Open raulk opened 4 years ago

raulk commented 4 years ago

Block sequence class: model a sequence of {block_arrival_time_offset, full_block} that captures the timeline in which blocks are to be received.

This is to test chain selection and reorgs.
Requires:
- An implementation that is able to mock time.
- Oni introduced that feature in Lotus already.
- In Lotus, targeting the syncer#ValidateBlock method, not the VM API.
- Crafting blocks programmatically.
- Computing the correct postcondition state tree that indicates the test passed.
The test driver needs to feed blocks to the syncer, advancing time respectively as the test vector indicates.

raulk commented 4 years ago

Notes

Preconditions

genesis
- root CID
- genesis time; it's part of the genesis block, but for simplicity we hoist it to the
lookback chain history
- chainstore export as a CAR; see ChainExport
- head tipset block CIDs.
lookback state tree history
- although it can be computed from the chain history, it might be easier to just embed the root CIDs in the CAR

Applies

Array of blocks, provided in a struct that contains:
- offset (milliseconds from genesis)
- block header, with links to messages
Message repository:
- a map of message CID to serialized types.SignedMessage
- we may want to omit messages to test the case where N messages in a block are not found.

Postconditions

expected chain head block CIDs.
expected state tree root.