Skip to content

Commit daf79f5

Browse files
authored
Merge pull request #2413 from valentinewallace/2023-07-route-blinding
Route blinding MVP
2 parents 286d1db + ebdc4ae commit daf79f5

File tree

10 files changed

+346
-70
lines changed

10 files changed

+346
-70
lines changed

fuzz/src/onion_hop_data.rs

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -11,18 +11,21 @@
1111
// To modify it, modify msg_target_template.txt and run gen_target.sh instead.
1212

1313
use crate::utils::test_logger;
14+
use lightning::util::test_utils;
1415

1516
#[inline]
1617
pub fn onion_hop_data_test<Out: test_logger::Output>(data: &[u8], _out: Out) {
17-
use lightning::util::ser::Readable;
18+
use lightning::util::ser::ReadableArgs;
1819
let mut r = ::std::io::Cursor::new(data);
19-
let _ = <lightning::ln::msgs::InboundOnionPayload as Readable>::read(&mut r);
20+
let node_signer = test_utils::TestNodeSigner::new(test_utils::privkey(42));
21+
let _ = <lightning::ln::msgs::InboundOnionPayload as ReadableArgs<&&test_utils::TestNodeSigner>>::read(&mut r, &&node_signer);
2022
}
2123

2224
#[no_mangle]
2325
pub extern "C" fn onion_hop_data_run(data: *const u8, datalen: usize) {
24-
use lightning::util::ser::Readable;
26+
use lightning::util::ser::ReadableArgs;
2527
let data = unsafe { std::slice::from_raw_parts(data, datalen) };
2628
let mut r = ::std::io::Cursor::new(data);
27-
let _ = <lightning::ln::msgs::InboundOnionPayload as Readable>::read(&mut r);
29+
let node_signer = test_utils::TestNodeSigner::new(test_utils::privkey(42));
30+
let _ = <lightning::ln::msgs::InboundOnionPayload as ReadableArgs<&&test_utils::TestNodeSigner>>::read(&mut r, &&node_signer);
2831
}

lightning/src/blinded_path/mod.rs

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,6 +76,19 @@ impl BlindedPath {
7676
})
7777
}
7878

79+
/// Create a one-hop blinded path for a payment.
80+
pub fn one_hop_for_payment<ES: EntropySource, T: secp256k1::Signing + secp256k1::Verification>(
81+
payee_node_id: PublicKey, payee_tlvs: payment::ReceiveTlvs, entropy_source: &ES,
82+
secp_ctx: &Secp256k1<T>
83+
) -> Result<(BlindedPayInfo, Self), ()> {
84+
// This value is not considered in pathfinding for 1-hop blinded paths, because it's intended to
85+
// be in relation to a specific channel.
86+
let htlc_maximum_msat = u64::max_value();
87+
Self::new_for_payment(
88+
&[], payee_node_id, payee_tlvs, htlc_maximum_msat, entropy_source, secp_ctx
89+
)
90+
}
91+
7992
/// Create a blinded path for a payment, to be forwarded along `intermediate_nodes`.
8093
///
8194
/// Errors if:
@@ -85,7 +98,7 @@ impl BlindedPath {
8598
///
8699
/// [`ForwardTlvs`]: crate::blinded_path::payment::ForwardTlvs
87100
// TODO: make all payloads the same size with padding + add dummy hops
88-
pub fn new_for_payment<ES: EntropySource, T: secp256k1::Signing + secp256k1::Verification>(
101+
pub(crate) fn new_for_payment<ES: EntropySource, T: secp256k1::Signing + secp256k1::Verification>(
89102
intermediate_nodes: &[payment::ForwardNode], payee_node_id: PublicKey,
90103
payee_tlvs: payment::ReceiveTlvs, htlc_maximum_msat: u64, entropy_source: &ES,
91104
secp_ctx: &Secp256k1<T>

lightning/src/blinded_path/payment.rs

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -119,6 +119,21 @@ impl Writeable for ReceiveTlvs {
119119
}
120120
}
121121

122+
// This will be removed once we support forwarding blinded HTLCs, because we'll always read a
123+
// `BlindedPaymentTlvs` instead.
124+
impl Readable for ReceiveTlvs {
125+
fn read<R: io::Read>(r: &mut R) -> Result<Self, DecodeError> {
126+
_init_and_read_tlv_stream!(r, {
127+
(12, payment_constraints, required),
128+
(65536, payment_secret, required),
129+
});
130+
Ok(Self {
131+
payment_secret: payment_secret.0.unwrap(),
132+
payment_constraints: payment_constraints.0.unwrap()
133+
})
134+
}
135+
}
136+
122137
impl<'a> Writeable for BlindedPaymentTlvsRef<'a> {
123138
fn write<W: Writer>(&self, w: &mut W) -> Result<(), io::Error> {
124139
// TODO: write padding
Lines changed: 113 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,113 @@
1+
// This file is Copyright its original authors, visible in version control
2+
// history.
3+
//
4+
// This file is licensed under the Apache License, Version 2.0 <LICENSE-APACHE
5+
// or http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
6+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your option.
7+
// You may not use this file except in accordance with one or both of these
8+
// licenses.
9+
10+
use bitcoin::secp256k1::Secp256k1;
11+
use crate::blinded_path::BlindedPath;
12+
use crate::blinded_path::payment::{PaymentConstraints, ReceiveTlvs};
13+
use crate::events::MessageSendEventsProvider;
14+
use crate::ln::channelmanager;
15+
use crate::ln::channelmanager::{PaymentId, RecipientOnionFields};
16+
use crate::ln::features::Bolt12InvoiceFeatures;
17+
use crate::ln::functional_test_utils::*;
18+
use crate::ln::outbound_payment::Retry;
19+
use crate::prelude::*;
20+
use crate::routing::router::{PaymentParameters, RouteParameters};
21+
use crate::util::config::UserConfig;
22+
23+
#[test]
24+
fn one_hop_blinded_path() {
25+
do_one_hop_blinded_path(true);
26+
do_one_hop_blinded_path(false);
27+
}
28+
29+
fn do_one_hop_blinded_path(success: bool) {
30+
let chanmon_cfgs = create_chanmon_cfgs(2);
31+
let node_cfgs = create_node_cfgs(2, &chanmon_cfgs);
32+
let node_chanmgrs = create_node_chanmgrs(2, &node_cfgs, &[None, None]);
33+
let nodes = create_network(2, &node_cfgs, &node_chanmgrs);
34+
let chan_upd = create_announced_chan_between_nodes_with_value(&nodes, 0, 1, 1_000_000, 0).0.contents;
35+
36+
let amt_msat = 5000;
37+
let (payment_preimage, payment_hash, payment_secret) = get_payment_preimage_hash(&nodes[1], Some(amt_msat), None);
38+
let payee_tlvs = ReceiveTlvs {
39+
payment_secret,
40+
payment_constraints: PaymentConstraints {
41+
max_cltv_expiry: u32::max_value(),
42+
htlc_minimum_msat: chan_upd.htlc_minimum_msat,
43+
},
44+
};
45+
let mut secp_ctx = Secp256k1::new();
46+
let blinded_path = BlindedPath::one_hop_for_payment(
47+
nodes[1].node.get_our_node_id(), payee_tlvs, &chanmon_cfgs[1].keys_manager, &secp_ctx
48+
).unwrap();
49+
50+
let route_params = RouteParameters {
51+
payment_params: PaymentParameters::blinded(vec![blinded_path]),
52+
final_value_msat: amt_msat
53+
};
54+
nodes[0].node.send_payment(payment_hash, RecipientOnionFields::spontaneous_empty(),
55+
PaymentId(payment_hash.0), route_params, Retry::Attempts(0)).unwrap();
56+
check_added_monitors(&nodes[0], 1);
57+
pass_along_route(&nodes[0], &[&[&nodes[1]]], amt_msat, payment_hash, payment_secret);
58+
if success {
59+
claim_payment(&nodes[0], &[&nodes[1]], payment_preimage);
60+
} else {
61+
fail_payment(&nodes[0], &[&nodes[1]], payment_hash);
62+
}
63+
}
64+
65+
#[test]
66+
fn mpp_to_one_hop_blinded_path() {
67+
let chanmon_cfgs = create_chanmon_cfgs(4);
68+
let node_cfgs = create_node_cfgs(4, &chanmon_cfgs);
69+
let node_chanmgrs = create_node_chanmgrs(4, &node_cfgs, &[None, None, None, None]);
70+
let nodes = create_network(4, &node_cfgs, &node_chanmgrs);
71+
let mut secp_ctx = Secp256k1::new();
72+
73+
create_announced_chan_between_nodes(&nodes, 0, 1);
74+
create_announced_chan_between_nodes(&nodes, 0, 2);
75+
let chan_upd_1_3 = create_announced_chan_between_nodes(&nodes, 1, 3).0.contents;
76+
create_announced_chan_between_nodes(&nodes, 2, 3).0.contents;
77+
78+
let amt_msat = 15_000_000;
79+
let (payment_preimage, payment_hash, payment_secret) = get_payment_preimage_hash(&nodes[3], Some(amt_msat), None);
80+
let payee_tlvs = ReceiveTlvs {
81+
payment_secret,
82+
payment_constraints: PaymentConstraints {
83+
max_cltv_expiry: u32::max_value(),
84+
htlc_minimum_msat: chan_upd_1_3.htlc_minimum_msat,
85+
},
86+
};
87+
let blinded_path = BlindedPath::one_hop_for_payment(
88+
nodes[3].node.get_our_node_id(), payee_tlvs, &chanmon_cfgs[3].keys_manager, &secp_ctx
89+
).unwrap();
90+
91+
let bolt12_features: Bolt12InvoiceFeatures =
92+
channelmanager::provided_invoice_features(&UserConfig::default()).to_context();
93+
let route_params = RouteParameters {
94+
payment_params: PaymentParameters::blinded(vec![blinded_path])
95+
.with_bolt12_features(bolt12_features).unwrap(),
96+
final_value_msat: amt_msat,
97+
};
98+
nodes[0].node.send_payment(payment_hash, RecipientOnionFields::spontaneous_empty(), PaymentId(payment_hash.0), route_params, Retry::Attempts(0)).unwrap();
99+
check_added_monitors(&nodes[0], 2);
100+
101+
let expected_route: &[&[&Node]] = &[&[&nodes[1], &nodes[3]], &[&nodes[2], &nodes[3]]];
102+
let mut events = nodes[0].node.get_and_clear_pending_msg_events();
103+
assert_eq!(events.len(), 2);
104+
105+
let ev = remove_first_msg_event_to_node(&nodes[1].node.get_our_node_id(), &mut events);
106+
pass_along_path(&nodes[0], expected_route[0], amt_msat, payment_hash.clone(),
107+
Some(payment_secret), ev.clone(), false, None);
108+
109+
let ev = remove_first_msg_event_to_node(&nodes[2].node.get_our_node_id(), &mut events);
110+
pass_along_path(&nodes[0], expected_route[1], amt_msat, payment_hash.clone(),
111+
Some(payment_secret), ev.clone(), true, None);
112+
claim_payment_along_route(&nodes[0], expected_route, false, payment_preimage);
113+
}

lightning/src/ln/channelmanager.rs

Lines changed: 21 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2795,7 +2795,7 @@ where
27952795
let (short_channel_id, amt_to_forward, outgoing_cltv_value) = match hop_data {
27962796
msgs::InboundOnionPayload::Forward { short_channel_id, amt_to_forward, outgoing_cltv_value } =>
27972797
(short_channel_id, amt_to_forward, outgoing_cltv_value),
2798-
msgs::InboundOnionPayload::Receive { .. } =>
2798+
msgs::InboundOnionPayload::Receive { .. } | msgs::InboundOnionPayload::BlindedReceive { .. } =>
27992799
return Err(InboundOnionErr {
28002800
msg: "Final Node OnionHopData provided for us as an intermediary node",
28012801
err_code: 0x4000 | 22,
@@ -2827,12 +2827,19 @@ where
28272827
payment_data, keysend_preimage, custom_tlvs, amt_msat, outgoing_cltv_value, payment_metadata, ..
28282828
} =>
28292829
(payment_data, keysend_preimage, custom_tlvs, amt_msat, outgoing_cltv_value, payment_metadata),
2830-
_ =>
2830+
msgs::InboundOnionPayload::BlindedReceive {
2831+
amt_msat, total_msat, outgoing_cltv_value, payment_secret, ..
2832+
} => {
2833+
let payment_data = msgs::FinalOnionHopData { payment_secret, total_msat };
2834+
(Some(payment_data), None, Vec::new(), amt_msat, outgoing_cltv_value, None)
2835+
}
2836+
msgs::InboundOnionPayload::Forward { .. } => {
28312837
return Err(InboundOnionErr {
28322838
err_code: 0x4000|22,
28332839
err_data: Vec::new(),
28342840
msg: "Got non final data with an HMAC of 0",
2835-
}),
2841+
})
2842+
},
28362843
};
28372844
// final_incorrect_cltv_expiry
28382845
if outgoing_cltv_value > cltv_expiry {
@@ -2972,7 +2979,10 @@ where
29722979
}
29732980
}
29742981

2975-
let next_hop = match onion_utils::decode_next_payment_hop(shared_secret, &msg.onion_routing_packet.hop_data[..], msg.onion_routing_packet.hmac, msg.payment_hash) {
2982+
let next_hop = match onion_utils::decode_next_payment_hop(
2983+
shared_secret, &msg.onion_routing_packet.hop_data[..], msg.onion_routing_packet.hmac,
2984+
msg.payment_hash, &self.node_signer
2985+
) {
29762986
Ok(res) => res,
29772987
Err(onion_utils::OnionDecodeErr::Malformed { err_msg, err_code }) => {
29782988
return_malformed_err!(err_msg, err_code);
@@ -2994,7 +3004,9 @@ where
29943004
// We'll do receive checks in [`Self::construct_pending_htlc_info`] so we have access to the
29953005
// inbound channel's state.
29963006
onion_utils::Hop::Receive { .. } => return Ok((next_hop, shared_secret, None)),
2997-
onion_utils::Hop::Forward { next_hop_data: msgs::InboundOnionPayload::Receive { .. }, .. } => {
3007+
onion_utils::Hop::Forward { next_hop_data: msgs::InboundOnionPayload::Receive { .. }, .. } |
3008+
onion_utils::Hop::Forward { next_hop_data: msgs::InboundOnionPayload::BlindedReceive { .. }, .. } =>
3009+
{
29983010
return_err!("Final Node OnionHopData provided for us as an intermediary node", 0x4000 | 22, &[0; 0]);
29993011
}
30003012
};
@@ -3981,7 +3993,10 @@ where
39813993
let phantom_pubkey_res = self.node_signer.get_node_id(Recipient::PhantomNode);
39823994
if phantom_pubkey_res.is_ok() && fake_scid::is_valid_phantom(&self.fake_scid_rand_bytes, short_chan_id, &self.genesis_hash) {
39833995
let phantom_shared_secret = self.node_signer.ecdh(Recipient::PhantomNode, &onion_packet.public_key.unwrap(), None).unwrap().secret_bytes();
3984-
let next_hop = match onion_utils::decode_next_payment_hop(phantom_shared_secret, &onion_packet.hop_data, onion_packet.hmac, payment_hash) {
3996+
let next_hop = match onion_utils::decode_next_payment_hop(
3997+
phantom_shared_secret, &onion_packet.hop_data, onion_packet.hmac,
3998+
payment_hash, &self.node_signer
3999+
) {
39854000
Ok(res) => res,
39864001
Err(onion_utils::OnionDecodeErr::Malformed { err_msg, err_code }) => {
39874002
let sha256_of_onion = Sha256::hash(&onion_packet.hop_data).into_inner();

lightning/src/ln/mod.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,9 @@ pub mod wire;
4343
// without the node parameter being mut. This is incorrect, and thus newer rustcs will complain
4444
// about an unnecessary mut. Thus, we silence the unused_mut warning in two test modules below.
4545

46+
#[cfg(test)]
47+
#[allow(unused_mut)]
48+
mod blinded_payment_tests;
4649
#[cfg(test)]
4750
#[allow(unused_mut)]
4851
mod functional_tests;

0 commit comments

Comments
 (0)