Skip to content

Commit d0d71e7

Browse files
committed
Read monitors from our KeysInterface in chanmon_consistency_fuzz
If the fuzz target is failing due to a channel force-close, the immediately-visible error is that we're signing a stale state. This is because the ChannelMonitorUpdateStep::ChannelForceClosed event results in a signature in the test clone which was deserialized using a OnlyReadsKeysInterface. Instead, we need to deserialize using the full KeysInterface instance.
1 parent 2b39fb0 commit d0d71e7

File tree

1 file changed

+16
-11
lines changed

1 file changed

+16
-11
lines changed

fuzz/src/chanmon_consistency.rs

Lines changed: 16 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,7 @@ use bitcoin::hashes::sha256::Hash as Sha256;
3030
use bitcoin::hash_types::{BlockHash, WPubkeyHash};
3131

3232
use lightning::chain;
33-
use lightning::chain::chainmonitor;
34-
use lightning::chain::channelmonitor;
33+
use lightning::chain::{chainmonitor, channelmonitor, Watch};
3534
use lightning::chain::channelmonitor::{ChannelMonitor, ChannelMonitorUpdateErr, MonitorEvent};
3635
use lightning::chain::transaction::OutPoint;
3736
use lightning::chain::chaininterface::{BroadcasterInterface, ConfirmationTarget, FeeEstimator};
@@ -46,7 +45,6 @@ use lightning::util::logger::Logger;
4645
use lightning::util::config::UserConfig;
4746
use lightning::util::events::{EventsProvider, MessageSendEventsProvider};
4847
use lightning::util::ser::{Readable, ReadableArgs, Writeable, Writer};
49-
use lightning::util::test_utils::OnlyReadsKeysInterface;
5048
use lightning::routing::router::{Route, RouteHop};
5149

5250

@@ -88,6 +86,7 @@ impl Writer for VecWriter {
8886

8987
struct TestChainMonitor {
9088
pub logger: Arc<dyn Logger>,
89+
pub keys: Arc<KeyProvider>,
9190
pub chain_monitor: Arc<chainmonitor::ChainMonitor<EnforcingSigner, Arc<dyn chain::Filter>, Arc<TestBroadcaster>, Arc<FuzzEstimator>, Arc<dyn Logger>, Arc<TestPersister>>>,
9291
pub update_ret: Mutex<Result<(), channelmonitor::ChannelMonitorUpdateErr>>,
9392
// If we reload a node with an old copy of ChannelMonitors, the ChannelManager deserialization
@@ -99,17 +98,18 @@ struct TestChainMonitor {
9998
pub should_update_manager: atomic::AtomicBool,
10099
}
101100
impl TestChainMonitor {
102-
pub fn new(broadcaster: Arc<TestBroadcaster>, logger: Arc<dyn Logger>, feeest: Arc<FuzzEstimator>, persister: Arc<TestPersister>) -> Self {
101+
pub fn new(broadcaster: Arc<TestBroadcaster>, logger: Arc<dyn Logger>, feeest: Arc<FuzzEstimator>, persister: Arc<TestPersister>, keys: Arc<KeyProvider>) -> Self {
103102
Self {
104103
chain_monitor: Arc::new(chainmonitor::ChainMonitor::new(None, broadcaster, logger.clone(), feeest, persister)),
105104
logger,
105+
keys,
106106
update_ret: Mutex::new(Ok(())),
107107
latest_monitors: Mutex::new(HashMap::new()),
108108
should_update_manager: atomic::AtomicBool::new(false),
109109
}
110110
}
111111
}
112-
impl chain::Watch<EnforcingSigner> for TestChainMonitor {
112+
impl Watch<EnforcingSigner> for TestChainMonitor {
113113
fn watch_channel(&self, funding_txo: OutPoint, monitor: channelmonitor::ChannelMonitor<EnforcingSigner>) -> Result<(), channelmonitor::ChannelMonitorUpdateErr> {
114114
let mut ser = VecWriter(Vec::new());
115115
monitor.write(&mut ser).unwrap();
@@ -128,12 +128,13 @@ impl chain::Watch<EnforcingSigner> for TestChainMonitor {
128128
hash_map::Entry::Vacant(_) => panic!("Didn't have monitor on update call"),
129129
};
130130
let deserialized_monitor = <(BlockHash, channelmonitor::ChannelMonitor<EnforcingSigner>)>::
131-
read(&mut Cursor::new(&map_entry.get().1), &OnlyReadsKeysInterface {}).unwrap().1;
131+
read(&mut Cursor::new(&map_entry.get().1), &*self.keys).unwrap().1;
132132
deserialized_monitor.update_monitor(&update, &&TestBroadcaster{}, &&FuzzEstimator{}, &self.logger).unwrap();
133133
let mut ser = VecWriter(Vec::new());
134134
deserialized_monitor.write(&mut ser).unwrap();
135135
map_entry.insert((update.update_id, ser.0));
136136
self.should_update_manager.store(true, atomic::Ordering::Relaxed);
137+
assert!(self.chain_monitor.update_channel(funding_txo, update).is_ok());
137138
self.update_ret.lock().unwrap().clone()
138139
}
139140

@@ -312,9 +313,9 @@ pub fn do_test<Out: test_logger::Output>(data: &[u8], out: Out) {
312313
macro_rules! make_node {
313314
($node_id: expr) => { {
314315
let logger: Arc<dyn Logger> = Arc::new(test_logger::TestLogger::new($node_id.to_string(), out.clone()));
315-
let monitor = Arc::new(TestChainMonitor::new(broadcast.clone(), logger.clone(), fee_est.clone(), Arc::new(TestPersister{})));
316-
317316
let keys_manager = Arc::new(KeyProvider { node_id: $node_id, rand_bytes_id: atomic::AtomicU8::new(0), revoked_commitments: Mutex::new(HashMap::new()) });
317+
let monitor = Arc::new(TestChainMonitor::new(broadcast.clone(), logger.clone(), fee_est.clone(), Arc::new(TestPersister{}), Arc::clone(&keys_manager)));
318+
318319
let mut config = UserConfig::default();
319320
config.channel_options.fee_proportional_millionths = 0;
320321
config.channel_options.announced_channel = true;
@@ -333,7 +334,7 @@ pub fn do_test<Out: test_logger::Output>(data: &[u8], out: Out) {
333334
($ser: expr, $node_id: expr, $old_monitors: expr, $keys_manager: expr) => { {
334335
let keys_manager = Arc::clone(& $keys_manager);
335336
let logger: Arc<dyn Logger> = Arc::new(test_logger::TestLogger::new($node_id.to_string(), out.clone()));
336-
let chain_monitor = Arc::new(TestChainMonitor::new(broadcast.clone(), logger.clone(), fee_est.clone(), Arc::new(TestPersister{})));
337+
let chain_monitor = Arc::new(TestChainMonitor::new(broadcast.clone(), logger.clone(), fee_est.clone(), Arc::new(TestPersister{}), Arc::clone(& $keys_manager)));
337338

338339
let mut config = UserConfig::default();
339340
config.channel_options.fee_proportional_millionths = 0;
@@ -343,7 +344,7 @@ pub fn do_test<Out: test_logger::Output>(data: &[u8], out: Out) {
343344
let mut monitors = HashMap::new();
344345
let mut old_monitors = $old_monitors.latest_monitors.lock().unwrap();
345346
for (outpoint, (update_id, monitor_ser)) in old_monitors.drain() {
346-
monitors.insert(outpoint, <(BlockHash, ChannelMonitor<EnforcingSigner>)>::read(&mut Cursor::new(&monitor_ser), &OnlyReadsKeysInterface {}).expect("Failed to read monitor").1);
347+
monitors.insert(outpoint, <(BlockHash, ChannelMonitor<EnforcingSigner>)>::read(&mut Cursor::new(&monitor_ser), &*$keys_manager).expect("Failed to read monitor").1);
347348
chain_monitor.latest_monitors.lock().unwrap().insert(outpoint, (update_id, monitor_ser));
348349
}
349350
let mut monitor_refs = HashMap::new();
@@ -361,7 +362,11 @@ pub fn do_test<Out: test_logger::Output>(data: &[u8], out: Out) {
361362
channel_monitors: monitor_refs,
362363
};
363364

364-
(<(BlockHash, ChanMan)>::read(&mut Cursor::new(&$ser.0), read_args).expect("Failed to read manager").1, chain_monitor)
365+
let res = (<(BlockHash, ChanMan)>::read(&mut Cursor::new(&$ser.0), read_args).expect("Failed to read manager").1, chain_monitor.clone());
366+
for (funding_txo, mon) in monitors.drain() {
367+
assert!(chain_monitor.chain_monitor.watch_channel(funding_txo, mon).is_ok());
368+
}
369+
res
365370
} }
366371
}
367372

0 commit comments

Comments
 (0)