possible message-inversion in Order state machine

magic-wormhole / magic-wormhole.rs

Rust implementation of Magic Wormhole, with new features and enhancements

European Union Public License 1.2

726 stars 79 forks source link

possible message-inversion in Order state machine #68

Closed warner closed 2 years ago

warner commented 5 years ago

As mentioned in https://github.com/warner/magic-wormhole.rs/issues/13#issuecomment-378428542 , there's probably a particular sequence of input messages that would violate the expectations of the Receive machine, which we need to deal with.

piegamesde commented 3 years ago

Is this issue still present? The receive machine has changed a lot recently, but I don't understand the original issue enough to tell if this still might happen.