Merge pull request #3113 from TheBlueMatt/2024-04-async-monitor-fuzz
[rust-lightning] / lightning / src / chain / chainmonitor.rs
index 8e567087054b4a0b11e5bc495cc074343e398b6f..58bf5f8002d27cc7ab092fc8cc288a8e52377acf 100644 (file)
@@ -29,17 +29,16 @@ use bitcoin::hash_types::{Txid, BlockHash};
 use crate::chain;
 use crate::chain::{ChannelMonitorUpdateStatus, Filter, WatchedOutput};
 use crate::chain::chaininterface::{BroadcasterInterface, FeeEstimator};
-use crate::chain::channelmonitor::{ChannelMonitor, ChannelMonitorUpdate, Balance, MonitorEvent, TransactionOutputs, WithChannelMonitor, LATENCY_GRACE_PERIOD_BLOCKS};
+use crate::chain::channelmonitor::{ChannelMonitor, ChannelMonitorUpdate, Balance, MonitorEvent, TransactionOutputs, WithChannelMonitor};
 use crate::chain::transaction::{OutPoint, TransactionData};
-use crate::ln::ChannelId;
-use crate::sign::ecdsa::WriteableEcdsaChannelSigner;
+use crate::ln::types::ChannelId;
+use crate::sign::ecdsa::EcdsaChannelSigner;
 use crate::events;
 use crate::events::{Event, EventHandler};
-use crate::util::atomic_counter::AtomicCounter;
 use crate::util::logger::{Logger, WithContext};
 use crate::util::errors::APIError;
 use crate::util::wakers::{Future, Notifier};
-use crate::ln::channelmanager::ChannelDetails;
+use crate::ln::channel_state::ChannelDetails;
 
 use crate::prelude::*;
 use crate::sync::{RwLock, RwLockReadGuard, Mutex, MutexGuard};
@@ -47,46 +46,6 @@ use core::ops::Deref;
 use core::sync::atomic::{AtomicUsize, Ordering};
 use bitcoin::secp256k1::PublicKey;
 
-mod update_origin {
-       #[derive(Debug, Clone, Copy, Hash, PartialEq, Eq)]
-       /// A specific update's ID stored in a `MonitorUpdateId`, separated out to make the contents
-       /// entirely opaque.
-       pub(crate) enum UpdateOrigin {
-               /// An update that was generated by the `ChannelManager` (via our [`crate::chain::Watch`]
-               /// implementation). This corresponds to an actual [ChannelMonitorUpdate::update_id] field
-               /// and [ChannelMonitor::get_latest_update_id].
-               ///
-               /// [ChannelMonitor::get_latest_update_id]: crate::chain::channelmonitor::ChannelMonitor::get_latest_update_id
-               /// [ChannelMonitorUpdate::update_id]: crate::chain::channelmonitor::ChannelMonitorUpdate::update_id
-               OffChain(u64),
-               /// An update that was generated during blockchain processing. The ID here is specific to the
-               /// generating [ChannelMonitor] and does *not* correspond to any on-disk IDs.
-               ///
-               /// [ChannelMonitor]: crate::chain::channelmonitor::ChannelMonitor
-               ChainSync(u64),
-       }
-}
-
-#[cfg(any(feature = "_test_utils", test))]
-pub(crate) use update_origin::UpdateOrigin;
-#[cfg(not(any(feature = "_test_utils", test)))]
-use update_origin::UpdateOrigin;
-
-/// An opaque identifier describing a specific [`Persist`] method call.
-#[derive(Debug, Clone, Copy, Hash, PartialEq, Eq)]
-pub struct MonitorUpdateId {
-       pub(crate) contents: UpdateOrigin,
-}
-
-impl MonitorUpdateId {
-       pub(crate) fn from_monitor_update(update: &ChannelMonitorUpdate) -> Self {
-               Self { contents: UpdateOrigin::OffChain(update.update_id) }
-       }
-       pub(crate) fn from_new_monitor<ChannelSigner: WriteableEcdsaChannelSigner>(monitor: &ChannelMonitor<ChannelSigner>) -> Self {
-               Self { contents: UpdateOrigin::OffChain(monitor.get_latest_update_id()) }
-       }
-}
-
 /// `Persist` defines behavior for persisting channel monitors: this could mean
 /// writing once to disk, and/or uploading to one or more backup services.
 ///
@@ -119,7 +78,7 @@ impl MonitorUpdateId {
 ///  All calls should generally spawn a background task and immediately return
 ///  [`ChannelMonitorUpdateStatus::InProgress`]. Once the update completes,
 ///  [`ChainMonitor::channel_monitor_updated`] should be called with the corresponding
-///  [`MonitorUpdateId`].
+///  [`ChannelMonitor::get_latest_update_id`] or [`ChannelMonitorUpdate::update_id`].
 ///
 ///  Note that unlike the direct [`chain::Watch`] interface,
 ///  [`ChainMonitor::channel_monitor_updated`] must be called once for *each* update which occurs.
@@ -142,7 +101,7 @@ impl MonitorUpdateId {
 ///
 /// [`TrustedCommitmentTransaction::revokeable_output_index`]: crate::ln::chan_utils::TrustedCommitmentTransaction::revokeable_output_index
 /// [`TrustedCommitmentTransaction::build_to_local_justice_tx`]: crate::ln::chan_utils::TrustedCommitmentTransaction::build_to_local_justice_tx
-pub trait Persist<ChannelSigner: WriteableEcdsaChannelSigner> {
+pub trait Persist<ChannelSigner: EcdsaChannelSigner> {
        /// Persist a new channel's data in response to a [`chain::Watch::watch_channel`] call. This is
        /// called by [`ChannelManager`] for new channels, or may be called directly, e.g. on startup.
        ///
@@ -150,15 +109,16 @@ pub trait Persist<ChannelSigner: WriteableEcdsaChannelSigner> {
        /// channel's outpoint (and it is up to you to maintain a correct mapping between the outpoint
        /// and the stored channel data). Note that you **must** persist every new monitor to disk.
        ///
-       /// The `update_id` is used to identify this call to [`ChainMonitor::channel_monitor_updated`],
-       /// if you return [`ChannelMonitorUpdateStatus::InProgress`].
+       /// The [`ChannelMonitor::get_latest_update_id`] uniquely links this call to [`ChainMonitor::channel_monitor_updated`].
+       /// For [`Persist::persist_new_channel`], it is only necessary to call [`ChainMonitor::channel_monitor_updated`]
+       /// when you return [`ChannelMonitorUpdateStatus::InProgress`].
        ///
        /// See [`Writeable::write`] on [`ChannelMonitor`] for writing out a `ChannelMonitor`
        /// and [`ChannelMonitorUpdateStatus`] for requirements when returning errors.
        ///
        /// [`ChannelManager`]: crate::ln::channelmanager::ChannelManager
        /// [`Writeable::write`]: crate::util::ser::Writeable::write
-       fn persist_new_channel(&self, channel_funding_outpoint: OutPoint, data: &ChannelMonitor<ChannelSigner>, update_id: MonitorUpdateId) -> ChannelMonitorUpdateStatus;
+       fn persist_new_channel(&self, channel_funding_outpoint: OutPoint, monitor: &ChannelMonitor<ChannelSigner>) -> ChannelMonitorUpdateStatus;
 
        /// Update one channel's data. The provided [`ChannelMonitor`] has already applied the given
        /// update.
@@ -185,15 +145,17 @@ pub trait Persist<ChannelSigner: WriteableEcdsaChannelSigner> {
        /// them in batches. The size of each monitor grows `O(number of state updates)`
        /// whereas updates are small and `O(1)`.
        ///
-       /// The `update_id` is used to identify this call to [`ChainMonitor::channel_monitor_updated`],
-       /// if you return [`ChannelMonitorUpdateStatus::InProgress`].
+       /// The [`ChannelMonitorUpdate::update_id`] or [`ChannelMonitor::get_latest_update_id`] uniquely
+       /// links this call to [`ChainMonitor::channel_monitor_updated`].
+       /// For [`Persist::update_persisted_channel`], it is only necessary to call [`ChainMonitor::channel_monitor_updated`]
+       /// when a [`ChannelMonitorUpdate`] is provided and when you return [`ChannelMonitorUpdateStatus::InProgress`].
        ///
        /// See [`Writeable::write`] on [`ChannelMonitor`] for writing out a `ChannelMonitor`,
        /// [`Writeable::write`] on [`ChannelMonitorUpdate`] for writing out an update, and
        /// [`ChannelMonitorUpdateStatus`] for requirements when returning errors.
        ///
        /// [`Writeable::write`]: crate::util::ser::Writeable::write
-       fn update_persisted_channel(&self, channel_funding_outpoint: OutPoint, update: Option<&ChannelMonitorUpdate>, data: &ChannelMonitor<ChannelSigner>, update_id: MonitorUpdateId) -> ChannelMonitorUpdateStatus;
+       fn update_persisted_channel(&self, channel_funding_outpoint: OutPoint, monitor_update: Option<&ChannelMonitorUpdate>, monitor: &ChannelMonitor<ChannelSigner>) -> ChannelMonitorUpdateStatus;
        /// Prevents the channel monitor from being loaded on startup.
        ///
        /// Archiving the data in a backup location (rather than deleting it fully) is useful for
@@ -201,7 +163,7 @@ pub trait Persist<ChannelSigner: WriteableEcdsaChannelSigner> {
        fn archive_persisted_channel(&self, channel_funding_outpoint: OutPoint);
 }
 
-struct MonitorHolder<ChannelSigner: WriteableEcdsaChannelSigner> {
+struct MonitorHolder<ChannelSigner: EcdsaChannelSigner> {
        monitor: ChannelMonitor<ChannelSigner>,
        /// The full set of pending monitor updates for this Channel.
        ///
@@ -209,35 +171,12 @@ struct MonitorHolder<ChannelSigner: WriteableEcdsaChannelSigner> {
        /// update_persisted_channel, the user returns a
        /// [`ChannelMonitorUpdateStatus::InProgress`], and then calls channel_monitor_updated
        /// immediately, racing our insertion of the pending update into the contained Vec.
-       ///
-       /// Beyond the synchronization of updates themselves, we cannot handle user events until after
-       /// any chain updates have been stored on disk. Thus, we scan this list when returning updates
-       /// to the ChannelManager, refusing to return any updates for a ChannelMonitor which is still
-       /// being persisted fully to disk after a chain update.
-       ///
-       /// This avoids the possibility of handling, e.g. an on-chain claim, generating a claim monitor
-       /// event, resulting in the relevant ChannelManager generating a PaymentSent event and dropping
-       /// the pending payment entry, and then reloading before the monitor is persisted, resulting in
-       /// the ChannelManager re-adding the same payment entry, before the same block is replayed,
-       /// resulting in a duplicate PaymentSent event.
-       pending_monitor_updates: Mutex<Vec<MonitorUpdateId>>,
-       /// The last block height at which no [`UpdateOrigin::ChainSync`] monitor updates were present
-       /// in `pending_monitor_updates`.
-       /// If it's been more than [`LATENCY_GRACE_PERIOD_BLOCKS`] since we started waiting on a chain
-       /// sync event, we let monitor events return to `ChannelManager` because we cannot hold them up
-       /// forever or we'll end up with HTLC preimages waiting to feed back into an upstream channel
-       /// forever, risking funds loss.
-       last_chain_persist_height: AtomicUsize,
+       pending_monitor_updates: Mutex<Vec<u64>>,
 }
 
-impl<ChannelSigner: WriteableEcdsaChannelSigner> MonitorHolder<ChannelSigner> {
-       fn has_pending_offchain_updates(&self, pending_monitor_updates_lock: &MutexGuard<Vec<MonitorUpdateId>>) -> bool {
-               pending_monitor_updates_lock.iter().any(|update_id|
-                       if let UpdateOrigin::OffChain(_) = update_id.contents { true } else { false })
-       }
-       fn has_pending_chainsync_updates(&self, pending_monitor_updates_lock: &MutexGuard<Vec<MonitorUpdateId>>) -> bool {
-               pending_monitor_updates_lock.iter().any(|update_id|
-                       if let UpdateOrigin::ChainSync(_) = update_id.contents { true } else { false })
+impl<ChannelSigner: EcdsaChannelSigner> MonitorHolder<ChannelSigner> {
+       fn has_pending_updates(&self, pending_monitor_updates_lock: &MutexGuard<Vec<u64>>) -> bool {
+               !pending_monitor_updates_lock.is_empty()
        }
 }
 
@@ -245,12 +184,12 @@ impl<ChannelSigner: WriteableEcdsaChannelSigner> MonitorHolder<ChannelSigner> {
 ///
 /// Note that this holds a mutex in [`ChainMonitor`] and may block other events until it is
 /// released.
-pub struct LockedChannelMonitor<'a, ChannelSigner: WriteableEcdsaChannelSigner> {
+pub struct LockedChannelMonitor<'a, ChannelSigner: EcdsaChannelSigner> {
        lock: RwLockReadGuard<'a, HashMap<OutPoint, MonitorHolder<ChannelSigner>>>,
        funding_txo: OutPoint,
 }
 
-impl<ChannelSigner: WriteableEcdsaChannelSigner> Deref for LockedChannelMonitor<'_, ChannelSigner> {
+impl<ChannelSigner: EcdsaChannelSigner> Deref for LockedChannelMonitor<'_, ChannelSigner> {
        type Target = ChannelMonitor<ChannelSigner>;
        fn deref(&self) -> &ChannelMonitor<ChannelSigner> {
                &self.lock.get(&self.funding_txo).expect("Checked at construction").monitor
@@ -273,7 +212,7 @@ impl<ChannelSigner: WriteableEcdsaChannelSigner> Deref for LockedChannelMonitor<
 /// [`ChannelManager`]: crate::ln::channelmanager::ChannelManager
 /// [module-level documentation]: crate::chain::chainmonitor
 /// [`rebroadcast_pending_claims`]: Self::rebroadcast_pending_claims
-pub struct ChainMonitor<ChannelSigner: WriteableEcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L: Deref, P: Deref>
+pub struct ChainMonitor<ChannelSigner: EcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L: Deref, P: Deref>
        where C::Target: chain::Filter,
         T::Target: BroadcasterInterface,
         F::Target: FeeEstimator,
@@ -281,10 +220,6 @@ pub struct ChainMonitor<ChannelSigner: WriteableEcdsaChannelSigner, C: Deref, T:
         P::Target: Persist<ChannelSigner>,
 {
        monitors: RwLock<HashMap<OutPoint, MonitorHolder<ChannelSigner>>>,
-       /// When we generate a [`MonitorUpdateId`] for a chain-event monitor persistence, we need a
-       /// unique ID, which we calculate by simply getting the next value from this counter. Note that
-       /// the ID is never persisted so it's ok that they reset on restart.
-       sync_persistence_id: AtomicCounter,
        chain_source: Option<C>,
        broadcaster: T,
        logger: L,
@@ -301,7 +236,7 @@ pub struct ChainMonitor<ChannelSigner: WriteableEcdsaChannelSigner, C: Deref, T:
        event_notifier: Notifier,
 }
 
-impl<ChannelSigner: WriteableEcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L: Deref, P: Deref> ChainMonitor<ChannelSigner, C, T, F, L, P>
+impl<ChannelSigner: EcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L: Deref, P: Deref> ChainMonitor<ChannelSigner, C, T, F, L, P>
 where C::Target: chain::Filter,
            T::Target: BroadcasterInterface,
            F::Target: FeeEstimator,
@@ -328,7 +263,7 @@ where C::Target: chain::Filter,
                for funding_outpoint in funding_outpoints.iter() {
                        let monitor_lock = self.monitors.read().unwrap();
                        if let Some(monitor_state) = monitor_lock.get(funding_outpoint) {
-                               if self.update_monitor_with_chain_data(header, best_height, txdata, &process, funding_outpoint, &monitor_state).is_err() {
+                               if self.update_monitor_with_chain_data(header, txdata, &process, funding_outpoint, &monitor_state).is_err() {
                                        // Take the monitors lock for writing so that we poison it and any future
                                        // operations going forward fail immediately.
                                        core::mem::drop(monitor_lock);
@@ -343,7 +278,7 @@ where C::Target: chain::Filter,
                let monitor_states = self.monitors.write().unwrap();
                for (funding_outpoint, monitor_state) in monitor_states.iter() {
                        if !funding_outpoints.contains(funding_outpoint) {
-                               if self.update_monitor_with_chain_data(header, best_height, txdata, &process, funding_outpoint, &monitor_state).is_err() {
+                               if self.update_monitor_with_chain_data(header, txdata, &process, funding_outpoint, &monitor_state).is_err() {
                                        log_error!(self.logger, "{}", err_str);
                                        panic!("{}", err_str);
                                }
@@ -362,41 +297,22 @@ where C::Target: chain::Filter,
        }
 
        fn update_monitor_with_chain_data<FN>(
-               &self, header: &Header, best_height: Option<u32>, txdata: &TransactionData,
-               process: FN, funding_outpoint: &OutPoint, monitor_state: &MonitorHolder<ChannelSigner>
+               &self, header: &Header, txdata: &TransactionData, process: FN, funding_outpoint: &OutPoint,
+               monitor_state: &MonitorHolder<ChannelSigner>
        ) -> Result<(), ()> where FN: Fn(&ChannelMonitor<ChannelSigner>, &TransactionData) -> Vec<TransactionOutputs> {
                let monitor = &monitor_state.monitor;
-               let logger = WithChannelMonitor::from(&self.logger, &monitor);
+               let logger = WithChannelMonitor::from(&self.logger, &monitor, None);
                let mut txn_outputs;
                {
                        txn_outputs = process(monitor, txdata);
-                       let chain_sync_update_id = self.sync_persistence_id.get_increment();
-                       let update_id = MonitorUpdateId {
-                               contents: UpdateOrigin::ChainSync(chain_sync_update_id),
-                       };
-                       let mut pending_monitor_updates = monitor_state.pending_monitor_updates.lock().unwrap();
-                       if let Some(height) = best_height {
-                               if !monitor_state.has_pending_chainsync_updates(&pending_monitor_updates) {
-                                       // If there are not ChainSync persists awaiting completion, go ahead and
-                                       // set last_chain_persist_height here - we wouldn't want the first
-                                       // InProgress to always immediately be considered "overly delayed".
-                                       monitor_state.last_chain_persist_height.store(height as usize, Ordering::Release);
-                               }
-                       }
-
-                       log_trace!(logger, "Syncing Channel Monitor for channel {} for block-data update_id {}",
-                               log_funding_info!(monitor),
-                               chain_sync_update_id
-                       );
-                       match self.persister.update_persisted_channel(*funding_outpoint, None, monitor, update_id) {
+                       log_trace!(logger, "Syncing Channel Monitor for channel {}", log_funding_info!(monitor));
+                       match self.persister.update_persisted_channel(*funding_outpoint, None, monitor) {
                                ChannelMonitorUpdateStatus::Completed =>
-                                       log_trace!(logger, "Finished syncing Channel Monitor for channel {} for block-data update_id {}",
-                                               log_funding_info!(monitor),
-                                               chain_sync_update_id
+                                       log_trace!(logger, "Finished syncing Channel Monitor for channel {} for block-data",
+                                               log_funding_info!(monitor)
                                        ),
                                ChannelMonitorUpdateStatus::InProgress => {
-                                       log_debug!(logger, "Channel Monitor sync for channel {} in progress, holding events until completion!", log_funding_info!(monitor));
-                                       pending_monitor_updates.push(update_id);
+                                       log_trace!(logger, "Channel Monitor sync for channel {} in progress.", log_funding_info!(monitor));
                                },
                                ChannelMonitorUpdateStatus::UnrecoverableError => {
                                        return Err(());
@@ -434,7 +350,6 @@ where C::Target: chain::Filter,
        pub fn new(chain_source: Option<C>, broadcaster: T, logger: L, feeest: F, persister: P) -> Self {
                Self {
                        monitors: RwLock::new(new_hash_map()),
-                       sync_persistence_id: AtomicCounter::new(),
                        chain_source,
                        broadcaster,
                        logger,
@@ -498,7 +413,10 @@ where C::Target: chain::Filter,
 
        #[cfg(not(c_bindings))]
        /// Lists the pending updates for each [`ChannelMonitor`] (by `OutPoint` being monitored).
-       pub fn list_pending_monitor_updates(&self) -> HashMap<OutPoint, Vec<MonitorUpdateId>> {
+       /// Each `Vec<u64>` contains `update_id`s from [`ChannelMonitor::get_latest_update_id`] for updates
+       /// that have not yet been fully persisted. Note that if a full monitor is persisted all the pending
+       /// monitor updates must be individually marked completed by calling [`ChainMonitor::channel_monitor_updated`].
+       pub fn list_pending_monitor_updates(&self) -> HashMap<OutPoint, Vec<u64>> {
                hash_map_from_iter(self.monitors.read().unwrap().iter().map(|(outpoint, holder)| {
                        (*outpoint, holder.pending_monitor_updates.lock().unwrap().clone())
                }))
@@ -506,7 +424,10 @@ where C::Target: chain::Filter,
 
        #[cfg(c_bindings)]
        /// Lists the pending updates for each [`ChannelMonitor`] (by `OutPoint` being monitored).
-       pub fn list_pending_monitor_updates(&self) -> Vec<(OutPoint, Vec<MonitorUpdateId>)> {
+       /// Each `Vec<u64>` contains `update_id`s from [`ChannelMonitor::get_latest_update_id`] for updates
+       /// that have not yet been fully persisted. Note that if a full monitor is persisted all the pending
+       /// monitor updates must be individually marked completed by calling [`ChainMonitor::channel_monitor_updated`].
+       pub fn list_pending_monitor_updates(&self) -> Vec<(OutPoint, Vec<u64>)> {
                self.monitors.read().unwrap().iter().map(|(outpoint, holder)| {
                        (*outpoint, holder.pending_monitor_updates.lock().unwrap().clone())
                }).collect()
@@ -525,16 +446,20 @@ where C::Target: chain::Filter,
        ///  1) This [`ChainMonitor`] calls [`Persist::update_persisted_channel`] which stores the
        ///     update to disk and begins updating any remote (e.g. watchtower/backup) copies,
        ///     returning [`ChannelMonitorUpdateStatus::InProgress`],
-       ///  2) once all remote copies are updated, you call this function with the
-       ///     `completed_update_id` that completed, and once all pending updates have completed the
-       ///     channel will be re-enabled.
-       //      Note that we re-enable only after `UpdateOrigin::OffChain` updates complete, we don't
-       //      care about `UpdateOrigin::ChainSync` updates for the channel state being updated. We
-       //      only care about `UpdateOrigin::ChainSync` for returning `MonitorEvent`s.
+       ///  2) once all remote copies are updated, you call this function with [`ChannelMonitor::get_latest_update_id`]
+       ///     or [`ChannelMonitorUpdate::update_id`] as the `completed_update_id`, and once all pending
+       ///     updates have completed the channel will be re-enabled.
+       ///
+       /// It is only necessary to call [`ChainMonitor::channel_monitor_updated`] when you return [`ChannelMonitorUpdateStatus::InProgress`]
+       /// from [`Persist`] and either:
+       ///   1. A new [`ChannelMonitor`] was added in [`Persist::persist_new_channel`], or
+       ///   2. A [`ChannelMonitorUpdate`] was provided as part of [`Persist::update_persisted_channel`].
+       /// Note that we don't care about calls to [`Persist::update_persisted_channel`] where no
+       /// [`ChannelMonitorUpdate`] was provided.
        ///
        /// Returns an [`APIError::APIMisuseError`] if `funding_txo` does not match any currently
        /// registered [`ChannelMonitor`]s.
-       pub fn channel_monitor_updated(&self, funding_txo: OutPoint, completed_update_id: MonitorUpdateId) -> Result<(), APIError> {
+       pub fn channel_monitor_updated(&self, funding_txo: OutPoint, completed_update_id: u64) -> Result<(), APIError> {
                let monitors = self.monitors.read().unwrap();
                let monitor_data = if let Some(mon) = monitors.get(&funding_txo) { mon } else {
                        return Err(APIError::APIMisuseError { err: format!("No ChannelMonitor matching funding outpoint {:?} found", funding_txo) });
@@ -542,55 +467,28 @@ where C::Target: chain::Filter,
                let mut pending_monitor_updates = monitor_data.pending_monitor_updates.lock().unwrap();
                pending_monitor_updates.retain(|update_id| *update_id != completed_update_id);
 
-               match completed_update_id {
-                       MonitorUpdateId { contents: UpdateOrigin::OffChain(completed_update_id) } => {
-                               // Note that we only check for `UpdateOrigin::OffChain` failures here - if
-                               // we're being told that a `UpdateOrigin::OffChain` monitor update completed,
-                               // we only care about ensuring we don't tell the `ChannelManager` to restore
-                               // the channel to normal operation until all `UpdateOrigin::OffChain` updates
-                               // complete.
-                               // If there's some `UpdateOrigin::ChainSync` update still pending that's okay
-                               // - we can still update our channel state, just as long as we don't return
-                               // `MonitorEvent`s from the monitor back to the `ChannelManager` until they
-                               // complete.
-                               let monitor_is_pending_updates = monitor_data.has_pending_offchain_updates(&pending_monitor_updates);
-                               log_debug!(self.logger, "Completed off-chain monitor update {} for channel with funding outpoint {:?}, {}",
-                                       completed_update_id,
-                                       funding_txo,
-                                       if monitor_is_pending_updates {
-                                               "still have pending off-chain updates"
-                                       } else {
-                                               "all off-chain updates complete, returning a MonitorEvent"
-                                       });
-                               if monitor_is_pending_updates {
-                                       // If there are still monitor updates pending, we cannot yet construct a
-                                       // Completed event.
-                                       return Ok(());
-                               }
-                               let channel_id = monitor_data.monitor.channel_id();
-                               self.pending_monitor_events.lock().unwrap().push((funding_txo, channel_id, vec![MonitorEvent::Completed {
-                                       funding_txo, channel_id,
-                                       monitor_update_id: monitor_data.monitor.get_latest_update_id(),
-                               }], monitor_data.monitor.get_counterparty_node_id()));
-                       },
-                       MonitorUpdateId { contents: UpdateOrigin::ChainSync(completed_update_id) } => {
-                               let monitor_has_pending_updates =
-                                       monitor_data.has_pending_chainsync_updates(&pending_monitor_updates);
-                               log_debug!(self.logger, "Completed chain sync monitor update {} for channel with funding outpoint {:?}, {}",
-                                       completed_update_id,
-                                       funding_txo,
-                                       if monitor_has_pending_updates {
-                                               "still have pending chain sync updates"
-                                       } else {
-                                               "all chain sync updates complete, releasing pending MonitorEvents"
-                                       });
-                               if !monitor_has_pending_updates {
-                                       monitor_data.last_chain_persist_height.store(self.highest_chain_height.load(Ordering::Acquire), Ordering::Release);
-                                       // The next time release_pending_monitor_events is called, any events for this
-                                       // ChannelMonitor will be returned.
-                               }
-                       },
+               // Note that we only check for pending non-chainsync monitor updates and we don't track monitor
+               // updates resulting from chainsync in `pending_monitor_updates`.
+               let monitor_is_pending_updates = monitor_data.has_pending_updates(&pending_monitor_updates);
+               log_debug!(self.logger, "Completed off-chain monitor update {} for channel with funding outpoint {:?}, {}",
+                       completed_update_id,
+                       funding_txo,
+                       if monitor_is_pending_updates {
+                               "still have pending off-chain updates"
+                       } else {
+                               "all off-chain updates complete, returning a MonitorEvent"
+                       });
+               if monitor_is_pending_updates {
+                       // If there are still monitor updates pending, we cannot yet construct a
+                       // Completed event.
+                       return Ok(());
                }
+               let channel_id = monitor_data.monitor.channel_id();
+               self.pending_monitor_events.lock().unwrap().push((funding_txo, channel_id, vec![MonitorEvent::Completed {
+                       funding_txo, channel_id,
+                       monitor_update_id: monitor_data.monitor.get_latest_update_id(),
+               }], monitor_data.monitor.get_counterparty_node_id()));
+
                self.event_notifier.notify();
                Ok(())
        }
@@ -701,7 +599,7 @@ where C::Target: chain::Filter,
        pub fn archive_fully_resolved_channel_monitors(&self) {
                let mut have_monitors_to_prune = false;
                for (_, monitor_holder) in self.monitors.read().unwrap().iter() {
-                       let logger = WithChannelMonitor::from(&self.logger, &monitor_holder.monitor);
+                       let logger = WithChannelMonitor::from(&self.logger, &monitor_holder.monitor, None);
                        if monitor_holder.monitor.is_fully_resolved(&logger) {
                                have_monitors_to_prune = true;
                        }
@@ -709,7 +607,7 @@ where C::Target: chain::Filter,
                if have_monitors_to_prune {
                        let mut monitors = self.monitors.write().unwrap();
                        monitors.retain(|funding_txo, monitor_holder| {
-                               let logger = WithChannelMonitor::from(&self.logger, &monitor_holder.monitor);
+                               let logger = WithChannelMonitor::from(&self.logger, &monitor_holder.monitor, None);
                                if monitor_holder.monitor.is_fully_resolved(&logger) {
                                        log_info!(logger,
                                                "Archiving fully resolved ChannelMonitor for funding txo {}",
@@ -725,7 +623,7 @@ where C::Target: chain::Filter,
        }
 }
 
-impl<ChannelSigner: WriteableEcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L: Deref, P: Deref>
+impl<ChannelSigner: EcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L: Deref, P: Deref>
 chain::Listen for ChainMonitor<ChannelSigner, C, T, F, L, P>
 where
        C::Target: chain::Filter,
@@ -754,7 +652,7 @@ where
        }
 }
 
-impl<ChannelSigner: WriteableEcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L: Deref, P: Deref>
+impl<ChannelSigner: EcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L: Deref, P: Deref>
 chain::Confirm for ChainMonitor<ChannelSigner, C, T, F, L, P>
 where
        C::Target: chain::Filter,
@@ -808,7 +706,7 @@ where
        }
 }
 
-impl<ChannelSigner: WriteableEcdsaChannelSigner, C: Deref , T: Deref , F: Deref , L: Deref , P: Deref >
+impl<ChannelSigner: EcdsaChannelSigner, C: Deref , T: Deref , F: Deref , L: Deref , P: Deref >
 chain::Watch<ChannelSigner> for ChainMonitor<ChannelSigner, C, T, F, L, P>
 where C::Target: chain::Filter,
            T::Target: BroadcasterInterface,
@@ -817,7 +715,7 @@ where C::Target: chain::Filter,
            P::Target: Persist<ChannelSigner>,
 {
        fn watch_channel(&self, funding_outpoint: OutPoint, monitor: ChannelMonitor<ChannelSigner>) -> Result<ChannelMonitorUpdateStatus, ()> {
-               let logger = WithChannelMonitor::from(&self.logger, &monitor);
+               let logger = WithChannelMonitor::from(&self.logger, &monitor, None);
                let mut monitors = self.monitors.write().unwrap();
                let entry = match monitors.entry(funding_outpoint) {
                        hash_map::Entry::Occupied(_) => {
@@ -827,9 +725,9 @@ where C::Target: chain::Filter,
                        hash_map::Entry::Vacant(e) => e,
                };
                log_trace!(logger, "Got new ChannelMonitor for channel {}", log_funding_info!(monitor));
-               let update_id = MonitorUpdateId::from_new_monitor(&monitor);
+               let update_id = monitor.get_latest_update_id();
                let mut pending_monitor_updates = Vec::new();
-               let persist_res = self.persister.persist_new_channel(funding_outpoint, &monitor, update_id);
+               let persist_res = self.persister.persist_new_channel(funding_outpoint, &monitor);
                match persist_res {
                        ChannelMonitorUpdateStatus::InProgress => {
                                log_info!(logger, "Persistence of new ChannelMonitor for channel {} in progress", log_funding_info!(monitor));
@@ -850,7 +748,6 @@ where C::Target: chain::Filter,
                entry.insert(MonitorHolder {
                        monitor,
                        pending_monitor_updates: Mutex::new(pending_monitor_updates),
-                       last_chain_persist_height: AtomicUsize::new(self.highest_chain_height.load(Ordering::Acquire)),
                });
                Ok(persist_res)
        }
@@ -863,7 +760,7 @@ where C::Target: chain::Filter,
                let monitors = self.monitors.read().unwrap();
                match monitors.get(&funding_txo) {
                        None => {
-                               let logger = WithContext::from(&self.logger, update.counterparty_node_id, Some(channel_id));
+                               let logger = WithContext::from(&self.logger, update.counterparty_node_id, Some(channel_id), None);
                                log_error!(logger, "Failed to update channel monitor: no such monitor registered");
 
                                // We should never ever trigger this from within ChannelManager. Technically a
@@ -876,11 +773,11 @@ where C::Target: chain::Filter,
                        },
                        Some(monitor_state) => {
                                let monitor = &monitor_state.monitor;
-                               let logger = WithChannelMonitor::from(&self.logger, &monitor);
+                               let logger = WithChannelMonitor::from(&self.logger, &monitor, None);
                                log_trace!(logger, "Updating ChannelMonitor to id {} for channel {}", update.update_id, log_funding_info!(monitor));
                                let update_res = monitor.update_monitor(update, &self.broadcaster, &self.fee_estimator, &self.logger);
 
-                               let update_id = MonitorUpdateId::from_monitor_update(update);
+                               let update_id = update.update_id;
                                let mut pending_monitor_updates = monitor_state.pending_monitor_updates.lock().unwrap();
                                let persist_res = if update_res.is_err() {
                                        // Even if updating the monitor returns an error, the monitor's state will
@@ -889,9 +786,9 @@ where C::Target: chain::Filter,
                                        // while reading `channel_monitor` with updates from storage. Instead, we should persist
                                        // the entire `channel_monitor` here.
                                        log_warn!(logger, "Failed to update ChannelMonitor for channel {}. Going ahead and persisting the entire ChannelMonitor", log_funding_info!(monitor));
-                                       self.persister.update_persisted_channel(funding_txo, None, monitor, update_id)
+                                       self.persister.update_persisted_channel(funding_txo, None, monitor)
                                } else {
-                                       self.persister.update_persisted_channel(funding_txo, Some(update), monitor, update_id)
+                                       self.persister.update_persisted_channel(funding_txo, Some(update), monitor)
                                };
                                match persist_res {
                                        ChannelMonitorUpdateStatus::InProgress => {
@@ -932,28 +829,19 @@ where C::Target: chain::Filter,
        fn release_pending_monitor_events(&self) -> Vec<(OutPoint, ChannelId, Vec<MonitorEvent>, Option<PublicKey>)> {
                let mut pending_monitor_events = self.pending_monitor_events.lock().unwrap().split_off(0);
                for monitor_state in self.monitors.read().unwrap().values() {
-                       let logger = WithChannelMonitor::from(&self.logger, &monitor_state.monitor);
-                       let is_pending_monitor_update = monitor_state.has_pending_chainsync_updates(&monitor_state.pending_monitor_updates.lock().unwrap());
-                       if !is_pending_monitor_update || monitor_state.last_chain_persist_height.load(Ordering::Acquire) + LATENCY_GRACE_PERIOD_BLOCKS as usize <= self.highest_chain_height.load(Ordering::Acquire) {
-                               if is_pending_monitor_update {
-                                       log_error!(logger, "A ChannelMonitor sync took longer than {} blocks to complete.", LATENCY_GRACE_PERIOD_BLOCKS);
-                                       log_error!(logger, "   To avoid funds-loss, we are allowing monitor updates to be released.");
-                                       log_error!(logger, "   This may cause duplicate payment events to be generated.");
-                               }
-                               let monitor_events = monitor_state.monitor.get_and_clear_pending_monitor_events();
-                               if monitor_events.len() > 0 {
-                                       let monitor_outpoint = monitor_state.monitor.get_funding_txo().0;
-                                       let monitor_channel_id = monitor_state.monitor.channel_id();
-                                       let counterparty_node_id = monitor_state.monitor.get_counterparty_node_id();
-                                       pending_monitor_events.push((monitor_outpoint, monitor_channel_id, monitor_events, counterparty_node_id));
-                               }
+                       let monitor_events = monitor_state.monitor.get_and_clear_pending_monitor_events();
+                       if monitor_events.len() > 0 {
+                               let monitor_outpoint = monitor_state.monitor.get_funding_txo().0;
+                               let monitor_channel_id = monitor_state.monitor.channel_id();
+                               let counterparty_node_id = monitor_state.monitor.get_counterparty_node_id();
+                               pending_monitor_events.push((monitor_outpoint, monitor_channel_id, monitor_events, counterparty_node_id));
                        }
                }
                pending_monitor_events
        }
 }
 
-impl<ChannelSigner: WriteableEcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L: Deref, P: Deref> events::EventsProvider for ChainMonitor<ChannelSigner, C, T, F, L, P>
+impl<ChannelSigner: EcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L: Deref, P: Deref> events::EventsProvider for ChainMonitor<ChannelSigner, C, T, F, L, P>
        where C::Target: chain::Filter,
              T::Target: BroadcasterInterface,
              F::Target: FeeEstimator,
@@ -983,15 +871,12 @@ impl<ChannelSigner: WriteableEcdsaChannelSigner, C: Deref, T: Deref, F: Deref, L
 #[cfg(test)]
 mod tests {
        use crate::check_added_monitors;
-       use crate::{expect_payment_claimed, expect_payment_path_successful, get_event_msg};
-       use crate::{get_htlc_update_msgs, get_local_commitment_txn, get_revoke_commit_msgs, get_route_and_payment_hash, unwrap_send_err};
-       use crate::chain::{ChannelMonitorUpdateStatus, Confirm, Watch};
-       use crate::chain::channelmonitor::LATENCY_GRACE_PERIOD_BLOCKS;
+       use crate::{expect_payment_path_successful, get_event_msg};
+       use crate::{get_htlc_update_msgs, get_revoke_commit_msgs};
+       use crate::chain::{ChannelMonitorUpdateStatus, Watch};
        use crate::events::{Event, MessageSendEvent, MessageSendEventsProvider};
-       use crate::ln::channelmanager::{PaymentSendFailure, PaymentId, RecipientOnionFields};
        use crate::ln::functional_test_utils::*;
        use crate::ln::msgs::ChannelMessageHandler;
-       use crate::util::errors::APIError;
 
        #[test]
        fn test_async_ooo_offchain_updates() {
@@ -1098,76 +983,6 @@ mod tests {
                check_added_monitors!(nodes[0], 1);
        }
 
-       fn do_chainsync_pauses_events(block_timeout: bool) {
-               // When a chainsync monitor update occurs, any MonitorUpdates should be held before being
-               // passed upstream to a `ChannelManager` via `Watch::release_pending_monitor_events`. This
-               // tests that behavior, as well as some ways it might go wrong.
-               let chanmon_cfgs = create_chanmon_cfgs(2);
-               let node_cfgs = create_node_cfgs(2, &chanmon_cfgs);
-               let node_chanmgrs = create_node_chanmgrs(2, &node_cfgs, &[None, None]);
-               let nodes = create_network(2, &node_cfgs, &node_chanmgrs);
-               let channel = create_announced_chan_between_nodes(&nodes, 0, 1);
-
-               // Get a route for later and rebalance the channel somewhat
-               send_payment(&nodes[0], &[&nodes[1]], 10_000_000);
-               let (route, second_payment_hash, _, second_payment_secret) = get_route_and_payment_hash!(nodes[0], nodes[1], 100_000);
-
-               // First route a payment that we will claim on chain and give the recipient the preimage.
-               let (payment_preimage, payment_hash, ..) = route_payment(&nodes[0], &[&nodes[1]], 1_000_000);
-               nodes[1].node.claim_funds(payment_preimage);
-               expect_payment_claimed!(nodes[1], payment_hash, 1_000_000);
-               nodes[1].node.get_and_clear_pending_msg_events();
-               check_added_monitors!(nodes[1], 1);
-               let remote_txn = get_local_commitment_txn!(nodes[1], channel.2);
-               assert_eq!(remote_txn.len(), 2);
-
-               // Temp-fail the block connection which will hold the channel-closed event
-               chanmon_cfgs[0].persister.chain_sync_monitor_persistences.lock().unwrap().clear();
-               chanmon_cfgs[0].persister.set_update_ret(ChannelMonitorUpdateStatus::InProgress);
-
-               // Connect B's commitment transaction, but only to the ChainMonitor/ChannelMonitor. The
-               // channel is now closed, but the ChannelManager doesn't know that yet.
-               let new_header = create_dummy_header(nodes[0].best_block_info().0, 0);
-               nodes[0].chain_monitor.chain_monitor.transactions_confirmed(&new_header,
-                       &[(0, &remote_txn[0]), (1, &remote_txn[1])], nodes[0].best_block_info().1 + 1);
-               assert!(nodes[0].chain_monitor.release_pending_monitor_events().is_empty());
-               nodes[0].chain_monitor.chain_monitor.best_block_updated(&new_header, nodes[0].best_block_info().1 + 1);
-               assert!(nodes[0].chain_monitor.release_pending_monitor_events().is_empty());
-
-               // If the ChannelManager tries to update the channel, however, the ChainMonitor will pass
-               // the update through to the ChannelMonitor which will refuse it (as the channel is closed).
-               chanmon_cfgs[0].persister.set_update_ret(ChannelMonitorUpdateStatus::Completed);
-               unwrap_send_err!(nodes[0].node.send_payment_with_route(&route, second_payment_hash,
-                               RecipientOnionFields::secret_only(second_payment_secret), PaymentId(second_payment_hash.0)
-                       ), false, APIError::MonitorUpdateInProgress, {});
-               check_added_monitors!(nodes[0], 1);
-
-               // However, as the ChainMonitor is still waiting for the original persistence to complete,
-               // it won't yet release the MonitorEvents.
-               assert!(nodes[0].chain_monitor.release_pending_monitor_events().is_empty());
-
-               if block_timeout {
-                       // After three blocks, pending MontiorEvents should be released either way.
-                       let latest_header = create_dummy_header(nodes[0].best_block_info().0, 0);
-                       nodes[0].chain_monitor.chain_monitor.best_block_updated(&latest_header, nodes[0].best_block_info().1 + LATENCY_GRACE_PERIOD_BLOCKS);
-               } else {
-                       let persistences = chanmon_cfgs[0].persister.chain_sync_monitor_persistences.lock().unwrap().clone();
-                       for (funding_outpoint, update_ids) in persistences {
-                               for update_id in update_ids {
-                                       nodes[0].chain_monitor.chain_monitor.channel_monitor_updated(funding_outpoint, update_id).unwrap();
-                               }
-                       }
-               }
-
-               expect_payment_sent(&nodes[0], payment_preimage, None, true, false);
-       }
-
-       #[test]
-       fn chainsync_pauses_events() {
-               do_chainsync_pauses_events(false);
-               do_chainsync_pauses_events(true);
-       }
-
        #[test]
        #[cfg(feature = "std")]
        fn update_during_chainsync_poisons_channel() {
@@ -1177,7 +992,6 @@ mod tests {
                let nodes = create_network(2, &node_cfgs, &node_chanmgrs);
                create_announced_chan_between_nodes(&nodes, 0, 1);
 
-               chanmon_cfgs[0].persister.chain_sync_monitor_persistences.lock().unwrap().clear();
                chanmon_cfgs[0].persister.set_update_ret(ChannelMonitorUpdateStatus::UnrecoverableError);
 
                assert!(std::panic::catch_unwind(|| {
@@ -1190,3 +1004,4 @@ mod tests {
                }).is_err());
        }
 }
+