_ Git - rust-lightning/blob - fuzz/src/chanmon_consistency.rs

   1 //! Test that monitor update failures don't get our channel state out of sync.
   2 //! One of the biggest concern with the monitor update failure handling code is that messages
   3 //! resent after monitor updating is restored are delivered out-of-order, resulting in
   4 //! commitment_signed messages having "invalid signatures".
   5 //! To test this we stand up a network of three nodes and read bytes from the fuzz input to denote
   6 //! actions such as sending payments, handling events, or changing monitor update return values on
   7 //! a per-node basis. This should allow it to find any cases where the ordering of actions results
   8 //! in us getting out of sync with ourselves, and, assuming at least one of our recieve- or
   9 //! send-side handling is correct, other peers. We consider it a failure if any action results in a
  10 //! channel being force-closed.
  11
  12 use bitcoin::BitcoinHash;
  13 use bitcoin::blockdata::block::BlockHeader;
  14 use bitcoin::blockdata::transaction::{Transaction, TxOut};
  15 use bitcoin::blockdata::script::{Builder, Script};
  16 use bitcoin::blockdata::opcodes;
  17 use bitcoin::network::constants::Network;
  18
  19 use bitcoin_hashes::Hash as TraitImport;
  20 use bitcoin_hashes::hash160::Hash as Hash160;
  21 use bitcoin_hashes::sha256::Hash as Sha256;
  22 use bitcoin_hashes::sha256d::Hash as Sha256d;
  23
  24 use lightning::chain::chaininterface;
  25 use lightning::chain::transaction::OutPoint;
  26 use lightning::chain::chaininterface::{BroadcasterInterface,ConfirmationTarget,ChainListener,FeeEstimator,ChainWatchInterfaceUtil};
  27 use lightning::chain::keysinterface::{KeysInterface, InMemoryChannelKeys};
  28 use lightning::ln::channelmonitor;
  29 use lightning::ln::channelmonitor::{ChannelMonitor, ChannelMonitorUpdateErr, HTLCUpdate};
  30 use lightning::ln::channelmanager::{ChannelManager, PaymentHash, PaymentPreimage, ChannelManagerReadArgs};
  31 use lightning::ln::router::{Route, RouteHop};
  32 use lightning::ln::features::InitFeatures;
  33 use lightning::ln::msgs::{CommitmentUpdate, ChannelMessageHandler, ErrorAction, UpdateAddHTLC};
  34 use lightning::util::enforcing_trait_impls::EnforcingChannelKeys;
  35 use lightning::util::events;
  36 use lightning::util::logger::Logger;
  37 use lightning::util::config::UserConfig;
  38 use lightning::util::events::{EventsProvider, MessageSendEventsProvider};
  39 use lightning::util::ser::{Readable, ReadableArgs, Writeable, Writer};
  40
  41 use utils::test_logger;
  42
  43 use secp256k1::key::{PublicKey,SecretKey};
  44 use secp256k1::Secp256k1;
  45
  46 use std::mem;
  47 use std::cmp::Ordering;
  48 use std::collections::{HashSet, hash_map, HashMap};
  49 use std::sync::{Arc,Mutex};
  50 use std::sync::atomic;
  51 use std::io::Cursor;
  52
  53 struct FuzzEstimator {}
  54 impl FeeEstimator for FuzzEstimator {
  55         fn get_est_sat_per_1000_weight(&self, _: ConfirmationTarget) -> u64 {
  56                 253
  57         }
  58 }
  59
  60 pub struct TestBroadcaster {}
  61 impl BroadcasterInterface for TestBroadcaster {
  62         fn broadcast_transaction(&self, _tx: &Transaction) { }
  63 }
  64
  65 pub struct VecWriter(pub Vec<u8>);
  66 impl Writer for VecWriter {
  67         fn write_all(&mut self, buf: &[u8]) -> Result<(), ::std::io::Error> {
  68                 self.0.extend_from_slice(buf);
  69                 Ok(())
  70         }
  71         fn size_hint(&mut self, size: usize) {
  72                 self.0.reserve_exact(size);
  73         }
  74 }
  75
  76 static mut IN_RESTORE: bool = false;
  77 pub struct TestChannelMonitor {
  78         pub simple_monitor: Arc<channelmonitor::SimpleManyChannelMonitor<OutPoint>>,
  79         pub update_ret: Mutex<Result<(), channelmonitor::ChannelMonitorUpdateErr>>,
  80         pub latest_good_update: Mutex<HashMap<OutPoint, Vec<u8>>>,
  81         pub latest_update_good: Mutex<HashMap<OutPoint, bool>>,
  82         pub latest_updates_good_at_last_ser: Mutex<HashMap<OutPoint, bool>>,
  83         pub should_update_manager: atomic::AtomicBool,
  84 }
  85 impl TestChannelMonitor {
  86         pub fn new(chain_monitor: Arc<dyn chaininterface::ChainWatchInterface>, broadcaster: Arc<dyn chaininterface::BroadcasterInterface>, logger: Arc<dyn Logger>, feeest: Arc<dyn chaininterface::FeeEstimator>) -> Self {
  87                 Self {
  88                         simple_monitor: channelmonitor::SimpleManyChannelMonitor::new(chain_monitor, broadcaster, logger, feeest),
  89                         update_ret: Mutex::new(Ok(())),
  90                         latest_good_update: Mutex::new(HashMap::new()),
  91                         latest_update_good: Mutex::new(HashMap::new()),
  92                         latest_updates_good_at_last_ser: Mutex::new(HashMap::new()),
  93                         should_update_manager: atomic::AtomicBool::new(false),
  94                 }
  95         }
  96 }
  97 impl channelmonitor::ManyChannelMonitor for TestChannelMonitor {
  98         fn add_update_monitor(&self, funding_txo: OutPoint, monitor: channelmonitor::ChannelMonitor) -> Result<(), channelmonitor::ChannelMonitorUpdateErr> {
  99                 let ret = self.update_ret.lock().unwrap().clone();
 100                 if let Ok(()) = ret {
 101                         let mut ser = VecWriter(Vec::new());
 102                         monitor.write_for_disk(&mut ser).unwrap();
 103                         self.latest_good_update.lock().unwrap().insert(funding_txo, ser.0);
 104                         match self.latest_update_good.lock().unwrap().entry(funding_txo) {
 105                                 hash_map::Entry::Vacant(e) => { e.insert(true); },
 106                                 hash_map::Entry::Occupied(mut e) => {
 107                                         if !e.get() && unsafe { IN_RESTORE } {
 108                                                 // Technically we can't consider an update to be "good" unless we're doing
 109                                                 // it in response to a test_restore_channel_monitor as the channel may
 110                                                 // still be waiting on such a call, so only set us to good if we're in the
 111                                                 // middle of a restore call.
 112                                                 e.insert(true);
 113                                         }
 114                                 },
 115                         }
 116                         self.should_update_manager.store(true, atomic::Ordering::Relaxed);
 117                 } else {
 118                         self.latest_update_good.lock().unwrap().insert(funding_txo, false);
 119                 }
 120                 assert!(self.simple_monitor.add_update_monitor(funding_txo, monitor).is_ok());
 121                 ret
 122         }
 123
 124         fn fetch_pending_htlc_updated(&self) -> Vec<HTLCUpdate> {
 125                 return self.simple_monitor.fetch_pending_htlc_updated();
 126         }
 127 }
 128
 129 struct KeyProvider {
 130         node_id: u8,
 131         session_id: atomic::AtomicU8,
 132         channel_id: atomic::AtomicU8,
 133 }
 134 impl KeysInterface for KeyProvider {
 135         type ChanKeySigner = EnforcingChannelKeys;
 136
 137         fn get_node_secret(&self) -> SecretKey {
 138                 SecretKey::from_slice(&[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, self.node_id]).unwrap()
 139         }
 140
 141         fn get_destination_script(&self) -> Script {
 142                 let secp_ctx = Secp256k1::signing_only();
 143                 let channel_monitor_claim_key = SecretKey::from_slice(&[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, self.node_id]).unwrap();
 144                 let our_channel_monitor_claim_key_hash = Hash160::hash(&PublicKey::from_secret_key(&secp_ctx, &channel_monitor_claim_key).serialize());
 145                 Builder::new().push_opcode(opcodes::all::OP_PUSHBYTES_0).push_slice(&our_channel_monitor_claim_key_hash[..]).into_script()
 146         }
 147
 148         fn get_shutdown_pubkey(&self) -> PublicKey {
 149                 let secp_ctx = Secp256k1::signing_only();
 150                 PublicKey::from_secret_key(&secp_ctx, &SecretKey::from_slice(&[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, self.node_id]).unwrap())
 151         }
 152
 153         fn get_channel_keys(&self, _inbound: bool) -> EnforcingChannelKeys {
 154                 EnforcingChannelKeys::new(InMemoryChannelKeys {
 155                         funding_key:               SecretKey::from_slice(&[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, self.node_id]).unwrap(),
 156                         revocation_base_key:       SecretKey::from_slice(&[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, self.node_id]).unwrap(),
 157                         payment_base_key:          SecretKey::from_slice(&[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, self.node_id]).unwrap(),
 158                         delayed_payment_base_key:  SecretKey::from_slice(&[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, self.node_id]).unwrap(),
 159                         htlc_base_key:             SecretKey::from_slice(&[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, self.node_id]).unwrap(),
 160                         commitment_seed: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, self.node_id],
 161                 })
 162         }
 163
 164         fn get_onion_rand(&self) -> (SecretKey, [u8; 32]) {
 165                 let id = self.session_id.fetch_add(1, atomic::Ordering::Relaxed);
 166                 (SecretKey::from_slice(&[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, id, 10, self.node_id]).unwrap(),
 167                 [0; 32])
 168         }
 169
 170         fn get_channel_id(&self) -> [u8; 32] {
 171                 let id = self.channel_id.fetch_add(1, atomic::Ordering::Relaxed);
 172                 [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, id, 11, self.node_id]
 173         }
 174 }
 175
 176 #[inline]
 177 pub fn do_test(data: &[u8]) {
 178         let fee_est = Arc::new(FuzzEstimator{});
 179         let broadcast = Arc::new(TestBroadcaster{});
 180
 181         macro_rules! make_node {
 182                 ($node_id: expr) => { {
 183                         let logger: Arc<dyn Logger> = Arc::new(test_logger::TestLogger::new($node_id.to_string()));
 184                         let watch = Arc::new(ChainWatchInterfaceUtil::new(Network::Bitcoin, Arc::clone(&logger)));
 185                         let monitor = Arc::new(TestChannelMonitor::new(watch.clone(), broadcast.clone(), logger.clone(), fee_est.clone()));
 186
 187                         let keys_manager = Arc::new(KeyProvider { node_id: $node_id, session_id: atomic::AtomicU8::new(0), channel_id: atomic::AtomicU8::new(0) });
 188                         let mut config = UserConfig::default();
 189                         config.channel_options.fee_proportional_millionths = 0;
 190                         config.channel_options.announced_channel = true;
 191                         config.peer_channel_config_limits.min_dust_limit_satoshis = 0;
 192                         (ChannelManager::new(Network::Bitcoin, fee_est.clone(), monitor.clone(), broadcast.clone(), Arc::clone(&logger), keys_manager.clone(), config, 0).unwrap(),
 193                         monitor)
 194                 } }
 195         }
 196
 197         macro_rules! reload_node {
 198                 ($ser: expr, $node_id: expr, $old_monitors: expr) => { {
 199                         let logger: Arc<dyn Logger> = Arc::new(test_logger::TestLogger::new($node_id.to_string()));
 200                         let watch = Arc::new(ChainWatchInterfaceUtil::new(Network::Bitcoin, Arc::clone(&logger)));
 201                         let monitor = Arc::new(TestChannelMonitor::new(watch.clone(), broadcast.clone(), logger.clone(), fee_est.clone()));
 202
 203                         let keys_manager = Arc::new(KeyProvider { node_id: $node_id, session_id: atomic::AtomicU8::new(0), channel_id: atomic::AtomicU8::new(0) });
 204                         let mut config = UserConfig::default();
 205                         config.channel_options.fee_proportional_millionths = 0;
 206                         config.channel_options.announced_channel = true;
 207                         config.peer_channel_config_limits.min_dust_limit_satoshis = 0;
 208
 209                         let mut monitors = HashMap::new();
 210                         let mut old_monitors = $old_monitors.latest_good_update.lock().unwrap();
 211                         for (outpoint, monitor_ser) in old_monitors.drain() {
 212                                 monitors.insert(outpoint, <(Sha256d, ChannelMonitor)>::read(&mut Cursor::new(&monitor_ser), Arc::clone(&logger)).expect("Failed to read monitor").1);
 213                                 monitor.latest_good_update.lock().unwrap().insert(outpoint, monitor_ser);
 214                         }
 215                         let mut monitor_refs = HashMap::new();
 216                         for (outpoint, monitor) in monitors.iter_mut() {
 217                                 monitor_refs.insert(*outpoint, monitor);
 218                         }
 219
 220                         let read_args = ChannelManagerReadArgs {
 221                                 keys_manager,
 222                                 fee_estimator: fee_est.clone(),
 223                                 monitor: monitor.clone(),
 224                                 tx_broadcaster: broadcast.clone(),
 225                                 logger,
 226                                 default_config: config,
 227                                 channel_monitors: &mut monitor_refs,
 228                         };
 229
 230                         let res = (<(Sha256d, ChannelManager<EnforcingChannelKeys>)>::read(&mut Cursor::new(&$ser.0), read_args).expect("Failed to read manager").1, monitor);
 231                         for (_, was_good) in $old_monitors.latest_updates_good_at_last_ser.lock().unwrap().iter() {
 232                                 if !was_good {
 233                                         // If the last time we updated a monitor we didn't successfully update (and we
 234                                         // have sense updated our serialized copy of the ChannelManager) we may
 235                                         // force-close the channel on our counterparty cause we know we're missing
 236                                         // something. Thus, we just return here since we can't continue to test.
 237                                         return;
 238                                 }
 239                         }
 240                         res
 241                 } }
 242         }
 243
 244         let mut channel_txn = Vec::new();
 245         macro_rules! make_channel {
 246                 ($source: expr, $dest: expr, $chan_id: expr) => { {
 247                         $source.create_channel($dest.get_our_node_id(), 10000000, 42, 0).unwrap();
 248                         let open_channel = {
 249                                 let events = $source.get_and_clear_pending_msg_events();
 250                                 assert_eq!(events.len(), 1);
 251                                 if let events::MessageSendEvent::SendOpenChannel { ref msg, .. } = events[0] {
 252                                         msg.clone()
 253                                 } else { panic!("Wrong event type"); }
 254                         };
 255
 256                         $dest.handle_open_channel(&$source.get_our_node_id(), InitFeatures::supported(), &open_channel);
 257                         let accept_channel = {
 258                                 let events = $dest.get_and_clear_pending_msg_events();
 259                                 assert_eq!(events.len(), 1);
 260                                 if let events::MessageSendEvent::SendAcceptChannel { ref msg, .. } = events[0] {
 261                                         msg.clone()
 262                                 } else { panic!("Wrong event type"); }
 263                         };
 264
 265                         $source.handle_accept_channel(&$dest.get_our_node_id(), InitFeatures::supported(), &accept_channel);
 266                         {
 267                                 let events = $source.get_and_clear_pending_events();
 268                                 assert_eq!(events.len(), 1);
 269                                 if let events::Event::FundingGenerationReady { ref temporary_channel_id, ref channel_value_satoshis, ref output_script, .. } = events[0] {
 270                                         let tx = Transaction { version: $chan_id, lock_time: 0, input: Vec::new(), output: vec![TxOut {
 271                                                 value: *channel_value_satoshis, script_pubkey: output_script.clone(),
 272                                         }]};
 273                                         let funding_output = OutPoint::new(tx.txid(), 0);
 274                                         $source.funding_transaction_generated(&temporary_channel_id, funding_output);
 275                                         channel_txn.push(tx);
 276                                 } else { panic!("Wrong event type"); }
 277                         }
 278
 279                         let funding_created = {
 280                                 let events = $source.get_and_clear_pending_msg_events();
 281                                 assert_eq!(events.len(), 1);
 282                                 if let events::MessageSendEvent::SendFundingCreated { ref msg, .. } = events[0] {
 283                                         msg.clone()
 284                                 } else { panic!("Wrong event type"); }
 285                         };
 286                         $dest.handle_funding_created(&$source.get_our_node_id(), &funding_created);
 287
 288                         let funding_signed = {
 289                                 let events = $dest.get_and_clear_pending_msg_events();
 290                                 assert_eq!(events.len(), 1);
 291                                 if let events::MessageSendEvent::SendFundingSigned { ref msg, .. } = events[0] {
 292                                         msg.clone()
 293                                 } else { panic!("Wrong event type"); }
 294                         };
 295                         $source.handle_funding_signed(&$dest.get_our_node_id(), &funding_signed);
 296
 297                         {
 298                                 let events = $source.get_and_clear_pending_events();
 299                                 assert_eq!(events.len(), 1);
 300                                 if let events::Event::FundingBroadcastSafe { .. } = events[0] {
 301                                 } else { panic!("Wrong event type"); }
 302                         }
 303                 } }
 304         }
 305
 306         macro_rules! confirm_txn {
 307                 ($node: expr) => { {
 308                         let mut header = BlockHeader { version: 0x20000000, prev_blockhash: Default::default(), merkle_root: Default::default(), time: 42, bits: 42, nonce: 42 };
 309                         let mut txn = Vec::with_capacity(channel_txn.len());
 310                         let mut posn = Vec::with_capacity(channel_txn.len());
 311                         for i in 0..channel_txn.len() {
 312                                 txn.push(&channel_txn[i]);
 313                                 posn.push(i as u32 + 1);
 314                         }
 315                         $node.block_connected(&header, 1, &txn, &posn);
 316                         for i in 2..100 {
 317                                 header = BlockHeader { version: 0x20000000, prev_blockhash: header.bitcoin_hash(), merkle_root: Default::default(), time: 42, bits: 42, nonce: 42 };
 318                                 $node.block_connected(&header, i, &Vec::new(), &[0; 0]);
 319                         }
 320                 } }
 321         }
 322
 323         macro_rules! lock_fundings {
 324                 ($nodes: expr) => { {
 325                         let mut node_events = Vec::new();
 326                         for node in $nodes.iter() {
 327                                 node_events.push(node.get_and_clear_pending_msg_events());
 328                         }
 329                         for (idx, node_event) in node_events.iter().enumerate() {
 330                                 for event in node_event {
 331                                         if let events::MessageSendEvent::SendFundingLocked { ref node_id, ref msg } = event {
 332                                                 for node in $nodes.iter() {
 333                                                         if node.get_our_node_id() == *node_id {
 334                                                                 node.handle_funding_locked(&$nodes[idx].get_our_node_id(), msg);
 335                                                         }
 336                                                 }
 337                                         } else { panic!("Wrong event type"); }
 338                                 }
 339                         }
 340
 341                         for node in $nodes.iter() {
 342                                 let events = node.get_and_clear_pending_msg_events();
 343                                 for event in events {
 344                                         if let events::MessageSendEvent::SendAnnouncementSignatures { .. } = event {
 345                                         } else { panic!("Wrong event type"); }
 346                                 }
 347                         }
 348                 } }
 349         }
 350
 351         // 3 nodes is enough to hit all the possible cases, notably unknown-source-unknown-dest
 352         // forwarding.
 353         let (mut node_a, mut monitor_a) = make_node!(0);
 354         let (mut node_b, mut monitor_b) = make_node!(1);
 355         let (mut node_c, mut monitor_c) = make_node!(2);
 356
 357         let mut nodes = [node_a, node_b, node_c];
 358
 359         make_channel!(nodes[0], nodes[1], 0);
 360         make_channel!(nodes[1], nodes[2], 1);
 361
 362         for node in nodes.iter() {
 363                 confirm_txn!(node);
 364         }
 365
 366         lock_fundings!(nodes);
 367
 368         let chan_a = nodes[0].list_usable_channels()[0].short_channel_id.unwrap();
 369         let chan_b = nodes[2].list_usable_channels()[0].short_channel_id.unwrap();
 370
 371         let mut payment_id = 0;
 372
 373         let mut chan_a_disconnected = false;
 374         let mut chan_b_disconnected = false;
 375         let mut ba_events = Vec::new();
 376         let mut bc_events = Vec::new();
 377
 378         let mut node_a_ser = VecWriter(Vec::new());
 379         nodes[0].write(&mut node_a_ser).unwrap();
 380         let mut node_b_ser = VecWriter(Vec::new());
 381         nodes[1].write(&mut node_b_ser).unwrap();
 382         let mut node_c_ser = VecWriter(Vec::new());
 383         nodes[2].write(&mut node_c_ser).unwrap();
 384
 385         macro_rules! test_return {
 386                 () => { {
 387                         assert_eq!(nodes[0].list_channels().len(), 1);
 388                         assert_eq!(nodes[1].list_channels().len(), 2);
 389                         assert_eq!(nodes[2].list_channels().len(), 1);
 390                         return;
 391                 } }
 392         }
 393
 394         let mut read_pos = 0;
 395         macro_rules! get_slice {
 396                 ($len: expr) => {
 397                         {
 398                                 let slice_len = $len as usize;
 399                                 if data.len() < read_pos + slice_len {
 400                                         test_return!();
 401                                 }
 402                                 read_pos += slice_len;
 403                                 &data[read_pos - slice_len..read_pos]
 404                         }
 405                 }
 406         }
 407
 408         loop {
 409                 macro_rules! send_payment {
 410                         ($source: expr, $dest: expr) => { {
 411                                 let payment_hash = Sha256::hash(&[payment_id; 1]);
 412                                 payment_id = payment_id.wrapping_add(1);
 413                                 if let Err(_) = $source.send_payment(Route {
 414                                         hops: vec![RouteHop {
 415                                                 pubkey: $dest.0.get_our_node_id(),
 416                                                 short_channel_id: $dest.1,
 417                                                 fee_msat: 5000000,
 418                                                 cltv_expiry_delta: 200,
 419                                         }],
 420                                 }, PaymentHash(payment_hash.into_inner())) {
 421                                         // Probably ran out of funds
 422                                         test_return!();
 423                                 }
 424                         } };
 425                         ($source: expr, $middle: expr, $dest: expr) => { {
 426                                 let payment_hash = Sha256::hash(&[payment_id; 1]);
 427                                 payment_id = payment_id.wrapping_add(1);
 428                                 if let Err(_) = $source.send_payment(Route {
 429                                         hops: vec![RouteHop {
 430                                                 pubkey: $middle.0.get_our_node_id(),
 431                                                 short_channel_id: $middle.1,
 432                                                 fee_msat: 50000,
 433                                                 cltv_expiry_delta: 100,
 434                                         },RouteHop {
 435                                                 pubkey: $dest.0.get_our_node_id(),
 436                                                 short_channel_id: $dest.1,
 437                                                 fee_msat: 5000000,
 438                                                 cltv_expiry_delta: 200,
 439                                         }],
 440                                 }, PaymentHash(payment_hash.into_inner())) {
 441                                         // Probably ran out of funds
 442                                         test_return!();
 443                                 }
 444                         } }
 445                 }
 446
 447                 macro_rules! process_msg_events {
 448                         ($node: expr, $corrupt_forward: expr) => { {
 449                                 let events = if $node == 1 {
 450                                         let mut new_events = Vec::new();
 451                                         mem::swap(&mut new_events, &mut ba_events);
 452                                         new_events.extend_from_slice(&bc_events[..]);
 453                                         bc_events.clear();
 454                                         new_events
 455                                 } else { Vec::new() };
 456                                 for event in events.iter().chain(nodes[$node].get_and_clear_pending_msg_events().iter()) {
 457                                         match event {
 458                                                 events::MessageSendEvent::UpdateHTLCs { ref node_id, updates: CommitmentUpdate { ref update_add_htlcs, ref update_fail_htlcs, ref update_fulfill_htlcs, ref update_fail_malformed_htlcs, ref update_fee, ref commitment_signed } } => {
 459                                                         for dest in nodes.iter() {
 460                                                                 if dest.get_our_node_id() == *node_id {
 461                                                                         assert!(update_fee.is_none());
 462                                                                         for update_add in update_add_htlcs {
 463                                                                                 if !$corrupt_forward {
 464                                                                                         dest.handle_update_add_htlc(&nodes[$node].get_our_node_id(), &update_add);
 465                                                                                 } else {
 466                                                                                         // Corrupt the update_add_htlc message so that its HMAC
 467                                                                                         // check will fail and we generate a
 468                                                                                         // update_fail_malformed_htlc instead of an
 469                                                                                         // update_fail_htlc as we do when we reject a payment.
 470                                                                                         let mut msg_ser = update_add.encode();
 471                                                                                         msg_ser[1000] ^= 0xff;
 472                                                                                         let new_msg = UpdateAddHTLC::read(&mut Cursor::new(&msg_ser)).unwrap();
 473                                                                                         dest.handle_update_add_htlc(&nodes[$node].get_our_node_id(), &new_msg);
 474                                                                                 }
 475                                                                         }
 476                                                                         for update_fulfill in update_fulfill_htlcs {
 477                                                                                 dest.handle_update_fulfill_htlc(&nodes[$node].get_our_node_id(), &update_fulfill);
 478                                                                         }
 479                                                                         for update_fail in update_fail_htlcs {
 480                                                                                 dest.handle_update_fail_htlc(&nodes[$node].get_our_node_id(), &update_fail);
 481                                                                         }
 482                                                                         for update_fail_malformed in update_fail_malformed_htlcs {
 483                                                                                 dest.handle_update_fail_malformed_htlc(&nodes[$node].get_our_node_id(), &update_fail_malformed);
 484                                                                         }
 485                                                                         dest.handle_commitment_signed(&nodes[$node].get_our_node_id(), &commitment_signed);
 486                                                                 }
 487                                                         }
 488                                                 },
 489                                                 events::MessageSendEvent::SendRevokeAndACK { ref node_id, ref msg } => {
 490                                                         for dest in nodes.iter() {
 491                                                                 if dest.get_our_node_id() == *node_id {
 492                                                                         dest.handle_revoke_and_ack(&nodes[$node].get_our_node_id(), msg);
 493                                                                 }
 494                                                         }
 495                                                 },
 496                                                 events::MessageSendEvent::SendChannelReestablish { ref node_id, ref msg } => {
 497                                                         for dest in nodes.iter() {
 498                                                                 if dest.get_our_node_id() == *node_id {
 499                                                                         dest.handle_channel_reestablish(&nodes[$node].get_our_node_id(), msg);
 500                                                                 }
 501                                                         }
 502                                                 },
 503                                                 events::MessageSendEvent::SendFundingLocked { .. } => {
 504                                                         // Can be generated as a reestablish response
 505                                                 },
 506                                                 events::MessageSendEvent::PaymentFailureNetworkUpdate { .. } => {
 507                                                         // Can be generated due to a payment forward being rejected due to a
 508                                                         // channel having previously failed a monitor update
 509                                                 },
 510                                                 events::MessageSendEvent::HandleError { action: ErrorAction::IgnoreError, .. } => {
 511                                                         // Can be generated at any processing step to send back an error, disconnect
 512                                                         // peer or just ignore
 513                                                 },
 514                                                 _ => panic!("Unhandled message event"),
 515                                         }
 516                                 }
 517                         } }
 518                 }
 519
 520                 macro_rules! drain_msg_events_on_disconnect {
 521                         ($counterparty_id: expr) => { {
 522                                 if $counterparty_id == 0 {
 523                                         for event in nodes[0].get_and_clear_pending_msg_events() {
 524                                                 match event {
 525                                                         events::MessageSendEvent::UpdateHTLCs { .. } => {},
 526                                                         events::MessageSendEvent::SendRevokeAndACK { .. } => {},
 527                                                         events::MessageSendEvent::SendChannelReestablish { .. } => {},
 528                                                         events::MessageSendEvent::SendFundingLocked { .. } => {},
 529                                                         events::MessageSendEvent::PaymentFailureNetworkUpdate { .. } => {},
 530                                                         events::MessageSendEvent::HandleError { action: ErrorAction::IgnoreError, .. } => {},
 531                                                         _ => panic!("Unhandled message event"),
 532                                                 }
 533                                         }
 534                                         ba_events.clear();
 535                                 } else {
 536                                         for event in nodes[2].get_and_clear_pending_msg_events() {
 537                                                 match event {
 538                                                         events::MessageSendEvent::UpdateHTLCs { .. } => {},
 539                                                         events::MessageSendEvent::SendRevokeAndACK { .. } => {},
 540                                                         events::MessageSendEvent::SendChannelReestablish { .. } => {},
 541                                                         events::MessageSendEvent::SendFundingLocked { .. } => {},
 542                                                         events::MessageSendEvent::PaymentFailureNetworkUpdate { .. } => {},
 543                                                         events::MessageSendEvent::HandleError { action: ErrorAction::IgnoreError, .. } => {},
 544                                                         _ => panic!("Unhandled message event"),
 545                                                 }
 546                                         }
 547                                         bc_events.clear();
 548                                 }
 549                                 let mut events = nodes[1].get_and_clear_pending_msg_events();
 550                                 let drop_node_id = if $counterparty_id == 0 { nodes[0].get_our_node_id() } else { nodes[2].get_our_node_id() };
 551                                 let msg_sink = if $counterparty_id == 0 { &mut bc_events } else { &mut ba_events };
 552                                 for event in events.drain(..) {
 553                                         let push = match event {
 554                                                 events::MessageSendEvent::UpdateHTLCs { ref node_id, .. } => {
 555                                                         if *node_id != drop_node_id { true } else { false }
 556                                                 },
 557                                                 events::MessageSendEvent::SendRevokeAndACK { ref node_id, .. } => {
 558                                                         if *node_id != drop_node_id { true } else { false }
 559                                                 },
 560                                                 events::MessageSendEvent::SendChannelReestablish { ref node_id, .. } => {
 561                                                         if *node_id != drop_node_id { true } else { false }
 562                                                 },
 563                                                 events::MessageSendEvent::SendFundingLocked { .. } => false,
 564                                                 events::MessageSendEvent::PaymentFailureNetworkUpdate { .. } => false,
 565                                                 events::MessageSendEvent::HandleError { action: ErrorAction::IgnoreError, .. } => false,
 566                                                 _ => panic!("Unhandled message event"),
 567                                         };
 568                                         if push { msg_sink.push(event); }
 569                                 }
 570                         } }
 571                 }
 572
 573                 macro_rules! process_events {
 574                         ($node: expr, $fail: expr) => { {
 575                                 // In case we get 256 payments we may have a hash collision, resulting in the
 576                                 // second claim/fail call not finding the duplicate-hash HTLC, so we have to
 577                                 // deduplicate the calls here.
 578                                 let mut claim_set = HashSet::new();
 579                                 let mut events = nodes[$node].get_and_clear_pending_events();
 580                                 // Sort events so that PendingHTLCsForwardable get processed last. This avoids a
 581                                 // case where we first process a PendingHTLCsForwardable, then claim/fail on a
 582                                 // PaymentReceived, claiming/failing two HTLCs, but leaving a just-generated
 583                                 // PaymentReceived event for the second HTLC in our pending_events (and breaking
 584                                 // our claim_set deduplication).
 585                                 events.sort_by(|a, b| {
 586                                         if let events::Event::PaymentReceived { .. } = a {
 587                                                 if let events::Event::PendingHTLCsForwardable { .. } = b {
 588                                                         Ordering::Less
 589                                                 } else { Ordering::Equal }
 590                                         } else if let events::Event::PendingHTLCsForwardable { .. } = a {
 591                                                 if let events::Event::PaymentReceived { .. } = b {
 592                                                         Ordering::Greater
 593                                                 } else { Ordering::Equal }
 594                                         } else { Ordering::Equal }
 595                                 });
 596                                 for event in events.drain(..) {
 597                                         match event {
 598                                                 events::Event::PaymentReceived { payment_hash, .. } => {
 599                                                         if claim_set.insert(payment_hash.0) {
 600                                                                 if $fail {
 601                                                                         assert!(nodes[$node].fail_htlc_backwards(&payment_hash));
 602                                                                 } else {
 603                                                                         assert!(nodes[$node].claim_funds(PaymentPreimage(payment_hash.0), 5_000_000));
 604                                                                 }
 605                                                         }
 606                                                 },
 607                                                 events::Event::PaymentSent { .. } => {},
 608                                                 events::Event::PaymentFailed { .. } => {},
 609                                                 events::Event::PendingHTLCsForwardable { .. } => {
 610                                                         nodes[$node].process_pending_htlc_forwards();
 611                                                 },
 612                                                 _ => panic!("Unhandled event"),
 613                                         }
 614                                 }
 615                         } }
 616                 }
 617
 618                 match get_slice!(1)[0] {
 619                         0x00 => *monitor_a.update_ret.lock().unwrap() = Err(ChannelMonitorUpdateErr::TemporaryFailure),
 620                         0x01 => *monitor_b.update_ret.lock().unwrap() = Err(ChannelMonitorUpdateErr::TemporaryFailure),
 621                         0x02 => *monitor_c.update_ret.lock().unwrap() = Err(ChannelMonitorUpdateErr::TemporaryFailure),
 622                         0x03 => *monitor_a.update_ret.lock().unwrap() = Ok(()),
 623                         0x04 => *monitor_b.update_ret.lock().unwrap() = Ok(()),
 624                         0x05 => *monitor_c.update_ret.lock().unwrap() = Ok(()),
 625                         0x06 => { unsafe { IN_RESTORE = true }; nodes[0].test_restore_channel_monitor(); unsafe { IN_RESTORE = false }; },
 626                         0x07 => { unsafe { IN_RESTORE = true }; nodes[1].test_restore_channel_monitor(); unsafe { IN_RESTORE = false }; },
 627                         0x08 => { unsafe { IN_RESTORE = true }; nodes[2].test_restore_channel_monitor(); unsafe { IN_RESTORE = false }; },
 628                         0x09 => send_payment!(nodes[0], (&nodes[1], chan_a)),
 629                         0x0a => send_payment!(nodes[1], (&nodes[0], chan_a)),
 630                         0x0b => send_payment!(nodes[1], (&nodes[2], chan_b)),
 631                         0x0c => send_payment!(nodes[2], (&nodes[1], chan_b)),
 632                         0x0d => send_payment!(nodes[0], (&nodes[1], chan_a), (&nodes[2], chan_b)),
 633                         0x0e => send_payment!(nodes[2], (&nodes[1], chan_b), (&nodes[0], chan_a)),
 634                         0x0f => {
 635                                 if !chan_a_disconnected {
 636                                         nodes[0].peer_disconnected(&nodes[1].get_our_node_id(), false);
 637                                         nodes[1].peer_disconnected(&nodes[0].get_our_node_id(), false);
 638                                         chan_a_disconnected = true;
 639                                         drain_msg_events_on_disconnect!(0);
 640                                 }
 641                         },
 642                         0x10 => {
 643                                 if !chan_b_disconnected {
 644                                         nodes[1].peer_disconnected(&nodes[2].get_our_node_id(), false);
 645                                         nodes[2].peer_disconnected(&nodes[1].get_our_node_id(), false);
 646                                         chan_b_disconnected = true;
 647                                         drain_msg_events_on_disconnect!(2);
 648                                 }
 649                         },
 650                         0x11 => {
 651                                 if chan_a_disconnected {
 652                                         nodes[0].peer_connected(&nodes[1].get_our_node_id());
 653                                         nodes[1].peer_connected(&nodes[0].get_our_node_id());
 654                                         chan_a_disconnected = false;
 655                                 }
 656                         },
 657                         0x12 => {
 658                                 if chan_b_disconnected {
 659                                         nodes[1].peer_connected(&nodes[2].get_our_node_id());
 660                                         nodes[2].peer_connected(&nodes[1].get_our_node_id());
 661                                         chan_b_disconnected = false;
 662                                 }
 663                         },
 664                         0x13 => process_msg_events!(0, true),
 665                         0x14 => process_msg_events!(0, false),
 666                         0x15 => process_events!(0, true),
 667                         0x16 => process_events!(0, false),
 668                         0x17 => process_msg_events!(1, true),
 669                         0x18 => process_msg_events!(1, false),
 670                         0x19 => process_events!(1, true),
 671                         0x1a => process_events!(1, false),
 672                         0x1b => process_msg_events!(2, true),
 673                         0x1c => process_msg_events!(2, false),
 674                         0x1d => process_events!(2, true),
 675                         0x1e => process_events!(2, false),
 676                         0x1f => {
 677                                 if !chan_a_disconnected {
 678                                         nodes[1].peer_disconnected(&nodes[0].get_our_node_id(), false);
 679                                         chan_a_disconnected = true;
 680                                         drain_msg_events_on_disconnect!(0);
 681                                 }
 682                                 let (new_node_a, new_monitor_a) = reload_node!(node_a_ser, 0, monitor_a);
 683                                 node_a = Arc::new(new_node_a);
 684                                 nodes[0] = node_a.clone();
 685                                 monitor_a = new_monitor_a;
 686                         },
 687                         0x20 => {
 688                                 if !chan_a_disconnected {
 689                                         nodes[0].peer_disconnected(&nodes[1].get_our_node_id(), false);
 690                                         chan_a_disconnected = true;
 691                                         nodes[0].get_and_clear_pending_msg_events();
 692                                         ba_events.clear();
 693                                 }
 694                                 if !chan_b_disconnected {
 695                                         nodes[2].peer_disconnected(&nodes[1].get_our_node_id(), false);
 696                                         chan_b_disconnected = true;
 697                                         nodes[2].get_and_clear_pending_msg_events();
 698                                         bc_events.clear();
 699                                 }
 700                                 let (new_node_b, new_monitor_b) = reload_node!(node_b_ser, 1, monitor_b);
 701                                 node_b = Arc::new(new_node_b);
 702                                 nodes[1] = node_b.clone();
 703                                 monitor_b = new_monitor_b;
 704                         },
 705                         0x21 => {
 706                                 if !chan_b_disconnected {
 707                                         nodes[1].peer_disconnected(&nodes[2].get_our_node_id(), false);
 708                                         chan_b_disconnected = true;
 709                                         drain_msg_events_on_disconnect!(2);
 710                                 }
 711                                 let (new_node_c, new_monitor_c) = reload_node!(node_c_ser, 2, monitor_c);
 712                                 node_c = Arc::new(new_node_c);
 713                                 nodes[2] = node_c.clone();
 714                                 monitor_c = new_monitor_c;
 715                         },
 716                         _ => test_return!(),
 717                 }
 718
 719                 if monitor_a.should_update_manager.load(atomic::Ordering::Relaxed) {
 720                         node_a_ser.0.clear();
 721                         nodes[0].write(&mut node_a_ser).unwrap();
 722                         monitor_a.should_update_manager.store(false, atomic::Ordering::Relaxed);
 723                         *monitor_a.latest_updates_good_at_last_ser.lock().unwrap() = monitor_a.latest_update_good.lock().unwrap().clone();
 724                 }
 725                 if monitor_b.should_update_manager.load(atomic::Ordering::Relaxed) {
 726                         node_b_ser.0.clear();
 727                         nodes[1].write(&mut node_b_ser).unwrap();
 728                         monitor_b.should_update_manager.store(false, atomic::Ordering::Relaxed);
 729                         *monitor_b.latest_updates_good_at_last_ser.lock().unwrap() = monitor_b.latest_update_good.lock().unwrap().clone();
 730                 }
 731                 if monitor_c.should_update_manager.load(atomic::Ordering::Relaxed) {
 732                         node_c_ser.0.clear();
 733                         nodes[2].write(&mut node_c_ser).unwrap();
 734                         monitor_c.should_update_manager.store(false, atomic::Ordering::Relaxed);
 735                         *monitor_c.latest_updates_good_at_last_ser.lock().unwrap() = monitor_c.latest_update_good.lock().unwrap().clone();
 736                 }
 737         }
 738 }
 739
 740 #[no_mangle]
 741 pub extern "C" fn chanmon_consistency_run(data: *const u8, datalen: usize) {
 742         do_test(unsafe { std::slice::from_raw_parts(data, datalen) });
 743 }
 744
 745 #[cfg(test)]
 746 mod tests {
 747         #[test]
 748         fn duplicate_crash() {
 749                 super::do_test(&::hex::decode("00").unwrap());
 750         }
 751 }