Author: ZmnSCPxj 2020-06-03 14:36:46
Published on: 2020-06-03T14:36:46+00:00
In a message to Dmitry, ZmnSCPxj explains that he has created a version of the TLA+ spec in the 'variant_ZmnSCPxj' branch of the SASwap repo based on Dmitry's suggested variant. However, ZmnSCPxj notes that there is a possible deadlock after step 9 if Bob fails to publish a success transaction in time. This is because both parties would have the ability to invalidate each other's transactions through friendly miners. To avoid this issue, Bob will have a short timeout period after which he will force publication of the success transaction if Alice does not respond in time. ZmnSCPxj notes that running multiple servers who are given copies of the success transaction and which will publish it regardless after a short sidereal time duration can mitigate the risk of accidents occurring due to computer crashes. A dead man switch system can be used to countermand the main server in such a situation. With sufficient distribution, the probability of this occurring can drop to negligible levels compared to other theoretical attacks.
Updated on: 2023-06-14T01:32:05.937716+00:00