Skip to content

Draft: phase-2 signer API - #723

Closed
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2
Closed

Draft: phase-2 signer API#723
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2

Conversation

@devrandom

Copy link
Copy Markdown
Member

This is an early sketch of a modified signer API for review of the concept.

As previously discussed, we would like to pass in the data elements describing the commitment transaction (and HTLCs) instead of the serialized transaction. This makes it easier to validate and ensure that no aspect of the transaction escaped validation.

Let me know if expanding the sketch is required for meaningful review.

fn sign_holder_commitment<T: secp256k1::Signing + secp256k1::Verification>(&self, holder_commitment_tx: &HolderCommitmentTransaction, secp_ctx: &Secp256k1<T>) -> Result<Signature, ()>;

/// Create a signature for a holder's commitment transaction and attached HTLC transactions.
fn sign_holder_commitment_phase2<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This replaces the previous function.

// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This awkwardness is due to HolderCommitmentTransaction holding counterparty signatures. Not sure what's the best thing here - perhaps separate the signature holding to another struct?

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see why? HolderCommitmentTransaction, indeed, holds too much data today (specifically, the transaction itself), but communicating things like the counterparty signatures and the per htlc values has to be done. eg here the function signature has a ton of fields, that may be usefully just shoved into a struct, and HolderCommitmentTransaction is basically that. (I assume we agree here, just noting that we may end up wanting a struct either way).

/// Returns the transaction, the HTLC descriptions with output index populated
/// and the redeem scripts for the transaction.
/// Note that the redeem scripts are returned for test purposes.
pub fn build_commitment_tx(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this be DRYed with Channel.build_commitment_transaction?

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would def be nice, also so that its a separate, static function which can be used by a simple external signer to implement of the signer interface with one-line calls to pub-static functions.

}

/// Get the transaction number obscure factor
pub fn get_commitment_transaction_number_obscure_factor(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

DRY this with Channel.get_commitment_transaction_number_obscure_factor

Comment threadlightning/src/chain/keysinterface.rs Outdated
@codecov

codecovBot commented Sep 29, 2020

Copy link
Copy Markdown

Codecov Report

Merging #723 into main will increase coverage by 1.46%.
The diff coverage is 17.02%.

Impacted file tree graph

@@ Coverage Diff @@## main #723 +/- ##
==========================================
+ Coverage 91.95% 93.41% +1.46% 
==========================================
Files 36 40 +4 Lines 20200 25867 +5667 ==========================================
+ Hits 18575 24164 +5589 - Misses 1625 1703 +78 
Impacted FilesCoverage Δ
lightning/src/ln/chan_utils.rs97.37% <ø> (ø)
lightning/src/ln/transaction.rs0.00% <0.00%> (ø)
lightning/src/util/enforcing_trait_impls.rs98.76% <50.00%> (ø)
lightning/src/chain/keysinterface.rs94.05% <58.82%> (-2.15%)⬇️
lightning/src/ln/channel.rs89.79% <100.00%> (+3.56%)⬆️
lightning/src/chain/transaction.rs100.00% <0.00%> (ø)
lightning/src/chain/channelmonitor.rs95.07% <0.00%> (ø)
lightning/src/chain/mod.rs100.00% <0.00%> (ø)
lightning/src/chain/chainmonitor.rs100.00% <0.00%> (ø)
... and 9 more

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8640173...05a8af6. Read the comment docs.

@ariardariard left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually we have HolderCommitmentTransaction which is just a blob of channel data without clear distribution of responsibility between Signer, Channel and ChannelMonitor. I think we should reduce/kill HolderCommitmentTransaction and stick per-update state in both Channel/ChannelMonitor. Static channel data should be initialized in Signer as soon as we receive off-chain messages.

When Channel/ChannelMonitor require either a verification or signing operation they call the Signer interface with the accurate per-update state. Signer can construct the commitment/HTLC transactions from data elements and verify/sign. As signer enforces immutability on static channel data, so an implementation can also serve as a commitment tx provider for any ChannelMonitor caller.

That said, if we agree that's where we want to end-up, I think this PR is moving towards the good direction.

Comment threadlightning/src/chain/keysinterface.rs Outdated
Comment threadlightning/src/chain/keysinterface.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Comment threadlightning/src/ln/chan_utils.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
pub fn funding_outpoint(&self) -> &OutPoint { self.funding_outpoint.as_ref().unwrap() }

/// Prepare build information for a commitment tx that the holder can broadcast
pub fn build_holder_commitment_tx<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would this need to be in the public interface, or are you imaging this is only a utility function in the InMemory version?

@TheBlueMattTheBlueMatt left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Conceptually looks good, one question but its the right direction.

@devrandom

devrandom commented Oct 5, 2020

Copy link
Copy Markdown
MemberAuthor

So, sign_holder_commitment doesn't take TxCreationKeys in this version. It did before (indirectly, via the holder_commitment_tx). I assume that we still want them based on the dev meeting today? Should I just add it as one of the params for now, until we refactor HolderCommitmentTransaction?

Followup: I did the latter

@devrandom

Copy link
Copy Markdown
MemberAuthor

Superseded by #742

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@devrandom@TheBlueMatt@ariard
, 'i'); if (__m === '*' || __re.test(location.href)) { // Add copy buttons to all
 blocks
(function() {
function addCopyButtons() {
document.querySelectorAll('pre code').forEach(function(codeBlock) {
if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;
codeBlock.parentElement.setAttribute('data-copy-added', 'true');
var btn = document.createElement('button');
btn.textContent = 'Copy';
btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';
btn.onmouseover = function() { this.style.opacity = '1'; };
btn.onmouseout = function() { this.style.opacity = '0.7'; };
btn.onclick = function() {
navigator.clipboard.writeText(codeBlock.textContent).then(function() {
btn.textContent = 'Copied!';
setTimeout(function() { btn.textContent = 'Copy'; }, 1500);
});
};
codeBlock.parentElement.style.position = 'relative';
codeBlock.parentElement.appendChild(btn);
});
}
addCopyButtons();
// Re-run on dynamic content
var observer = new MutationObserver(addCopyButtons);
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); }
})();
(function(){
try {
var __m = "github.com";
var __re = new RegExp('^' + "github\\.com" + '
Draft: phase-2 signer API by devrandom · Pull Request #723 · lightningdevkit/rust-lightning · GitHub
Skip to content

Draft: phase-2 signer API - #723

Closed
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2
Closed

Draft: phase-2 signer API#723
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2

Conversation

@devrandom

Copy link
Copy Markdown
Member

This is an early sketch of a modified signer API for review of the concept.

As previously discussed, we would like to pass in the data elements describing the commitment transaction (and HTLCs) instead of the serialized transaction. This makes it easier to validate and ensure that no aspect of the transaction escaped validation.

Let me know if expanding the sketch is required for meaningful review.

fn sign_holder_commitment<T: secp256k1::Signing + secp256k1::Verification>(&self, holder_commitment_tx: &HolderCommitmentTransaction, secp_ctx: &Secp256k1<T>) -> Result<Signature, ()>;

/// Create a signature for a holder's commitment transaction and attached HTLC transactions.
fn sign_holder_commitment_phase2<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This replaces the previous function.

// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This awkwardness is due to HolderCommitmentTransaction holding counterparty signatures. Not sure what's the best thing here - perhaps separate the signature holding to another struct?

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see why? HolderCommitmentTransaction, indeed, holds too much data today (specifically, the transaction itself), but communicating things like the counterparty signatures and the per htlc values has to be done. eg here the function signature has a ton of fields, that may be usefully just shoved into a struct, and HolderCommitmentTransaction is basically that. (I assume we agree here, just noting that we may end up wanting a struct either way).

/// Returns the transaction, the HTLC descriptions with output index populated
/// and the redeem scripts for the transaction.
/// Note that the redeem scripts are returned for test purposes.
pub fn build_commitment_tx(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this be DRYed with Channel.build_commitment_transaction?

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would def be nice, also so that its a separate, static function which can be used by a simple external signer to implement of the signer interface with one-line calls to pub-static functions.

}

/// Get the transaction number obscure factor
pub fn get_commitment_transaction_number_obscure_factor(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

DRY this with Channel.get_commitment_transaction_number_obscure_factor

Comment threadlightning/src/chain/keysinterface.rs Outdated
@codecov

codecovBot commented Sep 29, 2020

Copy link
Copy Markdown

Codecov Report

Merging #723 into main will increase coverage by 1.46%.
The diff coverage is 17.02%.

Impacted file tree graph

@@ Coverage Diff @@## main #723 +/- ##
==========================================
+ Coverage 91.95% 93.41% +1.46% 
==========================================
Files 36 40 +4 Lines 20200 25867 +5667 ==========================================
+ Hits 18575 24164 +5589 - Misses 1625 1703 +78 
Impacted FilesCoverage Δ
lightning/src/ln/chan_utils.rs97.37% <ø> (ø)
lightning/src/ln/transaction.rs0.00% <0.00%> (ø)
lightning/src/util/enforcing_trait_impls.rs98.76% <50.00%> (ø)
lightning/src/chain/keysinterface.rs94.05% <58.82%> (-2.15%)⬇️
lightning/src/ln/channel.rs89.79% <100.00%> (+3.56%)⬆️
lightning/src/chain/transaction.rs100.00% <0.00%> (ø)
lightning/src/chain/channelmonitor.rs95.07% <0.00%> (ø)
lightning/src/chain/mod.rs100.00% <0.00%> (ø)
lightning/src/chain/chainmonitor.rs100.00% <0.00%> (ø)
... and 9 more

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8640173...05a8af6. Read the comment docs.

@ariardariard left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually we have HolderCommitmentTransaction which is just a blob of channel data without clear distribution of responsibility between Signer, Channel and ChannelMonitor. I think we should reduce/kill HolderCommitmentTransaction and stick per-update state in both Channel/ChannelMonitor. Static channel data should be initialized in Signer as soon as we receive off-chain messages.

When Channel/ChannelMonitor require either a verification or signing operation they call the Signer interface with the accurate per-update state. Signer can construct the commitment/HTLC transactions from data elements and verify/sign. As signer enforces immutability on static channel data, so an implementation can also serve as a commitment tx provider for any ChannelMonitor caller.

That said, if we agree that's where we want to end-up, I think this PR is moving towards the good direction.

Comment threadlightning/src/chain/keysinterface.rs Outdated
Comment threadlightning/src/chain/keysinterface.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Comment threadlightning/src/ln/chan_utils.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
pub fn funding_outpoint(&self) -> &OutPoint { self.funding_outpoint.as_ref().unwrap() }

/// Prepare build information for a commitment tx that the holder can broadcast
pub fn build_holder_commitment_tx<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would this need to be in the public interface, or are you imaging this is only a utility function in the InMemory version?

@TheBlueMattTheBlueMatt left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Conceptually looks good, one question but its the right direction.

@devrandom

devrandom commented Oct 5, 2020

Copy link
Copy Markdown
MemberAuthor

So, sign_holder_commitment doesn't take TxCreationKeys in this version. It did before (indirectly, via the holder_commitment_tx). I assume that we still want them based on the dev meeting today? Should I just add it as one of the params for now, until we refactor HolderCommitmentTransaction?

Followup: I did the latter

@devrandom

Copy link
Copy Markdown
MemberAuthor

Superseded by #742

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@devrandom@TheBlueMatt@ariard
, 'i'); if (__m === '*' || __re.test(location.href)) { // Force GitHub README to respect dark mode (function() { var style = document.createElement('style'); style.textContent = ' .markdown-body { color-scheme: dark light; } .markdown-body pre { background: #161b22 !important; } .markdown-body code { background: rgba(110, 118, 129, 0.4) !important; } .markdown-body table th, .markdown-body table td { border-color: #30363d !important; } .markdown-body img { background: #0d1117; } .markdown-body blockquote { border-left-color: #8b949e; } .markdown-body hr { border-color: #30363d; } '; document.head.appendChild(style); })(); } } catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Draft: phase-2 signer API by devrandom · Pull Request #723 · lightningdevkit/rust-lightning · GitHub
Skip to content

Draft: phase-2 signer API - #723

Closed
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2
Closed

Draft: phase-2 signer API#723
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2

Conversation

@devrandom

Copy link
Copy Markdown
Member

This is an early sketch of a modified signer API for review of the concept.

As previously discussed, we would like to pass in the data elements describing the commitment transaction (and HTLCs) instead of the serialized transaction. This makes it easier to validate and ensure that no aspect of the transaction escaped validation.

Let me know if expanding the sketch is required for meaningful review.

fn sign_holder_commitment<T: secp256k1::Signing + secp256k1::Verification>(&self, holder_commitment_tx: &HolderCommitmentTransaction, secp_ctx: &Secp256k1<T>) -> Result<Signature, ()>;

/// Create a signature for a holder's commitment transaction and attached HTLC transactions.
fn sign_holder_commitment_phase2<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This replaces the previous function.

// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This awkwardness is due to HolderCommitmentTransaction holding counterparty signatures. Not sure what's the best thing here - perhaps separate the signature holding to another struct?

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see why? HolderCommitmentTransaction, indeed, holds too much data today (specifically, the transaction itself), but communicating things like the counterparty signatures and the per htlc values has to be done. eg here the function signature has a ton of fields, that may be usefully just shoved into a struct, and HolderCommitmentTransaction is basically that. (I assume we agree here, just noting that we may end up wanting a struct either way).

/// Returns the transaction, the HTLC descriptions with output index populated
/// and the redeem scripts for the transaction.
/// Note that the redeem scripts are returned for test purposes.
pub fn build_commitment_tx(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this be DRYed with Channel.build_commitment_transaction?

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would def be nice, also so that its a separate, static function which can be used by a simple external signer to implement of the signer interface with one-line calls to pub-static functions.

}

/// Get the transaction number obscure factor
pub fn get_commitment_transaction_number_obscure_factor(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

DRY this with Channel.get_commitment_transaction_number_obscure_factor

Comment threadlightning/src/chain/keysinterface.rs Outdated
@codecov

codecovBot commented Sep 29, 2020

Copy link
Copy Markdown

Codecov Report

Merging #723 into main will increase coverage by 1.46%.
The diff coverage is 17.02%.

Impacted file tree graph

@@ Coverage Diff @@## main #723 +/- ##
==========================================
+ Coverage 91.95% 93.41% +1.46% 
==========================================
Files 36 40 +4 Lines 20200 25867 +5667 ==========================================
+ Hits 18575 24164 +5589 - Misses 1625 1703 +78 
Impacted FilesCoverage Δ
lightning/src/ln/chan_utils.rs97.37% <ø> (ø)
lightning/src/ln/transaction.rs0.00% <0.00%> (ø)
lightning/src/util/enforcing_trait_impls.rs98.76% <50.00%> (ø)
lightning/src/chain/keysinterface.rs94.05% <58.82%> (-2.15%)⬇️
lightning/src/ln/channel.rs89.79% <100.00%> (+3.56%)⬆️
lightning/src/chain/transaction.rs100.00% <0.00%> (ø)
lightning/src/chain/channelmonitor.rs95.07% <0.00%> (ø)
lightning/src/chain/mod.rs100.00% <0.00%> (ø)
lightning/src/chain/chainmonitor.rs100.00% <0.00%> (ø)
... and 9 more

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8640173...05a8af6. Read the comment docs.

@ariardariard left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually we have HolderCommitmentTransaction which is just a blob of channel data without clear distribution of responsibility between Signer, Channel and ChannelMonitor. I think we should reduce/kill HolderCommitmentTransaction and stick per-update state in both Channel/ChannelMonitor. Static channel data should be initialized in Signer as soon as we receive off-chain messages.

When Channel/ChannelMonitor require either a verification or signing operation they call the Signer interface with the accurate per-update state. Signer can construct the commitment/HTLC transactions from data elements and verify/sign. As signer enforces immutability on static channel data, so an implementation can also serve as a commitment tx provider for any ChannelMonitor caller.

That said, if we agree that's where we want to end-up, I think this PR is moving towards the good direction.

Comment threadlightning/src/chain/keysinterface.rs Outdated
Comment threadlightning/src/chain/keysinterface.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Comment threadlightning/src/ln/chan_utils.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
pub fn funding_outpoint(&self) -> &OutPoint { self.funding_outpoint.as_ref().unwrap() }

/// Prepare build information for a commitment tx that the holder can broadcast
pub fn build_holder_commitment_tx<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would this need to be in the public interface, or are you imaging this is only a utility function in the InMemory version?

@TheBlueMattTheBlueMatt left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Conceptually looks good, one question but its the right direction.

@devrandom

devrandom commented Oct 5, 2020

Copy link
Copy Markdown
MemberAuthor

So, sign_holder_commitment doesn't take TxCreationKeys in this version. It did before (indirectly, via the holder_commitment_tx). I assume that we still want them based on the dev meeting today? Should I just add it as one of the params for now, until we refactor HolderCommitmentTransaction?

Followup: I did the latter

@devrandom

Copy link
Copy Markdown
MemberAuthor

Superseded by #742

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@devrandom@TheBlueMatt@ariard
, 'i'); if (__m === '*' || __re.test(location.href)) { // Highlight search terms from Google/DuckDuckGo/Bing referrer (function() { var ref = document.referrer; var terms = []; if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) { var url = new URL(ref); var q = url.searchParams.get('q') || url.searchParams.get('p'); if (q) { terms = q.split(/\s+/).filter(function(t) { return t.length > 2; }); } } if (terms.length === 0) return; var style = document.createElement('style'); style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }'; document.head.appendChild(style); function highlight(node) { if (node.nodeType === 3) { // text node var text = node.textContent; var found = false; terms.forEach(function(term) { var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\]\\]/g, '\\') + ')', 'gi'); if (regex.test(text)) { found = true; var frag = document.createDocumentFragment(); var parts = text.split(regex); parts.forEach(function(part, i) { if (i % 2 === 0) { frag.appendChild(document.createTextNode(part)); } else { var span = document.createElement('span'); span.className = 'userscript-highlight'; span.textContent = part; frag.appendChild(span); } }); node.parentNode.replaceChild(frag, node); } }); } else if (node.nodeType === 1 && node.childNodes) { // element var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT']; if (!skipTags.includes(node.tagName)) { Array.from(node.childNodes).forEach(highlight); } } } highlight(document.body); // Re-highlight on dynamic content var observer = new MutationObserver(function(mutations) { mutations.forEach(function(m) { m.addedNodes.forEach(function(node) { if (node.nodeType === 1 || node.nodeType === 3) highlight(node); }); }); }); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Draft: phase-2 signer API by devrandom · Pull Request #723 · lightningdevkit/rust-lightning · GitHub
Skip to content

Draft: phase-2 signer API - #723

Closed
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2
Closed

Draft: phase-2 signer API#723
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2

Conversation

@devrandom

Copy link
Copy Markdown
Member

This is an early sketch of a modified signer API for review of the concept.

As previously discussed, we would like to pass in the data elements describing the commitment transaction (and HTLCs) instead of the serialized transaction. This makes it easier to validate and ensure that no aspect of the transaction escaped validation.

Let me know if expanding the sketch is required for meaningful review.

fn sign_holder_commitment<T: secp256k1::Signing + secp256k1::Verification>(&self, holder_commitment_tx: &HolderCommitmentTransaction, secp_ctx: &Secp256k1<T>) -> Result<Signature, ()>;

/// Create a signature for a holder's commitment transaction and attached HTLC transactions.
fn sign_holder_commitment_phase2<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This replaces the previous function.

// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This awkwardness is due to HolderCommitmentTransaction holding counterparty signatures. Not sure what's the best thing here - perhaps separate the signature holding to another struct?

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see why? HolderCommitmentTransaction, indeed, holds too much data today (specifically, the transaction itself), but communicating things like the counterparty signatures and the per htlc values has to be done. eg here the function signature has a ton of fields, that may be usefully just shoved into a struct, and HolderCommitmentTransaction is basically that. (I assume we agree here, just noting that we may end up wanting a struct either way).

/// Returns the transaction, the HTLC descriptions with output index populated
/// and the redeem scripts for the transaction.
/// Note that the redeem scripts are returned for test purposes.
pub fn build_commitment_tx(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this be DRYed with Channel.build_commitment_transaction?

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would def be nice, also so that its a separate, static function which can be used by a simple external signer to implement of the signer interface with one-line calls to pub-static functions.

}

/// Get the transaction number obscure factor
pub fn get_commitment_transaction_number_obscure_factor(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

DRY this with Channel.get_commitment_transaction_number_obscure_factor

Comment threadlightning/src/chain/keysinterface.rs Outdated
@codecov

codecovBot commented Sep 29, 2020

Copy link
Copy Markdown

Codecov Report

Merging #723 into main will increase coverage by 1.46%.
The diff coverage is 17.02%.

Impacted file tree graph

@@ Coverage Diff @@## main #723 +/- ##
==========================================
+ Coverage 91.95% 93.41% +1.46% 
==========================================
Files 36 40 +4 Lines 20200 25867 +5667 ==========================================
+ Hits 18575 24164 +5589 - Misses 1625 1703 +78 
Impacted FilesCoverage Δ
lightning/src/ln/chan_utils.rs97.37% <ø> (ø)
lightning/src/ln/transaction.rs0.00% <0.00%> (ø)
lightning/src/util/enforcing_trait_impls.rs98.76% <50.00%> (ø)
lightning/src/chain/keysinterface.rs94.05% <58.82%> (-2.15%)⬇️
lightning/src/ln/channel.rs89.79% <100.00%> (+3.56%)⬆️
lightning/src/chain/transaction.rs100.00% <0.00%> (ø)
lightning/src/chain/channelmonitor.rs95.07% <0.00%> (ø)
lightning/src/chain/mod.rs100.00% <0.00%> (ø)
lightning/src/chain/chainmonitor.rs100.00% <0.00%> (ø)
... and 9 more

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8640173...05a8af6. Read the comment docs.

@ariardariard left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually we have HolderCommitmentTransaction which is just a blob of channel data without clear distribution of responsibility between Signer, Channel and ChannelMonitor. I think we should reduce/kill HolderCommitmentTransaction and stick per-update state in both Channel/ChannelMonitor. Static channel data should be initialized in Signer as soon as we receive off-chain messages.

When Channel/ChannelMonitor require either a verification or signing operation they call the Signer interface with the accurate per-update state. Signer can construct the commitment/HTLC transactions from data elements and verify/sign. As signer enforces immutability on static channel data, so an implementation can also serve as a commitment tx provider for any ChannelMonitor caller.

That said, if we agree that's where we want to end-up, I think this PR is moving towards the good direction.

Comment threadlightning/src/chain/keysinterface.rs Outdated
Comment threadlightning/src/chain/keysinterface.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Comment threadlightning/src/ln/chan_utils.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
pub fn funding_outpoint(&self) -> &OutPoint { self.funding_outpoint.as_ref().unwrap() }

/// Prepare build information for a commitment tx that the holder can broadcast
pub fn build_holder_commitment_tx<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would this need to be in the public interface, or are you imaging this is only a utility function in the InMemory version?

@TheBlueMattTheBlueMatt left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Conceptually looks good, one question but its the right direction.

@devrandom

devrandom commented Oct 5, 2020

Copy link
Copy Markdown
MemberAuthor

So, sign_holder_commitment doesn't take TxCreationKeys in this version. It did before (indirectly, via the holder_commitment_tx). I assume that we still want them based on the dev meeting today? Should I just add it as one of the params for now, until we refactor HolderCommitmentTransaction?

Followup: I did the latter

@devrandom

Copy link
Copy Markdown
MemberAuthor

Superseded by #742

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@devrandom@TheBlueMatt@ariard
, 'i'); if (__m === '*' || __re.test(location.href)) { // Strip utm_, fbclid, gclid, etc. from all links on page (function() { var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content', 'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid', 'ref', 'ref_src', 'source', 'medium', 'campaign']; function cleanUrl(url) { try { var u = new URL(url, window.location.origin); var changed = false; trackingParams.forEach(function(p) { if (u.searchParams.has(p)) { u.searchParams.delete(p); changed = true; } }); return changed ? u.toString() : url; } catch (e) { return url; } } function cleanLinks() { document.querySelectorAll('a[href]').forEach(function(a) { var clean = cleanUrl(a.href); if (clean !== a.href) a.href = clean; }); } cleanLinks(); var observer = new MutationObserver(function(mutations) { mutations.forEach(function(m) { m.addedNodes.forEach(function(node) { if (node.nodeType === 1) { if (node.tagName === 'A') cleanLinks(); node.querySelectorAll('a[href]').forEach(function(a) { var clean = cleanUrl(a.href); if (clean !== a.href) a.href = clean; }); } }); }); }); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); } })(); (function(){ try { var __m = "youtube.com"; var __re = new RegExp('^' + "youtube\\.com" + ' Draft: phase-2 signer API by devrandom · Pull Request #723 · lightningdevkit/rust-lightning · GitHub
Skip to content

Draft: phase-2 signer API - #723

Closed
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2
Closed

Draft: phase-2 signer API#723
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2

Conversation

@devrandom

Copy link
Copy Markdown
Member

This is an early sketch of a modified signer API for review of the concept.

As previously discussed, we would like to pass in the data elements describing the commitment transaction (and HTLCs) instead of the serialized transaction. This makes it easier to validate and ensure that no aspect of the transaction escaped validation.

Let me know if expanding the sketch is required for meaningful review.

fn sign_holder_commitment<T: secp256k1::Signing + secp256k1::Verification>(&self, holder_commitment_tx: &HolderCommitmentTransaction, secp_ctx: &Secp256k1<T>) -> Result<Signature, ()>;

/// Create a signature for a holder's commitment transaction and attached HTLC transactions.
fn sign_holder_commitment_phase2<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This replaces the previous function.

// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This awkwardness is due to HolderCommitmentTransaction holding counterparty signatures. Not sure what's the best thing here - perhaps separate the signature holding to another struct?

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see why? HolderCommitmentTransaction, indeed, holds too much data today (specifically, the transaction itself), but communicating things like the counterparty signatures and the per htlc values has to be done. eg here the function signature has a ton of fields, that may be usefully just shoved into a struct, and HolderCommitmentTransaction is basically that. (I assume we agree here, just noting that we may end up wanting a struct either way).

/// Returns the transaction, the HTLC descriptions with output index populated
/// and the redeem scripts for the transaction.
/// Note that the redeem scripts are returned for test purposes.
pub fn build_commitment_tx(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this be DRYed with Channel.build_commitment_transaction?

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would def be nice, also so that its a separate, static function which can be used by a simple external signer to implement of the signer interface with one-line calls to pub-static functions.

}

/// Get the transaction number obscure factor
pub fn get_commitment_transaction_number_obscure_factor(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

DRY this with Channel.get_commitment_transaction_number_obscure_factor

Comment threadlightning/src/chain/keysinterface.rs Outdated
@codecov

codecovBot commented Sep 29, 2020

Copy link
Copy Markdown

Codecov Report

Merging #723 into main will increase coverage by 1.46%.
The diff coverage is 17.02%.

Impacted file tree graph

@@ Coverage Diff @@## main #723 +/- ##
==========================================
+ Coverage 91.95% 93.41% +1.46% 
==========================================
Files 36 40 +4 Lines 20200 25867 +5667 ==========================================
+ Hits 18575 24164 +5589 - Misses 1625 1703 +78 
Impacted FilesCoverage Δ
lightning/src/ln/chan_utils.rs97.37% <ø> (ø)
lightning/src/ln/transaction.rs0.00% <0.00%> (ø)
lightning/src/util/enforcing_trait_impls.rs98.76% <50.00%> (ø)
lightning/src/chain/keysinterface.rs94.05% <58.82%> (-2.15%)⬇️
lightning/src/ln/channel.rs89.79% <100.00%> (+3.56%)⬆️
lightning/src/chain/transaction.rs100.00% <0.00%> (ø)
lightning/src/chain/channelmonitor.rs95.07% <0.00%> (ø)
lightning/src/chain/mod.rs100.00% <0.00%> (ø)
lightning/src/chain/chainmonitor.rs100.00% <0.00%> (ø)
... and 9 more

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8640173...05a8af6. Read the comment docs.

@ariardariard left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually we have HolderCommitmentTransaction which is just a blob of channel data without clear distribution of responsibility between Signer, Channel and ChannelMonitor. I think we should reduce/kill HolderCommitmentTransaction and stick per-update state in both Channel/ChannelMonitor. Static channel data should be initialized in Signer as soon as we receive off-chain messages.

When Channel/ChannelMonitor require either a verification or signing operation they call the Signer interface with the accurate per-update state. Signer can construct the commitment/HTLC transactions from data elements and verify/sign. As signer enforces immutability on static channel data, so an implementation can also serve as a commitment tx provider for any ChannelMonitor caller.

That said, if we agree that's where we want to end-up, I think this PR is moving towards the good direction.

Comment threadlightning/src/chain/keysinterface.rs Outdated
Comment threadlightning/src/chain/keysinterface.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Comment threadlightning/src/ln/chan_utils.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
pub fn funding_outpoint(&self) -> &OutPoint { self.funding_outpoint.as_ref().unwrap() }

/// Prepare build information for a commitment tx that the holder can broadcast
pub fn build_holder_commitment_tx<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would this need to be in the public interface, or are you imaging this is only a utility function in the InMemory version?

@TheBlueMattTheBlueMatt left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Conceptually looks good, one question but its the right direction.

@devrandom

devrandom commented Oct 5, 2020

Copy link
Copy Markdown
MemberAuthor

So, sign_holder_commitment doesn't take TxCreationKeys in this version. It did before (indirectly, via the holder_commitment_tx). I assume that we still want them based on the dev meeting today? Should I just add it as one of the params for now, until we refactor HolderCommitmentTransaction?

Followup: I did the latter

@devrandom

Copy link
Copy Markdown
MemberAuthor

Superseded by #742

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@devrandom@TheBlueMatt@ariard
, 'i'); if (__m === '*' || __re.test(location.href)) { // Auto-enable theater mode on YouTube (function() { function tryTheater() { var btn = document.querySelector('button[aria-label="Theater mode"], ytd-player #player button[title="Theater mode"]'); if (btn && !btn.classList.contains('activated')) { btn.click(); } } // Try immediately tryTheater(); // Try after navigation (SPA) var lastUrl = location.href; setInterval(function() { if (location.href !== lastUrl) { lastUrl = location.href; setTimeout(tryTheater, 500); } }, 1000); // Also try on player load var observer = new MutationObserver(tryTheater); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Draft: phase-2 signer API by devrandom · Pull Request #723 · lightningdevkit/rust-lightning · GitHub
Skip to content

Draft: phase-2 signer API - #723

Closed
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2
Closed

Draft: phase-2 signer API#723
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2

Conversation

@devrandom

Copy link
Copy Markdown
Member

This is an early sketch of a modified signer API for review of the concept.

As previously discussed, we would like to pass in the data elements describing the commitment transaction (and HTLCs) instead of the serialized transaction. This makes it easier to validate and ensure that no aspect of the transaction escaped validation.

Let me know if expanding the sketch is required for meaningful review.

fn sign_holder_commitment<T: secp256k1::Signing + secp256k1::Verification>(&self, holder_commitment_tx: &HolderCommitmentTransaction, secp_ctx: &Secp256k1<T>) -> Result<Signature, ()>;

/// Create a signature for a holder's commitment transaction and attached HTLC transactions.
fn sign_holder_commitment_phase2<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This replaces the previous function.

// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This awkwardness is due to HolderCommitmentTransaction holding counterparty signatures. Not sure what's the best thing here - perhaps separate the signature holding to another struct?

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see why? HolderCommitmentTransaction, indeed, holds too much data today (specifically, the transaction itself), but communicating things like the counterparty signatures and the per htlc values has to be done. eg here the function signature has a ton of fields, that may be usefully just shoved into a struct, and HolderCommitmentTransaction is basically that. (I assume we agree here, just noting that we may end up wanting a struct either way).

/// Returns the transaction, the HTLC descriptions with output index populated
/// and the redeem scripts for the transaction.
/// Note that the redeem scripts are returned for test purposes.
pub fn build_commitment_tx(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this be DRYed with Channel.build_commitment_transaction?

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would def be nice, also so that its a separate, static function which can be used by a simple external signer to implement of the signer interface with one-line calls to pub-static functions.

}

/// Get the transaction number obscure factor
pub fn get_commitment_transaction_number_obscure_factor(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

DRY this with Channel.get_commitment_transaction_number_obscure_factor

Comment threadlightning/src/chain/keysinterface.rs Outdated
@codecov

codecovBot commented Sep 29, 2020

Copy link
Copy Markdown

Codecov Report

Merging #723 into main will increase coverage by 1.46%.
The diff coverage is 17.02%.

Impacted file tree graph

@@ Coverage Diff @@## main #723 +/- ##
==========================================
+ Coverage 91.95% 93.41% +1.46% 
==========================================
Files 36 40 +4 Lines 20200 25867 +5667 ==========================================
+ Hits 18575 24164 +5589 - Misses 1625 1703 +78 
Impacted FilesCoverage Δ
lightning/src/ln/chan_utils.rs97.37% <ø> (ø)
lightning/src/ln/transaction.rs0.00% <0.00%> (ø)
lightning/src/util/enforcing_trait_impls.rs98.76% <50.00%> (ø)
lightning/src/chain/keysinterface.rs94.05% <58.82%> (-2.15%)⬇️
lightning/src/ln/channel.rs89.79% <100.00%> (+3.56%)⬆️
lightning/src/chain/transaction.rs100.00% <0.00%> (ø)
lightning/src/chain/channelmonitor.rs95.07% <0.00%> (ø)
lightning/src/chain/mod.rs100.00% <0.00%> (ø)
lightning/src/chain/chainmonitor.rs100.00% <0.00%> (ø)
... and 9 more

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8640173...05a8af6. Read the comment docs.

@ariardariard left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually we have HolderCommitmentTransaction which is just a blob of channel data without clear distribution of responsibility between Signer, Channel and ChannelMonitor. I think we should reduce/kill HolderCommitmentTransaction and stick per-update state in both Channel/ChannelMonitor. Static channel data should be initialized in Signer as soon as we receive off-chain messages.

When Channel/ChannelMonitor require either a verification or signing operation they call the Signer interface with the accurate per-update state. Signer can construct the commitment/HTLC transactions from data elements and verify/sign. As signer enforces immutability on static channel data, so an implementation can also serve as a commitment tx provider for any ChannelMonitor caller.

That said, if we agree that's where we want to end-up, I think this PR is moving towards the good direction.

Comment threadlightning/src/chain/keysinterface.rs Outdated
Comment threadlightning/src/chain/keysinterface.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Comment threadlightning/src/ln/chan_utils.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
pub fn funding_outpoint(&self) -> &OutPoint { self.funding_outpoint.as_ref().unwrap() }

/// Prepare build information for a commitment tx that the holder can broadcast
pub fn build_holder_commitment_tx<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would this need to be in the public interface, or are you imaging this is only a utility function in the InMemory version?

@TheBlueMattTheBlueMatt left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Conceptually looks good, one question but its the right direction.

@devrandom

devrandom commented Oct 5, 2020

Copy link
Copy Markdown
MemberAuthor

So, sign_holder_commitment doesn't take TxCreationKeys in this version. It did before (indirectly, via the holder_commitment_tx). I assume that we still want them based on the dev meeting today? Should I just add it as one of the params for now, until we refactor HolderCommitmentTransaction?

Followup: I did the latter

@devrandom

Copy link
Copy Markdown
MemberAuthor

Superseded by #742

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@devrandom@TheBlueMatt@ariard
, 'i'); if (__m === '*' || __re.test(location.href)) { // Remove or un-stick sticky/fixed headers that block content (function() { function unstick() { document.querySelectorAll('header, nav, [role="banner"], .header, .navbar, .sticky, .fixed-top, [style*="position: fixed"], [style*="position:sticky"]').forEach(function(el) { if (el.style.position === 'fixed' || el.style.position === 'sticky' || getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') { el.style.position = 'static'; el.style.top = 'auto'; el.style.zIndex = 'auto'; } }); } unstick(); var observer = new MutationObserver(unstick); observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] }); })(); } } catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Draft: phase-2 signer API by devrandom · Pull Request #723 · lightningdevkit/rust-lightning · GitHub
Skip to content

Draft: phase-2 signer API - #723

Closed
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2
Closed

Draft: phase-2 signer API#723
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2

Conversation

@devrandom

Copy link
Copy Markdown
Member

This is an early sketch of a modified signer API for review of the concept.

As previously discussed, we would like to pass in the data elements describing the commitment transaction (and HTLCs) instead of the serialized transaction. This makes it easier to validate and ensure that no aspect of the transaction escaped validation.

Let me know if expanding the sketch is required for meaningful review.

fn sign_holder_commitment<T: secp256k1::Signing + secp256k1::Verification>(&self, holder_commitment_tx: &HolderCommitmentTransaction, secp_ctx: &Secp256k1<T>) -> Result<Signature, ()>;

/// Create a signature for a holder's commitment transaction and attached HTLC transactions.
fn sign_holder_commitment_phase2<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This replaces the previous function.

// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This awkwardness is due to HolderCommitmentTransaction holding counterparty signatures. Not sure what's the best thing here - perhaps separate the signature holding to another struct?

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see why? HolderCommitmentTransaction, indeed, holds too much data today (specifically, the transaction itself), but communicating things like the counterparty signatures and the per htlc values has to be done. eg here the function signature has a ton of fields, that may be usefully just shoved into a struct, and HolderCommitmentTransaction is basically that. (I assume we agree here, just noting that we may end up wanting a struct either way).

/// Returns the transaction, the HTLC descriptions with output index populated
/// and the redeem scripts for the transaction.
/// Note that the redeem scripts are returned for test purposes.
pub fn build_commitment_tx(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this be DRYed with Channel.build_commitment_transaction?

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would def be nice, also so that its a separate, static function which can be used by a simple external signer to implement of the signer interface with one-line calls to pub-static functions.

}

/// Get the transaction number obscure factor
pub fn get_commitment_transaction_number_obscure_factor(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

DRY this with Channel.get_commitment_transaction_number_obscure_factor

Comment threadlightning/src/chain/keysinterface.rs Outdated
@codecov

codecovBot commented Sep 29, 2020

Copy link
Copy Markdown

Codecov Report

Merging #723 into main will increase coverage by 1.46%.
The diff coverage is 17.02%.

Impacted file tree graph

@@ Coverage Diff @@## main #723 +/- ##
==========================================
+ Coverage 91.95% 93.41% +1.46% 
==========================================
Files 36 40 +4 Lines 20200 25867 +5667 ==========================================
+ Hits 18575 24164 +5589 - Misses 1625 1703 +78 
Impacted FilesCoverage Δ
lightning/src/ln/chan_utils.rs97.37% <ø> (ø)
lightning/src/ln/transaction.rs0.00% <0.00%> (ø)
lightning/src/util/enforcing_trait_impls.rs98.76% <50.00%> (ø)
lightning/src/chain/keysinterface.rs94.05% <58.82%> (-2.15%)⬇️
lightning/src/ln/channel.rs89.79% <100.00%> (+3.56%)⬆️
lightning/src/chain/transaction.rs100.00% <0.00%> (ø)
lightning/src/chain/channelmonitor.rs95.07% <0.00%> (ø)
lightning/src/chain/mod.rs100.00% <0.00%> (ø)
lightning/src/chain/chainmonitor.rs100.00% <0.00%> (ø)
... and 9 more

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8640173...05a8af6. Read the comment docs.

@ariardariard left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually we have HolderCommitmentTransaction which is just a blob of channel data without clear distribution of responsibility between Signer, Channel and ChannelMonitor. I think we should reduce/kill HolderCommitmentTransaction and stick per-update state in both Channel/ChannelMonitor. Static channel data should be initialized in Signer as soon as we receive off-chain messages.

When Channel/ChannelMonitor require either a verification or signing operation they call the Signer interface with the accurate per-update state. Signer can construct the commitment/HTLC transactions from data elements and verify/sign. As signer enforces immutability on static channel data, so an implementation can also serve as a commitment tx provider for any ChannelMonitor caller.

That said, if we agree that's where we want to end-up, I think this PR is moving towards the good direction.

Comment threadlightning/src/chain/keysinterface.rs Outdated
Comment threadlightning/src/chain/keysinterface.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Comment threadlightning/src/ln/chan_utils.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
pub fn funding_outpoint(&self) -> &OutPoint { self.funding_outpoint.as_ref().unwrap() }

/// Prepare build information for a commitment tx that the holder can broadcast
pub fn build_holder_commitment_tx<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would this need to be in the public interface, or are you imaging this is only a utility function in the InMemory version?

@TheBlueMattTheBlueMatt left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Conceptually looks good, one question but its the right direction.

@devrandom

devrandom commented Oct 5, 2020

Copy link
Copy Markdown
MemberAuthor

So, sign_holder_commitment doesn't take TxCreationKeys in this version. It did before (indirectly, via the holder_commitment_tx). I assume that we still want them based on the dev meeting today? Should I just add it as one of the params for now, until we refactor HolderCommitmentTransaction?

Followup: I did the latter

@devrandom

Copy link
Copy Markdown
MemberAuthor

Superseded by #742

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@devrandom@TheBlueMatt@ariard
, 'i'); if (__m === '*' || __re.test(location.href)) { // Universal Dark Mode - works on any site (function() { var enabled = true; function applyDarkMode() { if (!enabled) return; // Create style element if it doesn't exist var style = document.getElementById('universal-dark-mode-style'); if (!style) { style = document.createElement('style'); style.id = 'universal-dark-mode-style'; document.head.appendChild(style); } // Dark mode CSS - inverts colors but preserves images/video style.textContent = ' /* Invert everything except media */ html { filter: invert(1) hue-rotate(180deg) !important; background: #1a1a2e !important; } /* Restore images, videos, iframes, canvas */ img, video, iframe, canvas, svg, picture, [style*="background-image"] { filter: invert(1) hue-rotate(180deg) !important; } /* Preserve specific elements that should not be inverted */ .no-dark-mode, .no-dark-mode *, [data-theme="light"], [data-theme="light"], .ace_editor, .ace_editor *, .CodeMirror, .CodeMirror *, .monaco-editor, .monaco-editor *, .markdown-body pre, .markdown-body pre *, .highlight, .highlight *, pre code, pre code * { filter: none !important; } /* Fix common UI elements */ .modal, .popup, .dropdown-menu, .tooltip, .popover { filter: invert(1) hue-rotate(180deg) !important; background: #2d2d44 !important; border-color: #444 !important; } /* Scrollbars */ ::-webkit-scrollbar { background: #1a1a2e !important; } ::-webkit-scrollbar-thumb { background: #444 !important; } ::-webkit-scrollbar-thumb:hover { background: #555 !important; } /* Selection */ ::selection { background: #4ecdc4 !important; color: #1a1a2e !important; } ::-moz-selection { background: #4ecdc4 !important; color: #1a1a2e !important; } '; } function removeDarkMode() { var style = document.getElementById('universal-dark-mode-style'); if (style) style.remove(); } // Toggle with Alt+Shift+D document.addEventListener('keydown', function(e) { if (e.altKey && e.shiftKey && e.key === 'D') { e.preventDefault(); enabled = !enabled; if (enabled) { applyDarkMode(); console.log('[Universal Dark Mode] Enabled'); } else { removeDarkMode(); console.log('[Universal Dark Mode] Disabled'); } } }); // Apply on load applyDarkMode(); // Re-apply on dynamic content var observer = new MutationObserver(function(mutations) { if (enabled && !document.getElementById('universal-dark-mode-style')) { applyDarkMode(); } }); observer.observe(document.head, { childList: true }); console.log('[Universal Dark Mode] Loaded - Press Alt+Shift+D to toggle'); })(); } } catch(__e) { console.warn('[Userscript:Universal Dark Mode]', __e); } })(); })(); Draft: phase-2 signer API by devrandom · Pull Request #723 · lightningdevkit/rust-lightning · GitHub
Skip to content

Draft: phase-2 signer API - #723

Closed
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2
Closed

Draft: phase-2 signer API#723
devrandom wants to merge 2 commits into
lightningdevkit:mainfrom
lightning-signer:phase2

Conversation

@devrandom

Copy link
Copy Markdown
Member

This is an early sketch of a modified signer API for review of the concept.

As previously discussed, we would like to pass in the data elements describing the commitment transaction (and HTLCs) instead of the serialized transaction. This makes it easier to validate and ensure that no aspect of the transaction escaped validation.

Let me know if expanding the sketch is required for meaningful review.

fn sign_holder_commitment<T: secp256k1::Signing + secp256k1::Verification>(&self, holder_commitment_tx: &HolderCommitmentTransaction, secp_ctx: &Secp256k1<T>) -> Result<Signature, ()>;

/// Create a signature for a holder's commitment transaction and attached HTLC transactions.
fn sign_holder_commitment_phase2<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This replaces the previous function.

// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This awkwardness is due to HolderCommitmentTransaction holding counterparty signatures. Not sure what's the best thing here - perhaps separate the signature holding to another struct?

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see why? HolderCommitmentTransaction, indeed, holds too much data today (specifically, the transaction itself), but communicating things like the counterparty signatures and the per htlc values has to be done. eg here the function signature has a ton of fields, that may be usefully just shoved into a struct, and HolderCommitmentTransaction is basically that. (I assume we agree here, just noting that we may end up wanting a struct either way).

/// Returns the transaction, the HTLC descriptions with output index populated
/// and the redeem scripts for the transaction.
/// Note that the redeem scripts are returned for test purposes.
pub fn build_commitment_tx(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this be DRYed with Channel.build_commitment_transaction?

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would def be nice, also so that its a separate, static function which can be used by a simple external signer to implement of the signer interface with one-line calls to pub-static functions.

}

/// Get the transaction number obscure factor
pub fn get_commitment_transaction_number_obscure_factor(

Copy link
Copy Markdown
MemberAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

DRY this with Channel.get_commitment_transaction_number_obscure_factor

Comment threadlightning/src/chain/keysinterface.rs Outdated
@codecov

codecovBot commented Sep 29, 2020

Copy link
Copy Markdown

Codecov Report

Merging #723 into main will increase coverage by 1.46%.
The diff coverage is 17.02%.

Impacted file tree graph

@@ Coverage Diff @@## main #723 +/- ##
==========================================
+ Coverage 91.95% 93.41% +1.46% 
==========================================
Files 36 40 +4 Lines 20200 25867 +5667 ==========================================
+ Hits 18575 24164 +5589 - Misses 1625 1703 +78 
Impacted FilesCoverage Δ
lightning/src/ln/chan_utils.rs97.37% <ø> (ø)
lightning/src/ln/transaction.rs0.00% <0.00%> (ø)
lightning/src/util/enforcing_trait_impls.rs98.76% <50.00%> (ø)
lightning/src/chain/keysinterface.rs94.05% <58.82%> (-2.15%)⬇️
lightning/src/ln/channel.rs89.79% <100.00%> (+3.56%)⬆️
lightning/src/chain/transaction.rs100.00% <0.00%> (ø)
lightning/src/chain/channelmonitor.rs95.07% <0.00%> (ø)
lightning/src/chain/mod.rs100.00% <0.00%> (ø)
lightning/src/chain/chainmonitor.rs100.00% <0.00%> (ø)
... and 9 more

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8640173...05a8af6. Read the comment docs.

@ariardariard left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually we have HolderCommitmentTransaction which is just a blob of channel data without clear distribution of responsibility between Signer, Channel and ChannelMonitor. I think we should reduce/kill HolderCommitmentTransaction and stick per-update state in both Channel/ChannelMonitor. Static channel data should be initialized in Signer as soon as we receive off-chain messages.

When Channel/ChannelMonitor require either a verification or signing operation they call the Signer interface with the accurate per-update state. Signer can construct the commitment/HTLC transactions from data elements and verify/sign. As signer enforces immutability on static channel data, so an implementation can also serve as a commitment tx provider for any ChannelMonitor caller.

That said, if we agree that's where we want to end-up, I think this PR is moving towards the good direction.

Comment threadlightning/src/chain/keysinterface.rs Outdated
Comment threadlightning/src/chain/keysinterface.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
// We provide a dummy signature for the remote, since we don't require that sig
// to be passed in to this call. It would have been better if HolderCommitmentTransaction
// didn't require the remote sig.
let dummy_sig = Secp256k1::new().sign(

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we would like to get ride of HolderCommitmentTransaction. It's API can be enforced either by ChannelMonitor or an external signer implementation like InMemoryChannelKeys.

All dynamic state (balances, HTLCs, ...) would be stored in Channel and the rest assumed to be in signer.

Comment threadlightning/src/ln/chan_utils.rs
Comment threadlightning/src/chain/keysinterface.rs Outdated
pub fn funding_outpoint(&self) -> &OutPoint { self.funding_outpoint.as_ref().unwrap() }

/// Prepare build information for a commitment tx that the holder can broadcast
pub fn build_holder_commitment_tx<T: secp256k1::Signing + secp256k1::Verification>(

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would this need to be in the public interface, or are you imaging this is only a utility function in the InMemory version?

@TheBlueMattTheBlueMatt left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Conceptually looks good, one question but its the right direction.

@devrandom

devrandom commented Oct 5, 2020

Copy link
Copy Markdown
MemberAuthor

So, sign_holder_commitment doesn't take TxCreationKeys in this version. It did before (indirectly, via the holder_commitment_tx). I assume that we still want them based on the dev meeting today? Should I just add it as one of the params for now, until we refactor HolderCommitmentTransaction?

Followup: I did the latter

@devrandom

Copy link
Copy Markdown
MemberAuthor

Superseded by #742

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@devrandom@TheBlueMatt@ariard