From 9aed28fbf0a42f8d623523761f6b1fb14fa6f87e Mon Sep 17 00:00:00 2001 From: Matt Corallo Date: Thu, 26 Jul 2018 17:53:10 -0400 Subject: [PATCH] Fix force_shutdown() bug where we lose knowledge of a preimage In case we are in AwaitingRemoteRevoke and we go to claim an HTLC (at which point we've already given up the money to the next hop in the payment) we just write it to holding_cell_htlc_updates. However, we should be ensuring we *also* write it to our channel_monitor as we need to make sure we can still claim it after a force_shutdown() or otherwise after hitting the chain. --- src/ln/channel.rs | 81 ++++++++++++++++++++++------------------ src/ln/channelmanager.rs | 25 ++++++------- 2 files changed, 57 insertions(+), 49 deletions(-) diff --git a/src/ln/channel.rs b/src/ln/channel.rs index 978be08dc..086979623 100644 --- a/src/ln/channel.rs +++ b/src/ln/channel.rs @@ -24,6 +24,7 @@ use chain::transaction::OutPoint; use util::{transaction_utils,rng}; use util::sha2::Sha256; +use std; use std::default::Default; use std::{cmp,mem}; use std::time::Instant; @@ -927,7 +928,7 @@ impl Channel { Ok(our_sig) } - pub fn get_update_fulfill_htlc(&mut self, payment_preimage_arg: [u8; 32]) -> Result, HandleError> { + fn get_update_fulfill_htlc(&mut self, payment_preimage_arg: [u8; 32]) -> Result<(Option, Option), HandleError> { // Either ChannelFunded got set (which means it wont bet unset) or there is no way any // caller thought we could have something claimed (cause we wouldn't have accepted in an // incoming HTLC anyway). If we got to ShutdownComplete, callers aren't allowed to call us, @@ -942,13 +943,31 @@ impl Channel { let mut payment_hash_calc = [0; 32]; sha.result(&mut payment_hash_calc); + let mut pending_idx = std::usize::MAX; + for (idx, htlc) in self.pending_htlcs.iter().enumerate() { + if !htlc.outbound && htlc.payment_hash == payment_hash_calc { + if pending_idx != std::usize::MAX { + panic!("Duplicate HTLC payment_hash, you probably re-used payment preimages, NEVER DO THIS!"); + } + pending_idx = idx; + } + } + if pending_idx == std::usize::MAX { + return Err(HandleError{err: "Unable to find a pending HTLC which matched the given payment preimage", action: None}); + } + // Now update local state: + // + // We have to put the payment_preimage in the channel_monitor right away here to ensure we + // can claim it even if the channel hits the chain before we see their next commitment. + self.channel_monitor.provide_payment_preimage(&payment_hash_calc, &payment_preimage_arg); + if (self.channel_state & (ChannelState::AwaitingRemoteRevoke as u32)) == (ChannelState::AwaitingRemoteRevoke as u32) { for pending_update in self.holding_cell_htlc_updates.iter() { match pending_update { &HTLCUpdateAwaitingACK::ClaimHTLC { ref payment_preimage, .. } => { if payment_preimage_arg == *payment_preimage { - return Ok(None); + return Ok((None, None)); } }, &HTLCUpdateAwaitingACK::FailHTLC { ref payment_hash, .. } => { @@ -962,49 +981,39 @@ impl Channel { self.holding_cell_htlc_updates.push(HTLCUpdateAwaitingACK::ClaimHTLC { payment_preimage: payment_preimage_arg, payment_hash: payment_hash_calc, }); - return Ok(None); - } - - let mut htlc_id = 0; - let mut htlc_amount_msat = 0; - for htlc in self.pending_htlcs.iter_mut() { - if !htlc.outbound && htlc.payment_hash == payment_hash_calc { - if htlc_id != 0 { - panic!("Duplicate HTLC payment_hash, you probably re-used payment preimages, NEVER DO THIS!"); - } - htlc_id = htlc.htlc_id; - htlc_amount_msat += htlc.amount_msat; - if htlc.state == HTLCState::Committed { - htlc.state = HTLCState::LocalRemoved; - htlc.local_removed_fulfilled = true; - } else if htlc.state == HTLCState::RemoteAnnounced { - panic!("Somehow forwarded HTLC prior to remote revocation!"); - } else if htlc.state == HTLCState::LocalRemoved || htlc.state == HTLCState::LocalRemovedAwaitingCommitment { - return Err(HandleError{err: "Unable to find a pending HTLC which matched the given payment preimage", action: None}); - } else { - panic!("Have an inbound HTLC when not awaiting remote revoke that had a garbage state"); - } + return Ok((None, Some(self.channel_monitor.clone()))); + } + + let htlc_id = { + let mut htlc = &mut self.pending_htlcs[pending_idx]; + if htlc.state == HTLCState::Committed { + htlc.state = HTLCState::LocalRemoved; + htlc.local_removed_fulfilled = true; + } else if htlc.state == HTLCState::RemoteAnnounced { + panic!("Somehow forwarded HTLC prior to remote revocation!"); + } else if htlc.state == HTLCState::LocalRemoved || htlc.state == HTLCState::LocalRemovedAwaitingCommitment { + return Err(HandleError{err: "Unable to find a pending HTLC which matched the given payment preimage", action: None}); + } else { + panic!("Have an inbound HTLC when not awaiting remote revoke that had a garbage state"); } - } - if htlc_amount_msat == 0 { - return Err(HandleError{err: "Unable to find a pending HTLC which matched the given payment preimage", action: None}); - } - self.channel_monitor.provide_payment_preimage(&payment_hash_calc, &payment_preimage_arg); + htlc.htlc_id + }; - Ok(Some((msgs::UpdateFulfillHTLC { + Ok((Some(msgs::UpdateFulfillHTLC { channel_id: self.channel_id(), htlc_id: htlc_id, payment_preimage: payment_preimage_arg, - }, self.channel_monitor.clone()))) + }), Some(self.channel_monitor.clone()))) } - pub fn get_update_fulfill_htlc_and_commit(&mut self, payment_preimage: [u8; 32]) -> Result, HandleError> { + pub fn get_update_fulfill_htlc_and_commit(&mut self, payment_preimage: [u8; 32]) -> Result<(Option<(msgs::UpdateFulfillHTLC, msgs::CommitmentSigned)>, Option), HandleError> { match self.get_update_fulfill_htlc(payment_preimage)? { - Some(update_fulfill_htlc) => { + (Some(update_fulfill_htlc), _) => { let (commitment, monitor_update) = self.send_commitment_no_status_check()?; - Ok(Some((update_fulfill_htlc.0, commitment, monitor_update))) + Ok((Some((update_fulfill_htlc, commitment)), Some(monitor_update))) }, - None => Ok(None) + (None, Some(channel_monitor)) => Ok((None, Some(channel_monitor))), + (None, None) => Ok((None, None)) } } @@ -1491,7 +1500,7 @@ impl Channel { }, &HTLCUpdateAwaitingACK::ClaimHTLC { payment_preimage, .. } => { match self.get_update_fulfill_htlc(payment_preimage) { - Ok(update_fulfill_msg_option) => update_fulfill_htlcs.push(update_fulfill_msg_option.unwrap().0), + Ok(update_fulfill_msg_option) => update_fulfill_htlcs.push(update_fulfill_msg_option.0.unwrap()), Err(e) => { err = Some(e); } diff --git a/src/ln/channelmanager.rs b/src/ln/channelmanager.rs index 46b863584..67837af71 100644 --- a/src/ln/channelmanager.rs +++ b/src/ln/channelmanager.rs @@ -1030,20 +1030,19 @@ impl ChannelManager { }; mem::drop(channel_state); - match fulfill_msgs { - Some((msg, commitment_msg, chan_monitor)) => { - if let Err(_e) = self.monitor.add_update_monitor(chan_monitor.get_funding_txo().unwrap(), chan_monitor) { - unimplemented!();// but def dont push the event... - } + if let Some(chan_monitor) = fulfill_msgs.1 { + if let Err(_e) = self.monitor.add_update_monitor(chan_monitor.get_funding_txo().unwrap(), chan_monitor) { + unimplemented!();// but def dont push the event... + } + } - let mut pending_events = self.pending_events.lock().unwrap(); - pending_events.push(events::Event::SendFulfillHTLC { - node_id: node_id, - msg, - commitment_msg, - }); - }, - None => {}, + if let Some((msg, commitment_msg)) = fulfill_msgs.0 { + let mut pending_events = self.pending_events.lock().unwrap(); + pending_events.push(events::Event::SendFulfillHTLC { + node_id: node_id, + msg, + commitment_msg, + }); } true }, -- 2.39.5