@@ -2465,11 +2465,11 @@ fn channel_monitor_network_test() {
24652465#[test]
24662466fn test_justice_tx_htlc_timeout() {
24672467 // Test justice txn built on revoked HTLC-Timeout tx, against both sides
2468- let mut alice_config = UserConfig::default ();
2468+ let mut alice_config = test_default_channel_config ();
24692469 alice_config.channel_handshake_config.announced_channel = true;
24702470 alice_config.channel_handshake_limits.force_announced_channel_preference = false;
24712471 alice_config.channel_handshake_config.our_to_self_delay = 6 * 24 * 5;
2472- let mut bob_config = UserConfig::default ();
2472+ let mut bob_config = test_default_channel_config ();
24732473 bob_config.channel_handshake_config.announced_channel = true;
24742474 bob_config.channel_handshake_limits.force_announced_channel_preference = false;
24752475 bob_config.channel_handshake_config.our_to_self_delay = 6 * 24 * 3;
@@ -2528,11 +2528,11 @@ fn test_justice_tx_htlc_timeout() {
25282528#[test]
25292529fn test_justice_tx_htlc_success() {
25302530 // Test justice txn built on revoked HTLC-Success tx, against both sides
2531- let mut alice_config = UserConfig::default ();
2531+ let mut alice_config = test_default_channel_config ();
25322532 alice_config.channel_handshake_config.announced_channel = true;
25332533 alice_config.channel_handshake_limits.force_announced_channel_preference = false;
25342534 alice_config.channel_handshake_config.our_to_self_delay = 6 * 24 * 5;
2535- let mut bob_config = UserConfig::default ();
2535+ let mut bob_config = test_default_channel_config ();
25362536 bob_config.channel_handshake_config.announced_channel = true;
25372537 bob_config.channel_handshake_limits.force_announced_channel_preference = false;
25382538 bob_config.channel_handshake_config.our_to_self_delay = 6 * 24 * 3;
@@ -9904,7 +9904,7 @@ enum ExposureEvent {
99049904 AtUpdateFeeOutbound,
99059905}
99069906
9907- fn do_test_max_dust_htlc_exposure(dust_outbound_balance: bool, exposure_breach_event: ExposureEvent, on_holder_tx: bool, multiplier_dust_limit: bool) {
9907+ fn do_test_max_dust_htlc_exposure(dust_outbound_balance: bool, exposure_breach_event: ExposureEvent, on_holder_tx: bool, multiplier_dust_limit: bool, apply_excess_fee: bool ) {
99089908 // Test that we properly reject dust HTLC violating our `max_dust_htlc_exposure_msat`
99099909 // policy.
99109910 //
@@ -9919,12 +9919,33 @@ fn do_test_max_dust_htlc_exposure(dust_outbound_balance: bool, exposure_breach_e
99199919
99209920 let chanmon_cfgs = create_chanmon_cfgs(2);
99219921 let mut config = test_default_channel_config();
9922+
9923+ // We hard-code the feerate values here but they're re-calculated furter down and asserted.
9924+ // If the values ever change below these constants should simply be updated.
9925+ const AT_FEE_OUTBOUND_HTLCS: u64 = 20;
9926+ let nondust_htlc_count_in_limit =
9927+ if exposure_breach_event == ExposureEvent::AtUpdateFeeOutbound {
9928+ AT_FEE_OUTBOUND_HTLCS
9929+ } else { 0 };
9930+ let initial_feerate = if apply_excess_fee { 253 * 2 } else { 253 };
9931+ let expected_dust_buffer_feerate = initial_feerate + 2530;
9932+ let mut commitment_tx_cost = commit_tx_fee_msat(initial_feerate - 253, nondust_htlc_count_in_limit, &ChannelTypeFeatures::empty());
9933+ commitment_tx_cost +=
9934+ if on_holder_tx {
9935+ htlc_success_tx_weight(&ChannelTypeFeatures::empty())
9936+ } else {
9937+ htlc_timeout_tx_weight(&ChannelTypeFeatures::empty())
9938+ } * (initial_feerate as u64 - 253) / 1000 * nondust_htlc_count_in_limit;
9939+ {
9940+ let mut feerate_lock = chanmon_cfgs[0].fee_estimator.sat_per_kw.lock().unwrap();
9941+ *feerate_lock = initial_feerate;
9942+ }
99229943 config.channel_config.max_dust_htlc_exposure = if multiplier_dust_limit {
99239944 // Default test fee estimator rate is 253 sat/kw, so we set the multiplier to 5_000_000 / 253
99249945 // to get roughly the same initial value as the default setting when this test was
99259946 // originally written.
9926- MaxDustHTLCExposure::FeeRateMultiplier(5_000_000 / 253)
9927- } else { MaxDustHTLCExposure::FixedLimitMsat(5_000_000) }; // initial default setting value
9947+ MaxDustHTLCExposure::FeeRateMultiplier(( 5_000_000 + commitment_tx_cost) / 253)
9948+ } else { MaxDustHTLCExposure::FixedLimitMsat(5_000_000 + commitment_tx_cost ) };
99289949 let node_cfgs = create_node_cfgs(2, &chanmon_cfgs);
99299950 let node_chanmgrs = create_node_chanmgrs(2, &node_cfgs, &[Some(config), None]);
99309951 let mut nodes = create_network(2, &node_cfgs, &node_chanmgrs);
@@ -9968,6 +9989,11 @@ fn do_test_max_dust_htlc_exposure(dust_outbound_balance: bool, exposure_breach_e
99689989 let (announcement, as_update, bs_update) = create_chan_between_nodes_with_value_b(&nodes[0], &nodes[1], &channel_ready);
99699990 update_nodes_with_chan_announce(&nodes, 0, 1, &announcement, &as_update, &bs_update);
99709991
9992+ {
9993+ let mut feerate_lock = chanmon_cfgs[0].fee_estimator.sat_per_kw.lock().unwrap();
9994+ *feerate_lock = 253;
9995+ }
9996+
99719997 // Fetch a route in advance as we will be unable to once we're unable to send.
99729998 let (mut route, payment_hash, _, payment_secret) =
99739999 get_route_and_payment_hash!(nodes[0], nodes[1], 1000);
@@ -9977,8 +10003,9 @@ fn do_test_max_dust_htlc_exposure(dust_outbound_balance: bool, exposure_breach_e
997710003 let chan_lock = per_peer_state.get(&nodes[1].node.get_our_node_id()).unwrap().lock().unwrap();
997810004 let chan = chan_lock.channel_by_id.get(&channel_id).unwrap();
997910005 (chan.context().get_dust_buffer_feerate(None) as u64,
9980- chan.context().get_max_dust_htlc_exposure_msat(&LowerBoundedFeeEstimator(nodes[0].fee_estimator) ))
10006+ chan.context().get_max_dust_htlc_exposure_msat(253 ))
998110007 };
10008+ assert_eq!(dust_buffer_feerate, expected_dust_buffer_feerate as u64);
998210009 let dust_outbound_htlc_on_holder_tx_msat: u64 = (dust_buffer_feerate * htlc_timeout_tx_weight(&channel_type_features) / 1000 + open_channel.common_fields.dust_limit_satoshis - 1) * 1000;
998310010 let dust_outbound_htlc_on_holder_tx: u64 = max_dust_htlc_exposure_msat / dust_outbound_htlc_on_holder_tx_msat;
998410011
@@ -9988,8 +10015,13 @@ fn do_test_max_dust_htlc_exposure(dust_outbound_balance: bool, exposure_breach_e
998810015 let dust_inbound_htlc_on_holder_tx_msat: u64 = (dust_buffer_feerate * htlc_success_tx_weight(&channel_type_features) / 1000 + open_channel.common_fields.dust_limit_satoshis - if multiplier_dust_limit { 3 } else { 2 }) * 1000;
998910016 let dust_inbound_htlc_on_holder_tx: u64 = max_dust_htlc_exposure_msat / dust_inbound_htlc_on_holder_tx_msat;
999010017
10018+ // This test was written with a fixed dust value here, which we retain, but assert that it is,
10019+ // indeed, dust on both transactions.
999110020 let dust_htlc_on_counterparty_tx: u64 = 4;
9992- let dust_htlc_on_counterparty_tx_msat: u64 = max_dust_htlc_exposure_msat / dust_htlc_on_counterparty_tx;
10021+ let dust_htlc_on_counterparty_tx_msat: u64 = 1_250_000;
10022+ let calcd_dust_htlc_on_counterparty_tx_msat: u64 = (dust_buffer_feerate * htlc_timeout_tx_weight(&channel_type_features) / 1000 + open_channel.common_fields.dust_limit_satoshis - if multiplier_dust_limit { 3 } else { 2 }) * 1000;
10023+ assert!(dust_htlc_on_counterparty_tx_msat < dust_inbound_htlc_on_holder_tx_msat);
10024+ assert!(dust_htlc_on_counterparty_tx_msat < calcd_dust_htlc_on_counterparty_tx_msat);
999310025
999410026 if on_holder_tx {
999510027 if dust_outbound_balance {
@@ -10059,15 +10091,15 @@ fn do_test_max_dust_htlc_exposure(dust_outbound_balance: bool, exposure_breach_e
1005910091 // Outbound dust balance: 5200 sats
1006010092 nodes[0].logger.assert_log("lightning::ln::channel",
1006110093 format!("Cannot accept value that would put our exposure to dust HTLCs at {} over the limit {} on counterparty commitment tx",
10062- dust_htlc_on_counterparty_tx_msat * ( dust_htlc_on_counterparty_tx - 1) + dust_htlc_on_counterparty_tx_msat + 4,
10094+ dust_htlc_on_counterparty_tx_msat * dust_htlc_on_counterparty_tx + commitment_tx_cost + 4,
1006310095 max_dust_htlc_exposure_msat), 1);
1006410096 }
1006510097 } else if exposure_breach_event == ExposureEvent::AtUpdateFeeOutbound {
1006610098 route.paths[0].hops.last_mut().unwrap().fee_msat = 2_500_000;
1006710099 // For the multiplier dust exposure limit, since it scales with feerate,
1006810100 // we need to add a lot of HTLCs that will become dust at the new feerate
1006910101 // to cross the threshold.
10070- for _ in 0..20 {
10102+ for _ in 0..AT_FEE_OUTBOUND_HTLCS {
1007110103 let (_, payment_hash, payment_secret) = get_payment_preimage_hash(&nodes[1], Some(1_000), None);
1007210104 nodes[0].node.send_payment_with_route(&route, payment_hash,
1007310105 RecipientOnionFields::secret_only(payment_secret), PaymentId(payment_hash.0)).unwrap();
@@ -10086,27 +10118,123 @@ fn do_test_max_dust_htlc_exposure(dust_outbound_balance: bool, exposure_breach_e
1008610118 added_monitors.clear();
1008710119}
1008810120
10089- fn do_test_max_dust_htlc_exposure_by_threshold_type(multiplier_dust_limit: bool) {
10090- do_test_max_dust_htlc_exposure(true, ExposureEvent::AtHTLCForward, true, multiplier_dust_limit);
10091- do_test_max_dust_htlc_exposure(false, ExposureEvent::AtHTLCForward, true, multiplier_dust_limit);
10092- do_test_max_dust_htlc_exposure(false, ExposureEvent::AtHTLCReception, true, multiplier_dust_limit);
10093- do_test_max_dust_htlc_exposure(false, ExposureEvent::AtHTLCReception, false, multiplier_dust_limit);
10094- do_test_max_dust_htlc_exposure(true, ExposureEvent::AtHTLCForward, false, multiplier_dust_limit);
10095- do_test_max_dust_htlc_exposure(true, ExposureEvent::AtHTLCReception, false, multiplier_dust_limit);
10096- do_test_max_dust_htlc_exposure(true, ExposureEvent::AtHTLCReception, true, multiplier_dust_limit);
10097- do_test_max_dust_htlc_exposure(false, ExposureEvent::AtHTLCForward, false, multiplier_dust_limit);
10098- do_test_max_dust_htlc_exposure(true, ExposureEvent::AtUpdateFeeOutbound, true, multiplier_dust_limit);
10099- do_test_max_dust_htlc_exposure(true, ExposureEvent::AtUpdateFeeOutbound, false, multiplier_dust_limit);
10100- do_test_max_dust_htlc_exposure(false, ExposureEvent::AtUpdateFeeOutbound, false, multiplier_dust_limit);
10101- do_test_max_dust_htlc_exposure(false, ExposureEvent::AtUpdateFeeOutbound, true, multiplier_dust_limit);
10121+ fn do_test_max_dust_htlc_exposure_by_threshold_type(multiplier_dust_limit: bool, apply_excess_fee: bool) {
10122+ do_test_max_dust_htlc_exposure(true, ExposureEvent::AtHTLCForward, true, multiplier_dust_limit, apply_excess_fee);
10123+ do_test_max_dust_htlc_exposure(false, ExposureEvent::AtHTLCForward, true, multiplier_dust_limit, apply_excess_fee);
10124+ do_test_max_dust_htlc_exposure(false, ExposureEvent::AtHTLCReception, true, multiplier_dust_limit, apply_excess_fee);
10125+ do_test_max_dust_htlc_exposure(false, ExposureEvent::AtHTLCReception, false, multiplier_dust_limit, apply_excess_fee);
10126+ do_test_max_dust_htlc_exposure(true, ExposureEvent::AtHTLCForward, false, multiplier_dust_limit, apply_excess_fee);
10127+ do_test_max_dust_htlc_exposure(true, ExposureEvent::AtHTLCReception, false, multiplier_dust_limit, apply_excess_fee);
10128+ do_test_max_dust_htlc_exposure(true, ExposureEvent::AtHTLCReception, true, multiplier_dust_limit, apply_excess_fee);
10129+ do_test_max_dust_htlc_exposure(false, ExposureEvent::AtHTLCForward, false, multiplier_dust_limit, apply_excess_fee);
10130+ if !multiplier_dust_limit && !apply_excess_fee {
10131+ // Because non-dust HTLC transaction fees are included in the dust exposure, trying to
10132+ // increase the fee to hit a higher dust exposure with a
10133+ // `MaxDustHTLCExposure::FeeRateMultiplier` is no longer super practical, so we skip these
10134+ // in the `multiplier_dust_limit` case.
10135+ do_test_max_dust_htlc_exposure(true, ExposureEvent::AtUpdateFeeOutbound, true, multiplier_dust_limit, apply_excess_fee);
10136+ do_test_max_dust_htlc_exposure(true, ExposureEvent::AtUpdateFeeOutbound, false, multiplier_dust_limit, apply_excess_fee);
10137+ do_test_max_dust_htlc_exposure(false, ExposureEvent::AtUpdateFeeOutbound, false, multiplier_dust_limit, apply_excess_fee);
10138+ do_test_max_dust_htlc_exposure(false, ExposureEvent::AtUpdateFeeOutbound, true, multiplier_dust_limit, apply_excess_fee);
10139+ }
1010210140}
1010310141
1010410142#[test]
1010510143fn test_max_dust_htlc_exposure() {
10106- do_test_max_dust_htlc_exposure_by_threshold_type(false);
10107- do_test_max_dust_htlc_exposure_by_threshold_type(true);
10144+ do_test_max_dust_htlc_exposure_by_threshold_type(false, false);
10145+ do_test_max_dust_htlc_exposure_by_threshold_type(false, true);
10146+ do_test_max_dust_htlc_exposure_by_threshold_type(true, false);
10147+ do_test_max_dust_htlc_exposure_by_threshold_type(true, true);
10148+ }
10149+
10150+ #[test]
10151+ fn test_nondust_htlc_fees_are_dust() {
10152+ // Test that the transaction fees paid in nondust HTLCs count towards our dust limit
10153+ let chanmon_cfgs = create_chanmon_cfgs(3);
10154+ let node_cfgs = create_node_cfgs(3, &chanmon_cfgs);
10155+
10156+ let mut config = test_default_channel_config();
10157+ // Set the dust limit to the default value
10158+ config.channel_config.max_dust_htlc_exposure =
10159+ MaxDustHTLCExposure::FeeRateMultiplier(10_000);
10160+ // Make sure the HTLC limits don't get in the way
10161+ config.channel_handshake_limits.min_max_accepted_htlcs = 400;
10162+ config.channel_handshake_config.our_max_accepted_htlcs = 400;
10163+ config.channel_handshake_config.our_htlc_minimum_msat = 1;
10164+
10165+ let node_chanmgrs = create_node_chanmgrs(3, &node_cfgs, &[Some(config), Some(config), Some(config)]);
10166+ let nodes = create_network(3, &node_cfgs, &node_chanmgrs);
10167+
10168+ // Create a channel from 1 -> 0 but immediately push all of the funds towards 0
10169+ let chan_id_1 = create_announced_chan_between_nodes(&nodes, 1, 0).2;
10170+ while nodes[1].node.list_channels()[0].next_outbound_htlc_limit_msat > 0 {
10171+ send_payment(&nodes[1], &[&nodes[0]], nodes[1].node.list_channels()[0].next_outbound_htlc_limit_msat);
10172+ }
10173+
10174+ // First get the channel one HTLC_VALUE HTLC away from the dust limit by sending dust HTLCs
10175+ // repeatedly until we run out of space.
10176+ const HTLC_VALUE: u64 = 1_000_000; // Doesn't matter, tune until the test passes
10177+ let payment_preimage = route_payment(&nodes[0], &[&nodes[1]], HTLC_VALUE).0;
10178+
10179+ while nodes[0].node.list_channels()[0].next_outbound_htlc_minimum_msat == 0 {
10180+ route_payment(&nodes[0], &[&nodes[1]], HTLC_VALUE);
10181+ }
10182+ assert_ne!(nodes[0].node.list_channels()[0].next_outbound_htlc_limit_msat, 0,
10183+ "We don't want to run out of ability to send because of some non-dust limit");
10184+ assert!(nodes[0].node.list_channels()[0].pending_outbound_htlcs.len() < 10,
10185+ "We should be able to fill our dust limit without too many HTLCs");
10186+
10187+ let dust_limit = nodes[0].node.list_channels()[0].next_outbound_htlc_minimum_msat;
10188+ claim_payment(&nodes[0], &[&nodes[1]], payment_preimage);
10189+ assert_ne!(nodes[0].node.list_channels()[0].next_outbound_htlc_minimum_msat, 0,
10190+ "Make sure we are able to send once we clear one HTLC");
10191+
10192+ // At this point we have somewhere between dust_limit and dust_limit * 2 left in our dust
10193+ // exposure limit, and we want to max that out using non-dust HTLCs.
10194+ let commitment_tx_per_htlc_cost =
10195+ htlc_success_tx_weight(&ChannelTypeFeatures::empty()) * 253;
10196+ let max_htlcs_remaining = dust_limit * 2 / commitment_tx_per_htlc_cost;
10197+ assert!(max_htlcs_remaining < 30,
10198+ "We should be able to fill our dust limit without too many HTLCs");
10199+ for i in 0..max_htlcs_remaining + 1 {
10200+ assert_ne!(i, max_htlcs_remaining);
10201+ if nodes[0].node.list_channels()[0].next_outbound_htlc_limit_msat < dust_limit {
10202+ // We found our limit, and it was less than max_htlcs_remaining!
10203+ // At this point we can only send dust HTLCs as any non-dust HTLCs will overuse our
10204+ // remaining dust exposure.
10205+ break;
10206+ }
10207+ route_payment(&nodes[0], &[&nodes[1]], dust_limit * 2);
10208+ }
10209+
10210+ // At this point non-dust HTLCs are no longer accepted from node 0 -> 1, we also check that
10211+ // such HTLCs can't be routed over the same channel either.
10212+ create_announced_chan_between_nodes(&nodes, 2, 0);
10213+ let (route, payment_hash, _, payment_secret) =
10214+ get_route_and_payment_hash!(nodes[2], nodes[1], dust_limit * 2);
10215+ let onion = RecipientOnionFields::secret_only(payment_secret);
10216+ nodes[2].node.send_payment_with_route(&route, payment_hash, onion, PaymentId([0; 32])).unwrap();
10217+ check_added_monitors(&nodes[2], 1);
10218+ let send = SendEvent::from_node(&nodes[2]);
10219+
10220+ nodes[0].node.handle_update_add_htlc(&nodes[2].node.get_our_node_id(), &send.msgs[0]);
10221+ commitment_signed_dance!(nodes[0], nodes[2], send.commitment_msg, false, true);
10222+
10223+ expect_pending_htlcs_forwardable!(nodes[0]);
10224+ check_added_monitors(&nodes[0], 1);
10225+ let node_id_1 = nodes[1].node.get_our_node_id();
10226+ expect_htlc_handling_failed_destinations!(
10227+ nodes[0].node.get_and_clear_pending_events(),
10228+ &[HTLCDestination::NextHopChannel { node_id: Some(node_id_1), channel_id: chan_id_1 }]
10229+ );
10230+
10231+ let fail = get_htlc_update_msgs(&nodes[0], &nodes[2].node.get_our_node_id());
10232+ nodes[2].node.handle_update_fail_htlc(&nodes[0].node.get_our_node_id(), &fail.update_fail_htlcs[0]);
10233+ commitment_signed_dance!(nodes[2], nodes[0], fail.commitment_signed, false);
10234+ expect_payment_failed_conditions(&nodes[2], payment_hash, false, PaymentFailedConditions::new());
1010810235}
1010910236
10237+
1011010238#[test]
1011110239fn test_non_final_funding_tx() {
1011210240 let chanmon_cfgs = create_chanmon_cfgs(2);
0 commit comments