xmr-btc-swap

Commit Graph

Author	SHA1	Message	Date
rishflab	666c121bb3	Implement transport traits with generics	4 years ago
rishflab	154b3edcf9	Split SendReceive into seperate traits	4 years ago
rishflab	8754a9931b	Execute Alice and Bob state machines concurrently Previously we were testing the protocol by manually driving Alice and Bob's state machines. This logic has now be moved to an async state transition function that can take any possible state as input. The state transition function is called in a loop until it returns the desired state. This allows use to interrupt midway through the protocol and perform refund and punish tests. This design was chosen over a generator based implementation because the the generator based implementation results in a impure state transition function that is difficult to reason about and prone to bugs. Test related code was extracted into the tests folder. The 2b and 4b states were renamed to be consistent with the rest. Macros were used to reduce code duplication when converting child states to their parent states and vice versa. Todos were added were neccessary.	4 years ago

Author

SHA1

Message

Date

rishflab

666c121bb3

Implement transport traits with generics

rishflab

154b3edcf9

Split SendReceive into seperate traits

rishflab

8754a9931b

Execute Alice and Bob state machines concurrently

Previously we were testing the protocol by manually driving Alice and
Bob's state machines. This logic has now be moved to an async state
transition function that can take any possible state as input. The
state transition function is called in a loop until it returns the
desired state. This allows use to interrupt midway through the protocol
and perform refund and punish tests. This design was chosen over a
generator based implementation because the the generator based
implementation results in a impure state transition function that is
difficult to reason about and prone to bugs.

Test related code was extracted into the tests folder.

The 2b and 4b states were renamed to be consistent with the rest.

Macros were used to reduce code duplication when converting
child states to their parent states and vice versa.

Todos were added were neccessary.

3 Commits (a0d859147acd30731e19b84e07bfa4a99a16460a)