@@ -606,3 +606,78 @@ fn test_dup_htlc_onchain_fails_on_reload() {
606
606
do_test_dup_htlc_onchain_fails_on_reload ( false , true , false ) ;
607
607
do_test_dup_htlc_onchain_fails_on_reload ( false , false , false ) ;
608
608
}
609
+
610
+ #[ test]
611
+ fn test_fulfill_restart_failure ( ) {
612
+ // When we receive an update_fulfill_htlc message, we immediately consider the HTLC fully
613
+ // fulfilled. At this point, the peer can reconnect and decide to either fulfill the HTLC
614
+ // again, or fail it, giving us free money.
615
+ //
616
+ // Of course probably they won't fail it and give us free money, but because we have code to
617
+ // handle it, we should test the logic for it anyway. We do that here.
618
+ let chanmon_cfgs = create_chanmon_cfgs ( 2 ) ;
619
+ let node_cfgs = create_node_cfgs ( 2 , & chanmon_cfgs) ;
620
+ let node_chanmgrs = create_node_chanmgrs ( 2 , & node_cfgs, & [ None , None ] ) ;
621
+ let persister: test_utils:: TestPersister ;
622
+ let new_chain_monitor: test_utils:: TestChainMonitor ;
623
+ let nodes_1_deserialized: ChannelManager < EnforcingSigner , & test_utils:: TestChainMonitor , & test_utils:: TestBroadcaster , & test_utils:: TestKeysInterface , & test_utils:: TestFeeEstimator , & test_utils:: TestLogger > ;
624
+ let mut nodes = create_network ( 2 , & node_cfgs, & node_chanmgrs) ;
625
+
626
+ let chan_id = create_announced_chan_between_nodes ( & nodes, 0 , 1 , InitFeatures :: known ( ) , InitFeatures :: known ( ) ) . 2 ;
627
+ let ( payment_preimage, payment_hash, _) = route_payment ( & nodes[ 0 ] , & [ & nodes[ 1 ] ] , 100_000 ) ;
628
+
629
+ // The simplest way to get a failure after a fulfill is to reload nodes[1] from a state
630
+ // pre-fulfill, which we do by serializing it here.
631
+ let mut chan_manager_serialized = test_utils:: TestVecWriter ( Vec :: new ( ) ) ;
632
+ nodes[ 1 ] . node . write ( & mut chan_manager_serialized) . unwrap ( ) ;
633
+ let mut chan_0_monitor_serialized = test_utils:: TestVecWriter ( Vec :: new ( ) ) ;
634
+ get_monitor ! ( nodes[ 1 ] , chan_id) . write ( & mut chan_0_monitor_serialized) . unwrap ( ) ;
635
+
636
+ nodes[ 1 ] . node . claim_funds ( payment_preimage) ;
637
+ check_added_monitors ! ( nodes[ 1 ] , 1 ) ;
638
+ let htlc_fulfill_updates = get_htlc_update_msgs ! ( nodes[ 1 ] , nodes[ 0 ] . node. get_our_node_id( ) ) ;
639
+ nodes[ 0 ] . node . handle_update_fulfill_htlc ( & nodes[ 1 ] . node . get_our_node_id ( ) , & htlc_fulfill_updates. update_fulfill_htlcs [ 0 ] ) ;
640
+ expect_payment_sent ! ( nodes[ 0 ] , payment_preimage) ;
641
+
642
+ // Now reload nodes[1]...
643
+ persister = test_utils:: TestPersister :: new ( ) ;
644
+ let keys_manager = & chanmon_cfgs[ 1 ] . keys_manager ;
645
+ new_chain_monitor = test_utils:: TestChainMonitor :: new ( Some ( nodes[ 1 ] . chain_source ) , nodes[ 1 ] . tx_broadcaster . clone ( ) , nodes[ 1 ] . logger , node_cfgs[ 1 ] . fee_estimator , & persister, keys_manager) ;
646
+ nodes[ 1 ] . chain_monitor = & new_chain_monitor;
647
+ let mut chan_0_monitor_read = & chan_0_monitor_serialized. 0 [ ..] ;
648
+ let ( _, mut chan_0_monitor) = <( BlockHash , ChannelMonitor < EnforcingSigner > ) >:: read (
649
+ & mut chan_0_monitor_read, keys_manager) . unwrap ( ) ;
650
+ assert ! ( chan_0_monitor_read. is_empty( ) ) ;
651
+
652
+ let ( _, nodes_1_deserialized_tmp) = {
653
+ let mut channel_monitors = HashMap :: new ( ) ;
654
+ channel_monitors. insert ( chan_0_monitor. get_funding_txo ( ) . 0 , & mut chan_0_monitor) ;
655
+ <( BlockHash , ChannelManager < EnforcingSigner , & test_utils:: TestChainMonitor , & test_utils:: TestBroadcaster , & test_utils:: TestKeysInterface , & test_utils:: TestFeeEstimator , & test_utils:: TestLogger > ) >
656
+ :: read ( & mut io:: Cursor :: new ( & chan_manager_serialized. 0 [ ..] ) , ChannelManagerReadArgs {
657
+ default_config : Default :: default ( ) ,
658
+ keys_manager,
659
+ fee_estimator : node_cfgs[ 1 ] . fee_estimator ,
660
+ chain_monitor : nodes[ 1 ] . chain_monitor ,
661
+ tx_broadcaster : nodes[ 1 ] . tx_broadcaster . clone ( ) ,
662
+ logger : nodes[ 1 ] . logger ,
663
+ channel_monitors,
664
+ } ) . unwrap ( )
665
+ } ;
666
+ nodes_1_deserialized = nodes_1_deserialized_tmp;
667
+
668
+ assert ! ( nodes[ 1 ] . chain_monitor. watch_channel( chan_0_monitor. get_funding_txo( ) . 0 , chan_0_monitor) . is_ok( ) ) ;
669
+ check_added_monitors ! ( nodes[ 1 ] , 1 ) ;
670
+ nodes[ 1 ] . node = & nodes_1_deserialized;
671
+
672
+ nodes[ 0 ] . node . peer_disconnected ( & nodes[ 1 ] . node . get_our_node_id ( ) , false ) ;
673
+ reconnect_nodes ( & nodes[ 0 ] , & nodes[ 1 ] , ( false , false ) , ( 0 , 0 ) , ( 0 , 0 ) , ( 0 , 0 ) , ( 0 , 0 ) , ( 0 , 0 ) , ( false , false ) ) ;
674
+
675
+ nodes[ 1 ] . node . fail_htlc_backwards ( & payment_hash) ;
676
+ expect_pending_htlcs_forwardable ! ( nodes[ 1 ] ) ;
677
+ check_added_monitors ! ( nodes[ 1 ] , 1 ) ;
678
+ let htlc_fail_updates = get_htlc_update_msgs ! ( nodes[ 1 ] , nodes[ 0 ] . node. get_our_node_id( ) ) ;
679
+ nodes[ 0 ] . node . handle_update_fail_htlc ( & nodes[ 1 ] . node . get_our_node_id ( ) , & htlc_fail_updates. update_fail_htlcs [ 0 ] ) ;
680
+ commitment_signed_dance ! ( nodes[ 0 ] , nodes[ 1 ] , htlc_fail_updates. commitment_signed, false ) ;
681
+ // nodes[0] shouldn't generate any events here, while it just got a payment failure completion
682
+ // it had already considered the payment fulfilled, and now they just got free money.
683
+ }
0 commit comments