Skip to content

Commit c351aa7

Browse files
committed
Handle fallible release_commitment_secret
1 parent 71cb518 commit c351aa7

File tree

4 files changed

+30
-21
lines changed

4 files changed

+30
-21
lines changed

lightning/src/ln/channel.rs

+22-13
Original file line numberDiff line numberDiff line change
@@ -5488,26 +5488,35 @@ impl<SP: Deref> Channel<SP> where
54885488

54895489
fn get_last_revoke_and_ack<L: Deref>(&mut self, logger: &L) -> Option<msgs::RevokeAndACK> where L::Target: Logger {
54905490
debug_assert!(self.context.holder_commitment_point.transaction_number() <= INITIAL_COMMITMENT_NUMBER - 2);
5491-
let per_commitment_secret = self.context.holder_signer.as_ref().release_commitment_secret(self.context.holder_commitment_point.transaction_number() + 2);
5492-
if let HolderCommitmentPoint::Available { transaction_number: _, current, next: _ } = self.context.holder_commitment_point {
5491+
let per_commitment_secret = self.context.holder_signer.as_ref()
5492+
.release_commitment_secret(self.context.holder_commitment_point.transaction_number() + 2).ok();
5493+
if let (HolderCommitmentPoint::Available { current, .. }, Some(per_commitment_secret)) =
5494+
(self.context.holder_commitment_point, per_commitment_secret) {
54935495
self.context.signer_pending_revoke_and_ack = false;
5494-
Some(msgs::RevokeAndACK {
5496+
return Some(msgs::RevokeAndACK {
54955497
channel_id: self.context.channel_id,
54965498
per_commitment_secret,
54975499
next_per_commitment_point: current,
54985500
#[cfg(taproot)]
54995501
next_local_nonce: None,
55005502
})
5501-
} else {
5502-
#[cfg(not(async_signing))] {
5503-
panic!("Holder commitment point must be Available when generating revoke_and_ack");
5504-
}
5505-
#[cfg(async_signing)] {
5506-
log_trace!(logger, "Last revoke-and-ack pending in channel {} for sequence {} because the next per-commitment point is not available",
5507-
&self.context.channel_id(), self.context.holder_commitment_point.transaction_number());
5508-
self.context.signer_pending_revoke_and_ack = true;
5509-
None
5510-
}
5503+
}
5504+
5505+
if !self.context.holder_commitment_point.is_available() {
5506+
log_trace!(logger, "Last revoke-and-ack pending in channel {} for sequence {} because the next per-commitment point is not available",
5507+
&self.context.channel_id(), self.context.holder_commitment_point.transaction_number());
5508+
}
5509+
if per_commitment_secret.is_none() {
5510+
log_trace!(logger, "Last revoke-and-ack pending in channel {} for sequence {} because the next per-commitment secret for {} is not available",
5511+
&self.context.channel_id(), self.context.holder_commitment_point.transaction_number(),
5512+
self.context.holder_commitment_point.transaction_number() + 2);
5513+
}
5514+
#[cfg(not(async_signing))] {
5515+
panic!("Holder commitment point and per commitment secret must be available when generating revoke_and_ack");
5516+
}
5517+
#[cfg(async_signing)] {
5518+
self.context.signer_pending_revoke_and_ack = true;
5519+
None
55115520
}
55125521
}
55135522

lightning/src/ln/functional_tests.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -1474,7 +1474,7 @@ fn test_fee_spike_violation_fails_htlc() {
14741474

14751475
let pubkeys = chan_signer.as_ref().pubkeys();
14761476
(pubkeys.revocation_basepoint, pubkeys.htlc_basepoint,
1477-
chan_signer.as_ref().release_commitment_secret(INITIAL_COMMITMENT_NUMBER),
1477+
chan_signer.as_ref().release_commitment_secret(INITIAL_COMMITMENT_NUMBER).unwrap(),
14781478
chan_signer.as_ref().get_per_commitment_point(INITIAL_COMMITMENT_NUMBER - 2, &secp_ctx).unwrap(),
14791479
chan_signer.as_ref().pubkeys().funding_pubkey)
14801480
};
@@ -7860,15 +7860,15 @@ fn test_counterparty_raa_skip_no_crash() {
78607860

78617861
// Make signer believe we got a counterparty signature, so that it allows the revocation
78627862
keys.as_ecdsa().unwrap().get_enforcement_state().last_holder_commitment -= 1;
7863-
per_commitment_secret = keys.as_ref().release_commitment_secret(INITIAL_COMMITMENT_NUMBER);
7863+
per_commitment_secret = keys.as_ref().release_commitment_secret(INITIAL_COMMITMENT_NUMBER).unwrap();
78647864

78657865
// Must revoke without gaps
78667866
keys.as_ecdsa().unwrap().get_enforcement_state().last_holder_commitment -= 1;
7867-
keys.as_ref().release_commitment_secret(INITIAL_COMMITMENT_NUMBER - 1);
7867+
keys.as_ref().release_commitment_secret(INITIAL_COMMITMENT_NUMBER - 1).unwrap();
78687868

78697869
keys.as_ecdsa().unwrap().get_enforcement_state().last_holder_commitment -= 1;
78707870
next_per_commitment_point = PublicKey::from_secret_key(&Secp256k1::new(),
7871-
&SecretKey::from_slice(&keys.as_ref().release_commitment_secret(INITIAL_COMMITMENT_NUMBER - 2)).unwrap());
7871+
&SecretKey::from_slice(&keys.as_ref().release_commitment_secret(INITIAL_COMMITMENT_NUMBER - 2).unwrap()).unwrap());
78727872
}
78737873

78747874
nodes[1].node.handle_revoke_and_ack(&nodes[0].node.get_our_node_id(),

lightning/src/sign/mod.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -745,7 +745,7 @@ pub trait ChannelSigner {
745745
///
746746
/// Note that the commitment number starts at `(1 << 48) - 1` and counts backwards.
747747
// TODO: return a Result so we can signal a validation error
748-
fn release_commitment_secret(&self, idx: u64) -> [u8; 32];
748+
fn release_commitment_secret(&self, idx: u64) -> Result<[u8; 32], ()>;
749749

750750
/// Validate the counterparty's signatures on the holder commitment transaction and HTLCs.
751751
///
@@ -1354,8 +1354,8 @@ impl ChannelSigner for InMemorySigner {
13541354
Ok(PublicKey::from_secret_key(secp_ctx, &commitment_secret))
13551355
}
13561356

1357-
fn release_commitment_secret(&self, idx: u64) -> [u8; 32] {
1358-
chan_utils::build_commitment_secret(&self.commitment_seed, idx)
1357+
fn release_commitment_secret(&self, idx: u64) -> Result<[u8; 32], ()> {
1358+
Ok(chan_utils::build_commitment_secret(&self.commitment_seed, idx))
13591359
}
13601360

13611361
fn validate_holder_commitment(

lightning/src/util/test_channel_signer.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -173,7 +173,7 @@ impl ChannelSigner for TestChannelSigner {
173173
self.inner.get_per_commitment_point(idx, secp_ctx)
174174
}
175175

176-
fn release_commitment_secret(&self, idx: u64) -> [u8; 32] {
176+
fn release_commitment_secret(&self, idx: u64) -> Result<[u8; 32], ()> {
177177
{
178178
let mut state = self.state.lock().unwrap();
179179
assert!(idx == state.last_holder_revoked_commitment || idx == state.last_holder_revoked_commitment - 1, "can only revoke the current or next unrevoked commitment - trying {}, last revoked {}", idx, state.last_holder_revoked_commitment);

0 commit comments

Comments
 (0)