rust-lightning
4 years agoFlatten ChannelMonitor substructs that don't add clarity 2020-03-555-nits
Matt Corallo [Sat, 21 Mar 2020 22:29:17 +0000 (18:29 -0400)]
Flatten ChannelMonitor substructs that don't add clarity

The new OnchainDetection struct (which is the remnants of the old
KeyStorage enum, which was removed in 1dbda4faedc33506e63176e6a456)
doesn't really add any clarity to ChannelMonitor, so best to just
drop it and move its members into ChannelMonitor directly.

4 years agoDrop uneccessary clone() introduced in 16fba9fd664522ac8d24111547b4
Matt Corallo [Sat, 21 Mar 2020 22:21:52 +0000 (18:21 -0400)]
Drop uneccessary clone() introduced in 16fba9fd664522ac8d24111547b4

4 years agoMerge pull request #559 from ariard/2020-03-move-local-commitment
Matt Corallo [Sat, 18 Apr 2020 00:05:11 +0000 (00:05 +0000)]
Merge pull request #559 from ariard/2020-03-move-local-commitment

Split parsing and transaction management for local transactions between Chanmon/Onchain

4 years agoAdd test_update_err_monitor_lockdown
Antoine Riard [Wed, 8 Apr 2020 01:07:55 +0000 (21:07 -0400)]
Add test_update_err_monitor_lockdown

This test tries the new lockdown logic in case of a signed-and-broadcast
local commitment transaction while a concurrent ChannelMonitorUpdate for
a next _local_ commitment is submitted from offchain. Update is rejected
as expected with a ChannelMonitorUpdateErr.

4 years agoMonitor should panic on receiving buggy update sequences
Antoine Riard [Mon, 6 Apr 2020 22:54:45 +0000 (18:54 -0400)]
Monitor should panic on receiving buggy update sequences

Channel shouldn't send a ChannelForceClosed update followed by
a LatestLocalCommitmentTxInfo as it would be a programming error
leading to risk of money loss. Force-closing the channel will
broadcast the local commitment transaction, if the revocation
secret for this one is released after its broadcast, it would
allow remote party to claim outputs on this transaction using
the revocation path.

4 years agoMake acces and signature of local commitment transaction unique
Antoine Riard [Mon, 6 Apr 2020 22:32:57 +0000 (18:32 -0400)]
Make acces and signature of local commitment transaction unique

Local commitment transaction broadcast can be triggered by a)
a Channel force-close or b) reaching some block height implying
a onchain HTLC-timeout. If one of this condition is fulfilled,
commitment is signed and from then any state update would be
rejected.

ChannelMonitor init at Channel creation need to be refactored
before to make get_fully_signed_local_tx infaillible to avoid
choking in the test framework.

4 years agoRemove temporary anti-duplicata logic
Antoine Riard [Mon, 9 Mar 2020 23:56:42 +0000 (19:56 -0400)]
Remove temporary anti-duplicata logic

4 years agoMove HTLC tx generation in OnchainTxHandler
Antoine Riard [Mon, 9 Mar 2020 22:15:35 +0000 (18:15 -0400)]
Move HTLC tx generation in OnchainTxHandler

HTLC Transaction can't be bumped without sighash changes
so their gneeration is one-time for nwo. We move them in
OnchainTxHandler for simplifying ChannelMonitor and to prepare
storage of keys material behind one external signer interface.

Some tests break due to change in transaction broadcaster order.
Number of transactions may vary because of temporary anti-duplicata
tweak can't dissociate between 2- broadcast from different
origins (ChannelMonitor, ChannelManager) and 2-broadcast from same
component.

4 years agoAdd OnchainTxHandler::get_fully_signed_htlc
Antoine Riard [Mon, 23 Mar 2020 05:30:48 +0000 (01:30 -0400)]
Add OnchainTxHandler::get_fully_signed_htlc

In case of channel force-closure, access to local commitment
transactions and its dependent HTLCs is needed. Instead of using
broadcast_by_local_state which registers outpoint to claim and
outputs to watch which are going to be discarded in this case,
we simply ask OnchainTxHandler to build and sign HTLC transactions
through new API.

4 years agoCache csv_local inside OnchainTxHandler
Antoine Riard [Mon, 23 Mar 2020 05:36:37 +0000 (01:36 -0400)]
Cache csv_local inside OnchainTxHandler

csv_local is csv_delay encumbering local revokable_redeemscript
for to_local an htlc output on local commitment/HTLC transactions.

4 years agoCache per-HTLC data in OnchainTxHandler::HTLCTxCache
Antoine Riard [Sat, 21 Mar 2020 22:52:00 +0000 (18:52 -0400)]
Cache per-HTLC data in OnchainTxHandler::HTLCTxCache

Splitting further parsing from transaction generation, we cache
transaction elements needed for local HTLC transaction inside
OnchainTxHandler. Duplicated data will be removed from ChannelMonitor
in future commits.

4 years agoCache HTLC transaction material inside OnchainTxHandler
Antoine Riard [Tue, 7 Apr 2020 22:46:14 +0000 (18:46 -0400)]
Cache HTLC transaction material inside OnchainTxHandler

Splitting further parsing from transaction generation, we cache
transaction elements needed for local HTLC transaction inside
OnchainTxHandler. Duplicated data will be removed from ChannelMonitor
in future commits.

4 years agoRemove signing htlc transaction from ChannelMonitor
Antoine Riard [Sat, 21 Mar 2020 19:39:19 +0000 (15:39 -0400)]
Remove signing htlc transaction from ChannelMonitor

Extend external signer interface to sign HTLC transactions on its
behalf without seckey passing. This move will allow us to remove
key access access from ChannelMonitor hot memory in further work.

HTLC transactions should stay half-signed by remote until
we need to broadcast them for timing-out/claiming HTLCs onchain.

4 years agoRemove per_input_material introduce in commit 0011713
Antoine Riard [Sat, 21 Mar 2020 19:48:11 +0000 (15:48 -0400)]
Remove per_input_material introduce in commit 0011713

Caching of input material for HTLC transaction was introducted
prevently but since then API (InputMaterial) has changed
between ChannelMonitor and OnchainTxHandler

4 years agoAccess signed local commitment through OnchainTxHandler
Antoine Riard [Sat, 21 Mar 2020 02:41:12 +0000 (22:41 -0400)]
Access signed local commitment through OnchainTxHandler

Implementing dynamic fee bumping implied to cache transaction material
including its witness, to generate a bumped version if needed.

ChannelMonitor is slowly rescoped to its parsing function with ongoing
patchset and data duplicata are removed. If signed local commitment tx
access is needed, it's done through OnchainTxHandler extended API

For test framework purpose, we use the test-only method
ChannelMonitor::unsafe_get_latest_local_commitment_txn to intentionally
generate unsafe local commitment to exerce revocation logic.

4 years agoCache current local commitment number in ChannelMonitor.
Antoine Riard [Tue, 24 Mar 2020 23:26:28 +0000 (19:26 -0400)]
Cache current local commitment number in ChannelMonitor.

By caching current local commitment number instead of deciphering
it from local commitment tx, we may remove local commitment tx
from ChannelMonitor in next commit.

4 years agoMove local commitment tx generation in OnchainTxHandler
Antoine Riard [Tue, 3 Mar 2020 23:51:50 +0000 (18:51 -0500)]
Move local commitment tx generation in OnchainTxHandler

Local Commitment Transaction can't be bumped without anchor outputs
so their generation is one-time for now. We move them in
OnchainTxHandler for simplifying ChannelMonitor and to prepare
storage of keys material behind one external signer interface.

Some tests break due to change in transaction broadcast order but
number of transactions broadcast should stay the same.

4 years agoPrevent any update of local commitment transaction once signed
Antoine Riard [Fri, 27 Mar 2020 21:53:52 +0000 (17:53 -0400)]
Prevent any update of local commitment transaction once signed

To prevent any unsafe state discrepancy between offchain and onchain,
once local commitment transaction has been signed due to an event
(either block height for HTLC-timeout or channel force-closure), don't
allow any further update of local commitment transaction view
to avoid delivery of revocation secret to counterparty for the
aformentionned signed transaction.

4 years agoCache local_commitment_tx in OnchainTxHandler
Antoine Riard [Sat, 21 Mar 2020 00:26:23 +0000 (20:26 -0400)]
Cache local_commitment_tx in OnchainTxHandler

As transaction generation and signature is headed to be moved
inside OnchainTxHandler, cache local_commitment_tx signed by remote.

If access to local commitment transaction is needed, we extend Onchain
TxHandler API to do so.

4 years agoCache funding_redeemscript in OnchainTxHandler
Antoine Riard [Sat, 21 Mar 2020 00:06:13 +0000 (20:06 -0400)]
Cache funding_redeemscript in OnchainTxHandler

As transaction generation and signature is headed to be moved
inside OnchainTxHandler, cache any usefule witness element.

4 years agoRemove duplicata for local commitment+HTLC txn
Antoine Riard [Tue, 3 Mar 2020 22:35:36 +0000 (17:35 -0500)]
Remove duplicata for local commitment+HTLC txn

Previously, we would regenerate this class of txn twice due to
block-rescan triggered by new watching outputs registered.

This commmit doesn't change behavior, it only tweaks TestBroadcaster
to ensure we modify cleanly tests anticipating next commit
refactor.

4 years agoMerge pull request #589 from jkczyz/2020-04-feature-fixes
Matt Corallo [Fri, 17 Apr 2020 20:03:06 +0000 (20:03 +0000)]
Merge pull request #589 from jkczyz/2020-04-feature-fixes

Missing feature checks and tests

4 years agoAdd missing known features in constructor
Jeffrey Czyz [Thu, 16 Apr 2020 02:29:20 +0000 (19:29 -0700)]
Add missing known features in constructor

PaymentSecret and BasicMPP were added in d39f25839ad9ff5e2a0e1dd8919e991828d1bf35
but were not accounted for in with_known_relevant_init_flags.

4 years agoRemove signing local commitment transaction from ChannelMonitor
Antoine Riard [Fri, 20 Mar 2020 22:04:01 +0000 (18:04 -0400)]
Remove signing local commitment transaction from ChannelMonitor

Extend external signer interface to sign local commitment transactions
on its behalf without seckey passing. This move will allow us to remove
key access from ChannelMonitor hot memory in further work.

Local commitment transaction should stay half-signed by remote until
we need to broadcast for a channel force-close or a HTLC to timeout onchain.

Add an unsafe test-only version of sign_local_commitment to fulfill our
test_framework needs.

4 years agoAdd missing feature sanity checks
Jeffrey Czyz [Thu, 16 Apr 2020 01:21:29 +0000 (18:21 -0700)]
Add missing feature sanity checks

PaymentSecret and BasicMPP were added in d39f25839ad9ff5e2a0e1dd8919e991828d1bf35
but the sanity test for supported features was missed.

4 years agoMerge pull request #441 from TheBlueMatt/2020-01-mpp
Matt Corallo [Wed, 15 Apr 2020 01:36:44 +0000 (01:36 +0000)]
Merge pull request #441 from TheBlueMatt/2020-01-mpp

Multi-Path Payments

4 years agoPass Route to send_payment as a reference, not move 2020-01-mpp
Matt Corallo [Tue, 7 Apr 2020 17:36:58 +0000 (13:36 -0400)]
Pass Route to send_payment as a reference, not move

ChannelManager::send_payment stopped utilizing its ownership of the
Route with MPP (which, for readability, now clone()s the individual
paths when creating HTLCSource::OutboundRoute objects). While this
isn't ideal, it likely also makes sense to ensure that the user has
access to the Route after sending to correlate individual path
failures with the paths in the route or, in the future, retry
individual paths.

Thus, the easiest solution is to just take the Route by reference,
allowing the user to retain ownership.

4 years agopanic!() when serializing OnionHopDatas with value > 21m BTC
Matt Corallo [Sat, 21 Mar 2020 22:49:30 +0000 (18:49 -0400)]
panic!() when serializing OnionHopDatas with value > 21m BTC

Add documentation to the struct fields noting this to avoid missing
docs when various msg structs become public.

4 years agoTest basic AMP payments in chanmon_consistency
Matt Corallo [Fri, 10 Jan 2020 22:24:33 +0000 (17:24 -0500)]
Test basic AMP payments in chanmon_consistency

4 years agoRefactor test utils and add a simple MPP send/claim test.
Matt Corallo [Tue, 7 Jan 2020 01:30:08 +0000 (20:30 -0500)]
Refactor test utils and add a simple MPP send/claim test.

4 years agoImplement multipath sends using payment_secret.
Matt Corallo [Tue, 7 Jan 2020 01:29:33 +0000 (20:29 -0500)]
Implement multipath sends using payment_secret.

This rather dramatically changes the return type of send_payment
making it much clearer when resending is safe and allowing us to
return a list of Results since different paths may have different
return values.

4 years agoRefactor payment-claim logic to ensure MPP-claim atomicity
Matt Corallo [Mon, 30 Mar 2020 20:24:19 +0000 (16:24 -0400)]
Refactor payment-claim logic to ensure MPP-claim atomicity

Previously if we claimed an MPP where a previous-hop channel was
closed while we were waitng for the user to provide us the preimage
we'd simply skip claiming that HTLC without letting the user know.

This refactors the claim logic to first check that all the channels
are still available (which is actually all we need - we really
mostly care about updating the channel monitors, not the channels
themselves) and then claim the HTLCs in the same lock, ensuring
atomicity.

4 years agoExpand the Route object to include multiple paths.
Matt Corallo [Sat, 4 Jan 2020 00:31:40 +0000 (19:31 -0500)]
Expand the Route object to include multiple paths.

Rather big diff, but its all mechanical and doesn't introduce any
new features.

4 years agoAdd/announce features for payment_secret and basic_mpp
Matt Corallo [Wed, 15 Jan 2020 04:31:21 +0000 (23:31 -0500)]
Add/announce features for payment_secret and basic_mpp

4 years agoImpl Base AMP in the receive pipeline and expose payment_secret
Matt Corallo [Thu, 2 Jan 2020 06:23:48 +0000 (01:23 -0500)]
Impl Base AMP in the receive pipeline and expose payment_secret

Base AMP is centered around the concept of a 'payment_secret` - an
opaque 32-byte random string which is used to authenticate the
sender to the recipient as well as tie the various HTLCs which
make up one payment together. This new field gets exposed in a
number of places, though sadly only as an Option for backwards
compatibility when sending to a receiver/receiving from a sender
which does not support Base AMP.

Sadly a huge diff here, but almost all of it is changing the method
signatures for sending/receiving/failing HTLCs and the
PaymentReceived event, which all now need to expose an
Option<[u8; 32]> for the payment_secret.

It doesn't yet properly fail back pending HTLCs when the full AMP
payment is never received (which should result in accidental
channel force-closures). Further, as sending AMP payments is not
yet supported, the only test here is a simple single-path payment
with a payment_secret in it.

4 years agoRefuse to deserialize OnionHopDatas with values > 21 million
Matt Corallo [Thu, 2 Jan 2020 02:13:48 +0000 (21:13 -0500)]
Refuse to deserialize OnionHopDatas with values > 21 million

We should probably do this for all values (and define a newtype
for msat values), but this will do for now.

4 years agoSupport (de)serializing payment_data in onion TLVs and track them
Matt Corallo [Thu, 2 Jan 2020 01:20:42 +0000 (20:20 -0500)]
Support (de)serializing payment_data in onion TLVs and track them

This is the first step in Base AMP support, just tracking the
relevant data in internal datastructures.

4 years agoSplit only-receive/forward data out of PendingHTLCInfo into an enum
Matt Corallo [Wed, 1 Jan 2020 22:39:51 +0000 (17:39 -0500)]
Split only-receive/forward data out of PendingHTLCInfo into an enum

This should avoid blowing up the size of the struct when we add
additional data that is only relevant for receive.

4 years agoMerge pull request #582 from arik-so/trailing_newline_config
Matt Corallo [Sat, 11 Apr 2020 20:28:26 +0000 (20:28 +0000)]
Merge pull request #582 from arik-so/trailing_newline_config

Mandate new line at end of file in editorconfig.

4 years agoMandate new line at end of file in editorconfig.
Arik Sosman [Sat, 11 Apr 2020 18:33:07 +0000 (11:33 -0700)]
Mandate new line at end of file in editorconfig.

4 years agoMerge pull request #570 from naumenkogs/2020_04_routing_message_handler_tests
Matt Corallo [Sat, 11 Apr 2020 18:31:00 +0000 (18:31 +0000)]
Merge pull request #570 from naumenkogs/2020_04_routing_message_handler_tests

Add tests for routing message handler

4 years agoAdd tests for getting node announcements
User [Mon, 6 Apr 2020 23:28:17 +0000 (19:28 -0400)]
Add tests for getting node announcements

4 years agoAdd tests for getting next channel announcements
User [Mon, 6 Apr 2020 21:47:14 +0000 (17:47 -0400)]
Add tests for getting next channel announcements

4 years agoAdd tests for handling htlc fail channel updates
User [Mon, 6 Apr 2020 23:25:02 +0000 (19:25 -0400)]
Add tests for handling htlc fail channel updates

4 years agoAdd tests for handling channel updates
User [Mon, 6 Apr 2020 23:23:43 +0000 (19:23 -0400)]
Add tests for handling channel updates

4 years agoAdd tests for handling channel announcements
User [Mon, 6 Apr 2020 23:21:14 +0000 (19:21 -0400)]
Add tests for handling channel announcements

4 years agoAllow relaying of only one direction in a channel, log on recv
Matt Corallo [Mon, 24 Feb 2020 18:18:50 +0000 (13:18 -0500)]
Allow relaying of only one direction in a channel, log on recv

4 years agoAdd tests for handling node announcements
User [Thu, 2 Apr 2020 18:52:14 +0000 (14:52 -0400)]
Add tests for handling node announcements

4 years agoMerge pull request #581 from arik-so/fuzz_docs
Matt Corallo [Sat, 11 Apr 2020 03:10:58 +0000 (03:10 +0000)]
Merge pull request #581 from arik-so/fuzz_docs

Create docs for fuzzing

4 years agoUpdate documentation to reflect target-dependent local reproduction steps.
Arik Sosman [Sat, 11 Apr 2020 00:15:12 +0000 (17:15 -0700)]
Update documentation to reflect target-dependent local reproduction steps.

4 years agoAdd details on asserting latest version in the dependencies and listing targets.
Arik Sosman [Fri, 10 Apr 2020 18:22:46 +0000 (11:22 -0700)]
Add details on asserting latest version in the dependencies and listing targets.

4 years agoCreate docs for fuzzing
Arik Sosman [Fri, 10 Apr 2020 08:28:45 +0000 (01:28 -0700)]
Create docs for fuzzing

4 years agoMerge pull request #571 from ariard/2020-04-fix-minimalif
Matt Corallo [Fri, 3 Apr 2020 16:15:27 +0000 (16:15 +0000)]
Merge pull request #571 from ariard/2020-04-fix-minimalif

Enforce MINIMALIF-compliant witnesses

4 years agoEnforce MINIMALIF-compliant witness for spending revokable redeemscript
Antoine Riard [Thu, 2 Apr 2020 21:13:13 +0000 (17:13 -0400)]
Enforce MINIMALIF-compliant witness for spending revokable redeemscript

4 years agoEnforce MINIMALIF-compliant witness for timeout tx
Antoine Riard [Thu, 2 Apr 2020 21:10:35 +0000 (17:10 -0400)]
Enforce MINIMALIF-compliant witness for timeout tx

4 years agoMerge pull request #568 from jkczyz/2020-03-handle-error-deadlock
Matt Corallo [Thu, 2 Apr 2020 20:06:00 +0000 (20:06 +0000)]
Merge pull request #568 from jkczyz/2020-03-handle-error-deadlock

Fix deadlock in ChannelManager's handle_error!()

4 years agoTest failing backward any pending HTLCs
Jeffrey Czyz [Fri, 27 Mar 2020 23:46:57 +0000 (16:46 -0700)]
Test failing backward any pending HTLCs

Upon channel failure, any pending HTLCs in a channel's holding cell must
be failed backward. The added test exercises this behavior and
demonstrates a deadlock triggered within the handle_error!() macro. The
deadlock occurs when the channel_state lock is already held and then
reacquired when finish_force_close_channel() is called.

4 years agoFix deadlock in handle_error!() when we have HTLCs to fail-back.
Matt Corallo [Mon, 13 Jan 2020 21:10:30 +0000 (16:10 -0500)]
Fix deadlock in handle_error!() when we have HTLCs to fail-back.

This partially reverts 933ae3470309f21ef7537ffbcdc42070d60e1e74,
though note that 933ae3470309f21ef7537ffbcdc42070d60e1e74 fixed a
similar deadlock while introducing this one.

If we have HTLCs to fail backwards, handle_error!() will call
finish_force_close_channel() which will attempt to lock channel_state
while it is locked at the original caller. Instead, hold the lock for
shorter scopes such that it is not held upon entering handle_error!().

Co-authored-by: Matt Corallo <git@bluematt.me>
Co-authored-by: Jeffrey Czyz <jkczyz@gmail.com>
4 years agoMerge pull request #556 from valentinewallace/add-PR550-test
Matt Corallo [Fri, 27 Mar 2020 20:27:15 +0000 (20:27 +0000)]
Merge pull request #556 from valentinewallace/add-PR550-test

Test that do_attempt_write_data does not infinitely loop

4 years agoTest that do_attempt_write_data does not infinitely loop
Valentine Wallace [Fri, 20 Mar 2020 22:42:02 +0000 (18:42 -0400)]
Test that do_attempt_write_data does not infinitely loop
when all the channel messages can't fit into the buffer.

Adds a test for PR #550.

4 years agoFix initial outbound sync infinite loop
Matt Corallo [Sun, 23 Feb 2020 23:04:03 +0000 (18:04 -0500)]
Fix initial outbound sync infinite loop

4 years agoMerge pull request #555 from ariard/2020-03-begin-dryup-chanmon-keys
Matt Corallo [Sat, 21 Mar 2020 22:21:38 +0000 (22:21 +0000)]
Merge pull request #555 from ariard/2020-03-begin-dryup-chanmon-keys

Begin dry-up ChannelMonitor key access

4 years agoRemove useless local commitment txn signatures
Antoine Riard [Fri, 20 Mar 2020 20:58:13 +0000 (16:58 -0400)]
Remove useless local commitment txn signatures

check_spend_local_transaction is tasked with detection of
onchain local commitment transaction and generate HTLC transaction.
Signing an already onchain tx isn't necessary.

4 years agoDryup SecretKey from ChannelMonitor::OnchainDetection
Antoine Riard [Sat, 21 Mar 2020 18:26:58 +0000 (14:26 -0400)]
Dryup SecretKey from ChannelMonitor::OnchainDetection

Key access is provided through ChanSigner.

4 years agoAdd ChanSigner in OnchainTxHandler
Antoine Riard [Wed, 18 Mar 2020 04:29:26 +0000 (00:29 -0400)]
Add ChanSigner in OnchainTxHandler

Rename ChannelMonitor::Storage to OnchainDetection,
holder of channel state (base_key+per_commitment_point)
to detect onchain transactions accordingly.

Going further between splitting detection and transaction
generation, we endow OnchainTxHandler with keys access.
That way, in latter commits, we may remove secret keys entirely
from ChannelMonitor.

4 years agoMerge pull request #557 from ariard/2020-03-link-arch-md
Matt Corallo [Sat, 21 Mar 2020 19:10:26 +0000 (19:10 +0000)]
Merge pull request #557 from ariard/2020-03-link-arch-md

Link ARCH.md in README.md

4 years agoLink ARCH.md in README.md
Antoine Riard [Sat, 21 Mar 2020 03:13:37 +0000 (23:13 -0400)]
Link ARCH.md in README.md

4 years agoMerge pull request #516 from TheBlueMatt/2020-02-checkin-arch
Matt Corallo [Sat, 21 Mar 2020 01:50:53 +0000 (01:50 +0000)]
Merge pull request #516 from TheBlueMatt/2020-02-checkin-arch

Add some basic arch diagrams/descriptions.

4 years agoAdd some basic arch diagrams/descriptions. 2020-02-checkin-arch
Matt Corallo [Tue, 25 Feb 2020 20:57:58 +0000 (15:57 -0500)]
Add some basic arch diagrams/descriptions.

4 years agoMerge pull request #554 from TheBlueMatt/2020-03-stale-mon-fail-man-deser
Matt Corallo [Fri, 20 Mar 2020 23:58:51 +0000 (23:58 +0000)]
Merge pull request #554 from TheBlueMatt/2020-03-stale-mon-fail-man-deser

Fail to deserialize ChannelManager if it is ahead of any monitor(s)

4 years agoRemove Watchtower mode from Storage enum and make it a struct
Antoine Riard [Wed, 18 Mar 2020 05:15:28 +0000 (01:15 -0400)]
Remove Watchtower mode from Storage enum and make it a struct

Watchtower will be supported through external signer interface
where a watchtower implementation may differ from a local one
by the scope of key access and pre-signed datas.

4 years agoMerge pull request #552 from ariard/2020-03-ismine-spendable
Matt Corallo [Fri, 20 Mar 2020 19:09:10 +0000 (19:09 +0000)]
Merge pull request #552 from ariard/2020-03-ismine-spendable

Introduce IsMine logic in ChannelMonitor for SpendableOutputDescriptor detection

4 years agoAdd test_static_spendable_outputs_timeout_tx
Antoine Riard [Tue, 3 Mar 2020 19:43:09 +0000 (14:43 -0500)]
Add test_static_spendable_outputs_timeout_tx

Cover previously missing SpendableOuputDescriptor for
timeout tx on non-revoked remote commitment tx.

Fix #338

4 years agoTest that ChannelManager fails to deserialize if monitors are stale 2020-03-stale-mon-fail-man-deser
Matt Corallo [Fri, 20 Mar 2020 01:31:18 +0000 (21:31 -0400)]
Test that ChannelManager fails to deserialize if monitors are stale

4 years agoFail to deserialize ChannelManager if it is ahead of any monitor(s)
Matt Corallo [Thu, 19 Mar 2020 23:15:06 +0000 (19:15 -0400)]
Fail to deserialize ChannelManager if it is ahead of any monitor(s)

If any monitors are out of sync with the Channel, we previously
closed the channel, but we should really only do that if the
monitor is ahead of the channel, opting to call the whole thing
invalid if the channel is ahead of the monitor.

4 years agoImplement reorg-safety for SpendableOutputDescriptor detection
Antoine Riard [Thu, 19 Mar 2020 00:58:05 +0000 (20:58 -0400)]
Implement reorg-safety for SpendableOutputDescriptor detection

We delay SpendableOutputDescriptor until reaching ANTI_REORG_DELAY
to avoid misleading user wallet in case of reorg and alternative
settlement on a channel output.

Fix tests in consequence.

4 years agoMove SpendableOutputDescriptor for closing tx in
Antoine Riard [Thu, 19 Mar 2020 01:39:28 +0000 (21:39 -0400)]
Move SpendableOutputDescriptor for closing tx in
is_paying_spendable_output

Add ChannelMonitor::shutdown_script to detect onchain tx
paying back to us

4 years agoMove SpendableOutputDescriptor::DynamicOutputP2WPKH in
Antoine Riard [Wed, 18 Mar 2020 22:02:31 +0000 (18:02 -0400)]
Move SpendableOutputDescriptor::DynamicOutputP2WPKH in
is_paying_spendable_output

Add ChannelMonitor::broadcasted_remote_payment_script to detect
onchain remote txn paying back to us.

4 years agoMove SpendableOutputDescirptor::DynamicOutputP2WSH in
Antoine Riard [Wed, 18 Mar 2020 21:57:29 +0000 (17:57 -0400)]
Move SpendableOutputDescirptor::DynamicOutputP2WSH in
is_paying_spendable_output

Add ChannelMonitor::broadcasted_local_revokable_script to detect
onchain local txn paying back to us.

Fix tests in consequence

4 years agoIntroduce ChannelMonitor::is_paying_spendable_output
Antoine Riard [Wed, 18 Mar 2020 20:56:32 +0000 (16:56 -0400)]
Introduce ChannelMonitor::is_paying_spendable_output

Previously, we would generate SpendableOutputDescriptor::StaticOutput
in OnchainTxHandler even if our claiming transaction wouldn't confirm
onchain, misbehaving user wallet to think it receives more funds than
in reality.

Fix tests in consequence

4 years agoAdd logger for SpendableOutputDescriptor
Antoine Riard [Tue, 3 Mar 2020 19:41:13 +0000 (14:41 -0500)]
Add logger for SpendableOutputDescriptor

4 years agoMerge pull request #551 from TheBlueMatt/2020-03-no-chan-mon
Matt Corallo [Fri, 20 Mar 2020 00:22:11 +0000 (00:22 +0000)]
Merge pull request #551 from TheBlueMatt/2020-03-no-chan-mon

Generate latest local commitment transactions via monitor avoiding Channel's copy

4 years agoFetch latest commitment txn via monitor, not channel in test 2020-03-no-chan-mon
Matt Corallo [Thu, 19 Mar 2020 01:37:09 +0000 (21:37 -0400)]
Fetch latest commitment txn via monitor, not channel in test

Eventually, we want to remove the Channel's copy of its own
ChannelMonitor, reducing memory footprint and complexity of
ChannelManager greatly.

This removes the last uses of said ChannelMonitor for latest
local commitment transactions (though it is still used for
would_broadcast_at_height(), which is the last remaining use).

4 years agoFetch latest local commitment txn via a macro in tests
Matt Corallo [Thu, 19 Mar 2020 01:30:34 +0000 (21:30 -0400)]
Fetch latest local commitment txn via a macro in tests

This makes it easier to swap out how we fetch the latest local
commitment txn in testing (which we use to check or broadcast old
states).

4 years agoBroadcast final local txn via ChannelMonitorUpdate
Matt Corallo [Wed, 18 Mar 2020 20:30:05 +0000 (16:30 -0400)]
Broadcast final local txn via ChannelMonitorUpdate

4 years agoDeduplicate HTLC preimage events from channelmonitor.
Matt Corallo [Thu, 19 Mar 2020 22:16:07 +0000 (18:16 -0400)]
Deduplicate HTLC preimage events from channelmonitor.

This avoids calling get_update_fulfill_htlc_and_commit twice for
the same HTLC if we have to rescan a block.

4 years agoRemove bogus mon_update_id += 1 fulfilling already-fulfilled HTLCs
Matt Corallo [Thu, 19 Mar 2020 01:10:22 +0000 (21:10 -0400)]
Remove bogus mon_update_id += 1 fulfilling already-fulfilled HTLCs

If we call get_update_fulfill_htlc (in this case via
ChannelManager::claim_funds_internal ->
Channel::get_update_fulfill_htlc_and_commit) and it finds that we
already have a holding-cell pending HTLC claim, it will return no
monitor update but leave latest_monitor_update_id incremented.

If we later go and add a new monitor update we'll panic as the
updates appear to have been applied out-of-order.

4 years agoMerge pull request #547 from valentinewallace/add-PR539-test
Matt Corallo [Thu, 19 Mar 2020 02:52:40 +0000 (02:52 +0000)]
Merge pull request #547 from valentinewallace/add-PR539-test

Verify commitment point on ChannelReestablish (no updates case).

4 years agoVerify commitment point on ChannelReestablish (no updates case).
Valentine Wallace [Tue, 17 Mar 2020 23:54:16 +0000 (19:54 -0400)]
Verify commitment point on ChannelReestablish (no updates case).

Adds a test for PR #537.

4 years agoMerge pull request #537 from TheBlueMatt/2020-03-data-loss-spec-550
Matt Corallo [Tue, 17 Mar 2020 18:49:06 +0000 (18:49 +0000)]
Merge pull request #537 from TheBlueMatt/2020-03-data-loss-spec-550

Update pre-HTLC DataLossProtect to match new spec changes

4 years agoMerge pull request #546 from TheBlueMatt/2020-03-519-nits
Matt Corallo [Tue, 17 Mar 2020 18:47:48 +0000 (18:47 +0000)]
Merge pull request #546 from TheBlueMatt/2020-03-519-nits

Watch revoked HTLC-Success/Timeout outputs

4 years agoAdd more logs in OnchainTxHandler 2020-03-519-nits
Antoine Riard [Wed, 26 Feb 2020 23:21:53 +0000 (18:21 -0500)]
Add more logs in OnchainTxHandler

4 years agoWatch outputs of revoked HTLC-transactions
Antoine Riard [Wed, 26 Feb 2020 23:18:27 +0000 (18:18 -0500)]
Watch outputs of revoked HTLC-transactions

Bumping of justice txn on revoked HTLC-Success/HTLC-timeout is triggered
until our claim is confirmed onchain with at least
ANTI_REORG_DELAY_SAFE. Before this patch, we weren't tracking them in
check_spend_remote_htlc, leading us to infinite bumps.

Fix #411

Small fixes by Matt Corallo <git@bluematt.me>

4 years agoFix duplicata of adjusted justice tx generation in OnchainTxHandler
Antoine Riard [Wed, 11 Mar 2020 19:10:29 +0000 (15:10 -0400)]
Fix duplicata of adjusted justice tx generation in OnchainTxHandler

Adjusted tx occurs when a previous aggregated claim tx has
seen one of its outpoint being partially claimed by a remote tx.
To pursue claiming of the remaining outpoint a adjusted claim tx
is generated  with leftover of claimable outpoints.

Previously, in case of block-rescan where a partial claim occurs,
we would generate duplicated adjusted tx, wrongly inflating feerate
for next bumps. At rescan, if input has already been dropped from
outpoints map from a claiming request, don't regenerate again
a adjuste tx.

4 years agoMerge pull request #545 from TheBlueMatt/2020-03-fuzz-0-fee
Matt Corallo [Tue, 17 Mar 2020 18:01:06 +0000 (18:01 +0000)]
Merge pull request #545 from TheBlueMatt/2020-03-fuzz-0-fee

Don't return a feerate of 0 in full_stack_target fuzz on EOF

4 years agoMerge pull request #544 from TheBlueMatt/2020-03-fix-mon-ser
Matt Corallo [Tue, 17 Mar 2020 17:59:22 +0000 (17:59 +0000)]
Merge pull request #544 from TheBlueMatt/2020-03-fix-mon-ser

Fix ChannelMonitor round-trip introduced by 3d640da5c343111f538f006

4 years agoDon't return a feerate of 0 in full_stack_target fuzz on EOF 2020-03-fuzz-0-fee
Matt Corallo [Tue, 17 Mar 2020 02:05:57 +0000 (22:05 -0400)]
Don't return a feerate of 0 in full_stack_target fuzz on EOF

This triggered a (legitimate) panic in OnChainTxHandler that the
feerate in use was non-0, which is required by the feerate API.

4 years agoFix ChannelMonitor round-trip introduced by 3d640da5c343111f538f006 2020-03-fix-mon-ser
Matt Corallo [Mon, 16 Mar 2020 23:01:17 +0000 (19:01 -0400)]
Fix ChannelMonitor round-trip introduced by 3d640da5c343111f538f006

3d640da5c343111f538f006996c13c9a98e0d9e6 changed the indexes for
some enums in ChannelMonitor deserialization but not serialization.
Thus, the chanmon_deser_target fuzz target failed on travis on at
least one PR.

4 years agoMerge pull request #543 from TheBlueMatt/2020-03-513-warning
Matt Corallo [Mon, 16 Mar 2020 20:23:37 +0000 (20:23 +0000)]
Merge pull request #543 from TheBlueMatt/2020-03-513-warning

Add missing unwrap() in tests introduced in 4abfd515e554bef90c25dbe

4 years agoAdd missing unwrap() in tests introduced in 4abfd515e554bef90c25dbe 2020-03-513-warning
Matt Corallo [Wed, 11 Mar 2020 20:10:01 +0000 (16:10 -0400)]
Add missing unwrap() in tests introduced in 4abfd515e554bef90c25dbe