extract msg: apply preceding messages from the same sender included in the same tipset when populating prestate (edge case)

filecoin-project / oni

👹 (DEPRECATED; see README) Project Oni | Network Validation

https://docs.google.com/document/d/16jYL--EWYpJhxT9bakYq7ZBGLQ9SB940Wd1lTDOAbNE

7 stars 5 forks source link

extract msg: apply preceding messages from the same sender included in the same tipset when populating prestate (edge case) #195

Open raulk opened 4 years ago

raulk commented 4 years ago

If tipset A includes message Z from sender S, it is possible that that tipset also includes preceding messages X and Y from sender S. If we extract the parent state root of tipset A to apply Z on, we will have a nonce mismatch.

raulk commented 4 years ago

note the painful UX: https://github.com/filecoin-project/lotus/issues/2847