2021-03-26 00:38:30 -04:00
|
|
|
pub mod harness;
|
|
|
|
|
|
|
|
use harness::alice_run_until::is_xmr_lock_transaction_sent;
|
|
|
|
use harness::bob_run_until::is_btc_locked;
|
|
|
|
use harness::FastPunishConfig;
|
2021-06-24 23:40:33 -04:00
|
|
|
use swap::asb;
|
|
|
|
use swap::asb::FixedRate;
|
2021-03-26 00:38:30 -04:00
|
|
|
use swap::protocol::alice::AliceState;
|
|
|
|
use swap::protocol::bob::BobState;
|
|
|
|
use swap::protocol::{alice, bob};
|
|
|
|
|
|
|
|
/// Bob locks Btc and Alice locks Xmr. Bob does not act; he fails to send Alice
|
2021-04-28 02:13:04 -04:00
|
|
|
/// the encsig and fail to refund or redeem. Alice punishes using the cancel and
|
2024-07-03 13:47:45 -04:00
|
|
|
/// punish command. Bob then cooperates with Alice and redeems XMR with her key.
|
2021-03-26 00:38:30 -04:00
|
|
|
#[tokio::test]
|
2021-04-28 02:13:04 -04:00
|
|
|
async fn alice_manually_punishes_after_bob_dead() {
|
2021-03-26 00:38:30 -04:00
|
|
|
harness::setup_test(FastPunishConfig, |mut ctx| async move {
|
|
|
|
let (bob_swap, bob_join_handle) = ctx.bob_swap().await;
|
2021-04-15 21:48:15 -04:00
|
|
|
let bob_swap_id = bob_swap.id;
|
2021-03-26 00:38:30 -04:00
|
|
|
let bob_swap = tokio::spawn(bob::run_until(bob_swap, is_btc_locked));
|
|
|
|
|
|
|
|
let alice_swap = ctx.alice_next_swap().await;
|
|
|
|
let alice_bitcoin_wallet = alice_swap.bitcoin_wallet.clone();
|
|
|
|
|
2021-05-04 23:43:46 -04:00
|
|
|
let alice_swap = tokio::spawn(alice::run_until(
|
|
|
|
alice_swap,
|
|
|
|
is_xmr_lock_transaction_sent,
|
|
|
|
FixedRate::default(),
|
|
|
|
));
|
2021-03-26 00:38:30 -04:00
|
|
|
|
|
|
|
let bob_state = bob_swap.await??;
|
|
|
|
assert!(matches!(bob_state, BobState::BtcLocked { .. }));
|
|
|
|
|
|
|
|
let alice_state = alice_swap.await??;
|
|
|
|
|
2021-04-28 02:13:04 -04:00
|
|
|
// Ensure cancel timelock is expired
|
2021-03-26 00:38:30 -04:00
|
|
|
if let AliceState::XmrLockTransactionSent { state3, .. } = alice_state {
|
|
|
|
alice_bitcoin_wallet
|
|
|
|
.subscribe_to(state3.tx_lock)
|
|
|
|
.await
|
2021-04-28 02:13:04 -04:00
|
|
|
.wait_until_confirmed_with(state3.cancel_timelock)
|
2021-03-26 00:38:30 -04:00
|
|
|
.await?;
|
|
|
|
} else {
|
2021-04-08 04:56:26 -04:00
|
|
|
panic!("Alice in unexpected state {}", alice_state);
|
2021-03-26 00:38:30 -04:00
|
|
|
}
|
|
|
|
|
2021-04-28 02:13:04 -04:00
|
|
|
// manual cancel (required to be able to punish)
|
|
|
|
|
2021-03-26 00:38:30 -04:00
|
|
|
ctx.restart_alice().await;
|
|
|
|
let alice_swap = ctx.alice_next_swap().await;
|
2021-09-01 19:16:25 -04:00
|
|
|
let (_, alice_state) =
|
|
|
|
asb::cancel(alice_swap.swap_id, alice_swap.bitcoin_wallet, alice_swap.db).await?;
|
2021-03-26 00:38:30 -04:00
|
|
|
|
2021-04-28 02:13:04 -04:00
|
|
|
// Ensure punish timelock is expired
|
|
|
|
if let AliceState::BtcCancelled { state3, .. } = alice_state {
|
|
|
|
alice_bitcoin_wallet
|
|
|
|
.subscribe_to(state3.tx_cancel())
|
|
|
|
.await
|
|
|
|
.wait_until_confirmed_with(state3.punish_timelock)
|
|
|
|
.await?;
|
|
|
|
} else {
|
|
|
|
panic!("Alice in unexpected state {}", alice_state);
|
|
|
|
}
|
|
|
|
|
|
|
|
// manual punish
|
|
|
|
|
|
|
|
ctx.restart_alice().await;
|
|
|
|
let alice_swap = ctx.alice_next_swap().await;
|
2021-09-01 19:16:25 -04:00
|
|
|
let (_, alice_state) =
|
|
|
|
asb::punish(alice_swap.swap_id, alice_swap.bitcoin_wallet, alice_swap.db).await?;
|
2021-03-26 00:38:30 -04:00
|
|
|
ctx.assert_alice_punished(alice_state).await;
|
|
|
|
|
|
|
|
// Restart Bob after Alice punished to ensure Bob transitions to
|
|
|
|
// punished and does not run indefinitely
|
2021-04-08 04:56:26 -04:00
|
|
|
let (bob_swap, _) = ctx
|
|
|
|
.stop_and_resume_bob_from_db(bob_join_handle, bob_swap_id)
|
|
|
|
.await;
|
2021-03-26 00:38:30 -04:00
|
|
|
assert!(matches!(bob_swap.state, BobState::BtcLocked { .. }));
|
|
|
|
|
|
|
|
let bob_state = bob::run(bob_swap).await?;
|
2024-07-03 13:47:45 -04:00
|
|
|
ctx.assert_bob_redeemed(bob_state).await;
|
2021-03-26 00:38:30 -04:00
|
|
|
Ok(())
|
|
|
|
})
|
|
|
|
.await;
|
|
|
|
}
|