Skip to content

Commit 35004fd

Browse files
TheBlueMattandozw
authored andcommitted
Store total payment amount in ClaimableHTLC explicitly
...instead of accessing it via the `OnionPayload::Invoice` form. This may be useful if we add MPP keysend support, but is directly useful to allow us to drop `FinalOnionHopData` from `OnionPayload`.
1 parent fda5a04 commit 35004fd

File tree

1 file changed

+37
-23
lines changed

1 file changed

+37
-23
lines changed

lightning/src/ln/channelmanager.rs

Lines changed: 37 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -167,12 +167,16 @@ enum OnionPayload {
167167
Spontaneous(PaymentPreimage),
168168
}
169169

170+
/// HTLCs that are to us and can be failed/claimed by the user
170171
struct ClaimableHTLC {
171172
prev_hop: HTLCPreviousHopData,
172173
cltv_expiry: u32,
174+
/// The amount (in msats) of this MPP part
173175
value: u64,
174176
onion_payload: OnionPayload,
175177
timer_ticks: u8,
178+
/// The sum total of all MPP parts
179+
total_msat: u64,
176180
}
177181

178182
/// A payment identifier used to uniquely identify a payment to LDK.
@@ -3091,11 +3095,11 @@ impl<Signer: Sign, M: Deref, T: Deref, K: Deref, F: Deref, L: Deref> ChannelMana
30913095
HTLCForwardInfo::AddHTLC { prev_short_channel_id, prev_htlc_id, forward_info: PendingHTLCInfo {
30923096
routing, incoming_shared_secret, payment_hash, amt_to_forward, .. },
30933097
prev_funding_outpoint } => {
3094-
let (cltv_expiry, onion_payload, phantom_shared_secret) = match routing {
3098+
let (cltv_expiry, total_msat, onion_payload, phantom_shared_secret) = match routing {
30953099
PendingHTLCRouting::Receive { payment_data, incoming_cltv_expiry, phantom_shared_secret } =>
3096-
(incoming_cltv_expiry, OnionPayload::Invoice(payment_data), phantom_shared_secret),
3100+
(incoming_cltv_expiry, payment_data.total_msat, OnionPayload::Invoice(payment_data), phantom_shared_secret),
30973101
PendingHTLCRouting::ReceiveKeysend { payment_preimage, incoming_cltv_expiry } =>
3098-
(incoming_cltv_expiry, OnionPayload::Spontaneous(payment_preimage), None),
3102+
(incoming_cltv_expiry, amt_to_forward, OnionPayload::Spontaneous(payment_preimage), None),
30993103
_ => {
31003104
panic!("short_channel_id == 0 should imply any pending_forward entries are of type Receive");
31013105
}
@@ -3110,6 +3114,7 @@ impl<Signer: Sign, M: Deref, T: Deref, K: Deref, F: Deref, L: Deref> ChannelMana
31103114
},
31113115
value: amt_to_forward,
31123116
timer_ticks: 0,
3117+
total_msat,
31133118
cltv_expiry,
31143119
onion_payload,
31153120
};
@@ -3148,18 +3153,18 @@ impl<Signer: Sign, M: Deref, T: Deref, K: Deref, F: Deref, L: Deref> ChannelMana
31483153
for htlc in htlcs.iter() {
31493154
total_value += htlc.value;
31503155
match &htlc.onion_payload {
3151-
OnionPayload::Invoice(htlc_payment_data) => {
3152-
if htlc_payment_data.total_msat != $payment_data_total_msat {
3156+
OnionPayload::Invoice { .. } => {
3157+
if htlc.total_msat != $payment_data_total_msat {
31533158
log_trace!(self.logger, "Failing HTLCs with payment_hash {} as the HTLCs had inconsistent total values (eg {} and {})",
3154-
log_bytes!(payment_hash.0), $payment_data_total_msat, htlc_payment_data.total_msat);
3159+
log_bytes!(payment_hash.0), $payment_data_total_msat, htlc.total_msat);
31553160
total_value = msgs::MAX_VALUE_MSAT;
31563161
}
31573162
if total_value >= msgs::MAX_VALUE_MSAT { break; }
31583163
},
31593164
_ => unreachable!(),
31603165
}
31613166
}
3162-
if total_value >= msgs::MAX_VALUE_MSAT || total_value > $payment_data_total_msat {
3167+
if total_value >= msgs::MAX_VALUE_MSAT || total_value > claimable_htlc.total_msat {
31633168
log_trace!(self.logger, "Failing HTLCs with payment_hash {} as the total value {} ran over expected value {} (or HTLCs were inconsistent)",
31643169
log_bytes!(payment_hash.0), total_value, $payment_data_total_msat);
31653170
fail_htlc!(claimable_htlc);
@@ -3202,9 +3207,8 @@ impl<Signer: Sign, M: Deref, T: Deref, K: Deref, F: Deref, L: Deref> ChannelMana
32023207
continue
32033208
}
32043209
};
3205-
let payment_data_total_msat = payment_data.total_msat;
32063210
let payment_secret = payment_data.payment_secret.clone();
3207-
check_total_value!(payment_data_total_msat, payment_secret, payment_preimage);
3211+
check_total_value!(payment_data.total_msat, payment_secret, payment_preimage);
32083212
},
32093213
OnionPayload::Spontaneous(preimage) => {
32103214
match channel_state.claimable_htlcs.entry(payment_hash) {
@@ -6069,13 +6073,14 @@ impl Writeable for ClaimableHTLC {
60696073
OnionPayload::Invoice(_) => None,
60706074
OnionPayload::Spontaneous(preimage) => Some(preimage.clone()),
60716075
};
6072-
write_tlv_fields!
6073-
(writer,
6074-
{
6075-
(0, self.prev_hop, required), (2, self.value, required),
6076-
(4, payment_data, option), (6, self.cltv_expiry, required),
6077-
(8, keysend_preimage, option),
6078-
});
6076+
write_tlv_fields!(writer, {
6077+
(0, self.prev_hop, required),
6078+
(1, self.total_msat, required),
6079+
(2, self.value, required),
6080+
(4, payment_data, option),
6081+
(6, self.cltv_expiry, required),
6082+
(8, keysend_preimage, option),
6083+
});
60796084
Ok(())
60806085
}
60816086
}
@@ -6086,32 +6091,41 @@ impl Readable for ClaimableHTLC {
60866091
let mut value = 0;
60876092
let mut payment_data: Option<msgs::FinalOnionHopData> = None;
60886093
let mut cltv_expiry = 0;
6094+
let mut total_msat = None;
60896095
let mut keysend_preimage: Option<PaymentPreimage> = None;
6090-
read_tlv_fields!
6091-
(reader,
6092-
{
6093-
(0, prev_hop, required), (2, value, required),
6094-
(4, payment_data, option), (6, cltv_expiry, required),
6095-
(8, keysend_preimage, option)
6096-
});
6096+
read_tlv_fields!(reader, {
6097+
(0, prev_hop, required),
6098+
(1, total_msat, option),
6099+
(2, value, required),
6100+
(4, payment_data, option),
6101+
(6, cltv_expiry, required),
6102+
(8, keysend_preimage, option)
6103+
});
60976104
let onion_payload = match keysend_preimage {
60986105
Some(p) => {
60996106
if payment_data.is_some() {
61006107
return Err(DecodeError::InvalidValue)
61016108
}
6109+
if total_msat.is_none() {
6110+
total_msat = Some(value);
6111+
}
61026112
OnionPayload::Spontaneous(p)
61036113
},
61046114
None => {
61056115
if payment_data.is_none() {
61066116
return Err(DecodeError::InvalidValue)
61076117
}
6118+
if total_msat.is_none() {
6119+
total_msat = Some(payment_data.as_ref().unwrap().total_msat);
6120+
}
61086121
OnionPayload::Invoice(payment_data.unwrap())
61096122
},
61106123
};
61116124
Ok(Self {
61126125
prev_hop: prev_hop.0.unwrap(),
61136126
timer_ticks: 0,
61146127
value,
6128+
total_msat: total_msat.unwrap(),
61156129
onion_payload,
61166130
cltv_expiry,
61176131
})

0 commit comments

Comments
 (0)