Closed ggutoski closed 3 years ago
Tofn has now been refactored and has better capacity to deal with deserialization faults, so this issue can be closed.
This issue is really about the difficulty of testing all the edge cases. For example, to trigger the spoofed-sender sad path then you need to broadcast an additional message and win a data race against the honest message.
Due to limitations of the current tofn design we cannot properly handle all edge cases involving deserialization faults. See for example:
We will be able to handle these edge cases properly and test for them after we refactor tofn.