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