1 // Imports that need to be added manually
2 use bitcoin::bech32::u5;
3 use bitcoin::blockdata::script::ScriptBuf;
4 use bitcoin::secp256k1::{PublicKey, Scalar, Secp256k1, SecretKey, self};
5 use bitcoin::secp256k1::ecdh::SharedSecret;
6 use bitcoin::secp256k1::ecdsa::RecoverableSignature;
7 use bitcoin::secp256k1::schnorr;
9 use lightning::blinded_path::BlindedPath;
10 use lightning::ln::features::InitFeatures;
11 use lightning::ln::msgs::{self, DecodeError, OnionMessageHandler};
12 use lightning::ln::script::ShutdownScript;
13 use lightning::offers::invoice::UnsignedBolt12Invoice;
14 use lightning::offers::invoice_request::UnsignedInvoiceRequest;
15 use lightning::sign::{Recipient, KeyMaterial, EntropySource, NodeSigner, SignerProvider};
16 use lightning::util::test_channel_signer::TestChannelSigner;
17 use lightning::util::logger::Logger;
18 use lightning::util::ser::{Readable, Writeable, Writer};
19 use lightning::onion_message::messenger::{CustomOnionMessageHandler, Destination, MessageRouter, OnionMessagePath, OnionMessenger, PendingOnionMessage};
20 use lightning::onion_message::offers::{OffersMessage, OffersMessageHandler};
21 use lightning::onion_message::packet::OnionMessageContents;
23 use crate::utils::test_logger;
25 use std::io::{self, Cursor};
26 use std::sync::atomic::{AtomicU64, Ordering};
29 /// Actual fuzz test, method signature and name are fixed
30 pub fn do_test<L: Logger>(data: &[u8], logger: &L) {
31 if let Ok(msg) = <msgs::OnionMessage as Readable>::read(&mut Cursor::new(data)) {
32 let mut secret_bytes = [1; 32];
34 let secret = SecretKey::from_slice(&secret_bytes).unwrap();
35 let keys_manager = KeyProvider {
37 counter: AtomicU64::new(0),
39 let message_router = TestMessageRouter {};
40 let offers_msg_handler = TestOffersMessageHandler {};
41 let custom_msg_handler = TestCustomMessageHandler {};
42 let onion_messenger = OnionMessenger::new(
43 &keys_manager, &keys_manager, logger, &message_router, &offers_msg_handler,
48 let mut secret_bytes = [0; 32];
50 let secret = SecretKey::from_slice(&secret_bytes).unwrap();
51 PublicKey::from_secret_key(&Secp256k1::signing_only(), &secret)
54 let mut features = InitFeatures::empty();
55 features.set_onion_messages_optional();
56 let init = msgs::Init { features, networks: None, remote_network_address: None };
58 onion_messenger.peer_connected(&peer_node_id, &init, false).unwrap();
59 onion_messenger.handle_onion_message(&peer_node_id, &msg);
63 /// Method that needs to be added manually, {name}_test
64 pub fn onion_message_test<Out: test_logger::Output>(data: &[u8], out: Out) {
65 let logger = test_logger::TestLogger::new("".to_owned(), out);
66 do_test(data, &logger);
69 /// Method that needs to be added manually, {name}_run
71 pub extern "C" fn onion_message_run(data: *const u8, datalen: usize) {
72 let logger = test_logger::TestLogger::new("".to_owned(), test_logger::DevNull {});
73 do_test(unsafe { std::slice::from_raw_parts(data, datalen) }, &logger);
76 struct TestMessageRouter {}
78 impl MessageRouter for TestMessageRouter {
80 &self, _sender: PublicKey, _peers: Vec<PublicKey>, destination: Destination
81 ) -> Result<OnionMessagePath, ()> {
83 intermediate_nodes: vec![],
85 first_node_addresses: None,
89 fn create_blinded_paths<
90 ES: EntropySource + ?Sized, T: secp256k1::Signing + secp256k1::Verification
92 &self, _recipient: PublicKey, _peers: Vec<PublicKey>, _entropy_source: &ES,
93 _secp_ctx: &Secp256k1<T>
94 ) -> Result<Vec<BlindedPath>, ()> {
99 struct TestOffersMessageHandler {}
101 impl OffersMessageHandler for TestOffersMessageHandler {
102 fn handle_message(&self, _message: OffersMessage) -> Option<OffersMessage> {
108 struct TestCustomMessage {}
110 const CUSTOM_MESSAGE_TYPE: u64 = 4242;
111 const CUSTOM_MESSAGE_CONTENTS: [u8; 32] = [42; 32];
113 impl OnionMessageContents for TestCustomMessage {
114 fn tlv_type(&self) -> u64 {
119 impl Writeable for TestCustomMessage {
120 fn write<W: Writer>(&self, w: &mut W) -> Result<(), io::Error> {
121 Ok(CUSTOM_MESSAGE_CONTENTS.write(w)?)
125 struct TestCustomMessageHandler {}
127 impl CustomOnionMessageHandler for TestCustomMessageHandler {
128 type CustomMessage = TestCustomMessage;
129 fn handle_custom_message(&self, _msg: Self::CustomMessage) -> Option<Self::CustomMessage> {
130 Some(TestCustomMessage {})
132 fn read_custom_message<R: io::Read>(&self, _message_type: u64, buffer: &mut R) -> Result<Option<Self::CustomMessage>, msgs::DecodeError> {
133 let mut buf = Vec::new();
134 buffer.read_to_end(&mut buf)?;
135 return Ok(Some(TestCustomMessage {}))
137 fn release_pending_custom_messages(&self) -> Vec<PendingOnionMessage<Self::CustomMessage>> {
142 pub struct VecWriter(pub Vec<u8>);
143 impl Writer for VecWriter {
144 fn write_all(&mut self, buf: &[u8]) -> Result<(), ::std::io::Error> {
145 self.0.extend_from_slice(buf);
150 node_secret: SecretKey,
154 impl EntropySource for KeyProvider {
155 fn get_secure_random_bytes(&self) -> [u8; 32] {
156 let ctr = self.counter.fetch_add(1, Ordering::Relaxed);
157 [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
158 (ctr >> 8*7) as u8, (ctr >> 8*6) as u8, (ctr >> 8*5) as u8, (ctr >> 8*4) as u8, (ctr >> 8*3) as u8, (ctr >> 8*2) as u8, (ctr >> 8*1) as u8, 14, (ctr >> 8*0) as u8]
162 impl NodeSigner for KeyProvider {
163 fn get_node_id(&self, recipient: Recipient) -> Result<PublicKey, ()> {
164 let node_secret = match recipient {
165 Recipient::Node => Ok(&self.node_secret),
166 Recipient::PhantomNode => Err(())
168 Ok(PublicKey::from_secret_key(&Secp256k1::signing_only(), node_secret))
171 fn ecdh(&self, recipient: Recipient, other_key: &PublicKey, tweak: Option<&Scalar>) -> Result<SharedSecret, ()> {
172 let mut node_secret = match recipient {
173 Recipient::Node => Ok(self.node_secret.clone()),
174 Recipient::PhantomNode => Err(())
176 if let Some(tweak) = tweak {
177 node_secret = node_secret.mul_tweak(tweak).map_err(|_| ())?;
179 Ok(SharedSecret::new(other_key, &node_secret))
182 fn get_inbound_payment_key_material(&self) -> KeyMaterial { unreachable!() }
184 fn sign_invoice(&self, _hrp_bytes: &[u8], _invoice_data: &[u5], _recipient: Recipient) -> Result<RecoverableSignature, ()> {
188 fn sign_bolt12_invoice_request(
189 &self, _invoice_request: &UnsignedInvoiceRequest
190 ) -> Result<schnorr::Signature, ()> {
194 fn sign_bolt12_invoice(
195 &self, _invoice: &UnsignedBolt12Invoice,
196 ) -> Result<schnorr::Signature, ()> {
200 fn sign_gossip_message(&self, _msg: lightning::ln::msgs::UnsignedGossipMessage) -> Result<bitcoin::secp256k1::ecdsa::Signature, ()> {
205 impl SignerProvider for KeyProvider {
206 type EcdsaSigner = TestChannelSigner;
208 type TaprootSigner = TestChannelSigner;
210 fn generate_channel_keys_id(&self, _inbound: bool, _channel_value_satoshis: u64, _user_channel_id: u128) -> [u8; 32] { unreachable!() }
212 fn derive_channel_signer(&self, _channel_value_satoshis: u64, _channel_keys_id: [u8; 32]) -> Self::EcdsaSigner {
216 fn read_chan_signer(&self, _data: &[u8]) -> Result<TestChannelSigner, DecodeError> { unreachable!() }
218 fn get_destination_script(&self, _channel_keys_id: [u8; 32]) -> Result<ScriptBuf, ()> { unreachable!() }
220 fn get_shutdown_scriptpubkey(&self) -> Result<ShutdownScript, ()> { unreachable!() }
225 use bitcoin::hashes::hex::FromHex;
226 use lightning::util::logger::{Logger, Record};
227 use std::collections::HashMap;
228 use std::sync::Mutex;
230 struct TrackingLogger {
231 /// (module, message) -> count
232 pub lines: Mutex<HashMap<(String, String), usize>>,
234 impl Logger for TrackingLogger {
235 fn log(&self, record: Record) {
236 *self.lines.lock().unwrap().entry((record.module_path.to_string(), format!("{}", record.args))).or_insert(0) += 1;
237 println!("{:<5} [{} : {}, {}] {}", record.level.to_string(), record.module_path, record.file, record.line, record.args);
242 fn test_no_onion_message_breakage() {
244 020000000000000000000000000000000000000000000000000000000000000e01055600020000000000000\
245 000000000000000000000000000000000000000000000000e01ae0276020000000000000000000000000000\
246 000000000000000000000000000000000002020000000000000000000000000000000000000000000000000\
247 000000000000e0101022a0000000000000000000000000000014551231950b75fc4402da1732fc9bebf0010\
248 9500000000000000000000000000000004106d000000000000000000000000000000fd1092202a2a2a2a2a2\
249 a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a0000000000000000000000000000000000\
250 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
251 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
252 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
253 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
254 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
255 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
256 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
257 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
258 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
259 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
260 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
261 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
262 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
263 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
264 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
265 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
266 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
267 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
268 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
269 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
270 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
271 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
272 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
273 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
274 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
275 000000000000000000000000000000000000000005600000000000000000000000000000000000000000000\
277 let logger = TrackingLogger { lines: Mutex::new(HashMap::new()) };
278 super::do_test(&<Vec<u8>>::from_hex(one_hop_om).unwrap(), &logger);
280 let log_entries = logger.lines.lock().unwrap();
281 assert_eq!(log_entries.get(&("lightning::onion_message::messenger".to_string(),
282 "Received an onion message with path_id None and a reply_path: Custom(TestCustomMessage)"
283 .to_string())), Some(&1));
284 assert_eq!(log_entries.get(&("lightning::onion_message::messenger".to_string(),
285 "Constructing onion message when responding to Custom onion message with path_id None: TestCustomMessage".to_string())), Some(&1));
286 assert_eq!(log_entries.get(&("lightning::onion_message::messenger".to_string(),
287 "Buffered onion message when responding to Custom onion message with path_id None".to_string())), Some(&1));
290 let two_unblinded_hops_om = "\
291 020000000000000000000000000000000000000000000000000000000000000e01055600020000000000000\
292 000000000000000000000000000000000000000000000000e01350433042102020202020202020202020202\
293 02020202020202020202020202020202020202026d000000000000000000000000000000eb0000000000000\
294 000000000000000000000000000000000000000000000000036041096000000000000000000000000000000\
295 fd1092202a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a000000000000000\
296 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
297 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
298 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
299 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
300 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
301 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
302 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
303 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
304 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
305 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
306 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
307 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
308 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
309 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
310 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
311 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
312 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
313 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
314 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
315 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
316 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
317 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
318 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
319 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
320 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
321 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
322 000000000000000000000000000000000000000004800000000000000000000000000000000000000000000\
324 let logger = TrackingLogger { lines: Mutex::new(HashMap::new()) };
325 super::do_test(&<Vec<u8>>::from_hex(two_unblinded_hops_om).unwrap(), &logger);
327 let log_entries = logger.lines.lock().unwrap();
328 assert_eq!(log_entries.get(&("lightning::onion_message::messenger".to_string(), "Forwarding an onion message to peer 020202020202020202020202020202020202020202020202020202020202020202".to_string())), Some(&1));
331 let two_unblinded_two_blinded_om = "\
332 020000000000000000000000000000000000000000000000000000000000000e01055600020000000000000\
333 000000000000000000000000000000000000000000000000e01350433042102020202020202020202020202\
334 02020202020202020202020202020202020202026d0000000000000000000000000000009e0000000000000\
335 000000000000000000000000000000000000000000000000058045604210203030303030303030303030303\
336 030303030303030303030303030303030303020821020000000000000000000000000000000000000000000\
337 000000000000000000e0196000000000000000000000000000000e900000000000000000000000000000000\
338 000000000000000000000000000000350433042102040404040404040404040404040404040404040404040\
339 4040404040404040402ca000000000000000000000000000000420000000000000000000000000000000000\
340 00000000000000000000000000003604103f000000000000000000000000000000fd1092202a2a2a2a2a2a2\
341 a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a000000000000000000000000000000000000\
342 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
343 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
344 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
345 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
346 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
347 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
348 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
349 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
350 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
351 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
352 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
353 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
354 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
355 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
356 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
357 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
358 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
359 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
360 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
361 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
362 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
363 000000000000000000000000000000000000000004800000000000000000000000000000000000000000000\
365 let logger = TrackingLogger { lines: Mutex::new(HashMap::new()) };
366 super::do_test(&<Vec<u8>>::from_hex(two_unblinded_two_blinded_om).unwrap(), &logger);
368 let log_entries = logger.lines.lock().unwrap();
369 assert_eq!(log_entries.get(&("lightning::onion_message::messenger".to_string(), "Forwarding an onion message to peer 020202020202020202020202020202020202020202020202020202020202020202".to_string())), Some(&1));
372 let three_blinded_om = "\
373 020000000000000000000000000000000000000000000000000000000000000e01055600020000000000000\
374 000000000000000000000000000000000000000000000000e01350433042102020202020202020202020202\
375 02020202020202020202020202020202020202026d000000000000000000000000000000b20000000000000\
376 000000000000000000000000000000000000000000000000035043304210203030303030303030303030303\
377 030303030303030303030303030303030303029600000000000000000000000000000033000000000000000\
378 000000000000000000000000000000000000000000000003604104e000000000000000000000000000000fd\
379 1092202a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a00000000000000000\
380 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
381 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
382 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
383 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
384 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
385 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
386 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
387 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
388 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
389 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
390 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
391 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
392 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
393 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
394 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
395 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
396 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
397 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
398 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
399 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
400 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
401 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
402 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
403 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\
404 000000000000000000000000000000000000000004800000000000000000000000000000000000000000000\
406 let logger = TrackingLogger { lines: Mutex::new(HashMap::new()) };
407 super::do_test(&<Vec<u8>>::from_hex(three_blinded_om).unwrap(), &logger);
409 let log_entries = logger.lines.lock().unwrap();
410 assert_eq!(log_entries.get(&("lightning::onion_message::messenger".to_string(), "Forwarding an onion message to peer 020202020202020202020202020202020202020202020202020202020202020202".to_string())), Some(&1));