Lotus checks validity of messages at the sync stage

[arajasek]

Afaic tell, nodes should only validate message signatures when syncing, and deal with invalid messahes when executing the message in the subsequent tipset. I think we do perform some message validity checks when syncing a block. Blocks with such invalid messages will not be added at all, which I believe is spec-incompliant. If true, this will obviously call interop issues.

Here is a non-exhaustive list of validity checks we seem to perform:

• Sender can be found (happens when validating nonces)
• Sender is an account (will only happen if sender address is an ID address)
• Expected nonces (side-note: how do we order multiple messages from the same sender?)

[whyrusleeping]

I think any discrepancies here have been resolved, right @arajasek ?

[arajasek]

Yup...Idk what the spec says we should do, but we do reasonable things