rust-lightning
4 years agoAdd comment describing how ChannelMonitor::block_connected is called 2020-01-monitor-reload-watch
Matt Corallo [Mon, 10 Feb 2020 22:44:56 +0000 (17:44 -0500)]
Add comment describing how ChannelMonitor::block_connected is called

4 years agoTest that we don't forget to track any outputs at monitor-load
Matt Corallo [Tue, 21 Jan 2020 03:13:44 +0000 (22:13 -0500)]
Test that we don't forget to track any outputs at monitor-load

This tests, after each functional test, that if we serialize and
reload all of our ChannelMonitors we end up tracking the same set
of outputs as before.

4 years agoTrack the full list of outpoints a chanmon wants monitoring for.
Matt Corallo [Tue, 21 Jan 2020 03:05:29 +0000 (22:05 -0500)]
Track the full list of outpoints a chanmon wants monitoring for.

Upon deserialization/reload we need to be able to register each
outpoint which spends the commitment txo which a channelmonitor
believes to be on chain. While our other internal tracking is
likely sufficient to regenerate these, its much easier to simply
track all outpouts we've ever generated, so we do that here.

4 years agoMerge pull request #440 from TheBlueMatt/2020-01-feature-sanity
Matt Corallo [Mon, 17 Feb 2020 23:47:06 +0000 (23:47 +0000)]
Merge pull request #440 from TheBlueMatt/2020-01-feature-sanity

Fix a bug in required feature checks

4 years agoMerge pull request #499 from moneyball/patch-1
Matt Corallo [Mon, 17 Feb 2020 20:06:11 +0000 (20:06 +0000)]
Merge pull request #499 from moneyball/patch-1

add clarity to the language

4 years agofixes per rloomba feedback
Steve Lee [Sat, 15 Feb 2020 19:45:11 +0000 (11:45 -0800)]
fixes per rloomba feedback

4 years agoMerge pull request #501 from TheBlueMatt/2020-02-rescan-clarify
Matt Corallo [Sat, 15 Feb 2020 01:36:56 +0000 (01:36 +0000)]
Merge pull request #501 from TheBlueMatt/2020-02-rescan-clarify

Clarify rescan rules for block_connected somewhat

4 years agofixes per arik feedback
Steve Lee [Fri, 14 Feb 2020 02:43:58 +0000 (18:43 -0800)]
fixes per arik feedback

4 years agoClarify rescan rules for block_connected somewhat 2020-02-rescan-clarify
Matt Corallo [Thu, 13 Feb 2020 17:55:44 +0000 (12:55 -0500)]
Clarify rescan rules for block_connected somewhat

4 years agoadd clarity to the language
Steve Lee [Thu, 13 Feb 2020 03:36:08 +0000 (19:36 -0800)]
add clarity to the language

4 years agoAdd some basic sanity tests for feature flags 2020-01-feature-sanity
Matt Corallo [Tue, 7 Jan 2020 18:58:50 +0000 (13:58 -0500)]
Add some basic sanity tests for feature flags

4 years agoAvoid treating option_upfront_shutdown (req) as unknown_required.
Matt Corallo [Tue, 7 Jan 2020 02:50:55 +0000 (21:50 -0500)]
Avoid treating option_upfront_shutdown (req) as unknown_required.

This fixes the bitmask in requires_unknown_bits.

4 years agoMerge pull request #470 from ariard/2020-01-contributing-draft
Matt Corallo [Wed, 12 Feb 2020 19:31:26 +0000 (19:31 +0000)]
Merge pull request #470 from ariard/2020-01-contributing-draft

First draft, don't-cover-everything-but-yet-a-good-start-CONTRIBUTING.md

4 years agoMerge pull request #496 from TheBlueMatt/2020-02-461-extra-mut
Matt Corallo [Wed, 12 Feb 2020 18:53:36 +0000 (18:53 +0000)]
Merge pull request #496 from TheBlueMatt/2020-02-461-extra-mut

Remove unnecessary mut introduced in 0c595a7ff69bd177b2e7fa8c1b361

4 years agoAdd a first draft CONTRIBUTING.md
Antoine Riard [Wed, 12 Feb 2020 18:31:37 +0000 (13:31 -0500)]
Add a first draft CONTRIBUTING.md

4 years agoRemove unnecessary mut introduced in 0c595a7ff69bd177b2e7fa8c1b361 2020-02-461-extra-mut
Matt Corallo [Wed, 12 Feb 2020 18:00:43 +0000 (13:00 -0500)]
Remove unnecessary mut introduced in 0c595a7ff69bd177b2e7fa8c1b361

4 years agoMerge pull request #461 from ariard/2020-remove-duplicata
Matt Corallo [Wed, 12 Feb 2020 17:38:21 +0000 (17:38 +0000)]
Merge pull request #461 from ariard/2020-remove-duplicata

Remove some duplicata of broadcast txn from ChannelMonitor

4 years agoRemove duplicata of broadcast txn from ChannelMonitor
Antoine Riard [Thu, 23 Jan 2020 21:45:14 +0000 (16:45 -0500)]
Remove duplicata of broadcast txn from ChannelMonitor

Previously, if new ouputs were found to be watched as part
of channel operations, the block was rescan which triggers
again parser and generation of transactions already issued.

This commit first modifies the test framework without
altering further ChannelMonitor.

ChannelMonitor refactoring is introduced in a latter commit.

4 years agoMerge pull request #434 from TheBlueMatt/2019-12-var-len-onion
Matt Corallo [Tue, 11 Feb 2020 22:49:39 +0000 (22:49 +0000)]
Merge pull request #434 from TheBlueMatt/2019-12-var-len-onion

TLV-based Variable Length Onion

4 years agoDefine a BLOCK_SIZE constant for chacha20 2019-12-var-len-onion
Matt Corallo [Mon, 10 Feb 2020 23:32:57 +0000 (18:32 -0500)]
Define a BLOCK_SIZE constant for chacha20

4 years agoSwap out 20*65 for a constant, given onion hops are now of var len
Matt Corallo [Mon, 10 Feb 2020 23:28:53 +0000 (18:28 -0500)]
Swap out 20*65 for a constant, given onion hops are now of var len

4 years agoUse RouteHop's new node_features to send TLV-encoded onion hops
Matt Corallo [Sat, 28 Dec 2019 18:44:47 +0000 (13:44 -0500)]
Use RouteHop's new node_features to send TLV-encoded onion hops

This implements the new TLV variable-length encoding for onion hop
data, opting to send it if the RouteHop's node_features indicates
support. It also uses the new process_inline method in ChaCha20 to
optimize a few things (though it grows a new TODO for a
probably-important optimization).

4 years agoAdd support for variable-length onion payload reads using TLV
Matt Corallo [Fri, 27 Dec 2019 22:44:46 +0000 (17:44 -0500)]
Add support for variable-length onion payload reads using TLV

4 years agoAdd macros for building TLV (de)serializers.
Matt Corallo [Mon, 3 Feb 2020 01:44:54 +0000 (20:44 -0500)]
Add macros for building TLV (de)serializers.

There's quite a bit of machinery included here, but it neatly
avoids any dynamic allocation during TLV deserialization, and the
calling side looks nice and simple. The macro-generated code is
pretty nice, though has some redundant if statements (I haven't
checked if they get optimized out yet, but I can't imagine they
don't).

4 years agoExpose VecWriter outside of util::ser since peer_handler uses it
Matt Corallo [Mon, 3 Feb 2020 02:25:33 +0000 (21:25 -0500)]
Expose VecWriter outside of util::ser since peer_handler uses it

4 years agoAdd new streams and serialization wrappers for TLV types.
Matt Corallo [Mon, 3 Feb 2020 01:42:40 +0000 (20:42 -0500)]
Add new streams and serialization wrappers for TLV types.

This adds a number of new stream adapters to track and/or calculate
the number of bytes read/written to an underlying stream, as well
as wrappers for the two (?!) variable-length integer types that TLV
introduces.

4 years agoAdd a ChaChaReader adapter to read an encrypted stream & use it
Matt Corallo [Fri, 27 Dec 2019 22:38:15 +0000 (17:38 -0500)]
Add a ChaChaReader adapter to read an encrypted stream & use it

This prepares for variable-length per-hop-data by wrapping the full
hop_data field in a decrypting stream, with a few minor
optimizations and redundant allocations to boot.

4 years agoMove BogusHopData generation into test instead of OnionHopData.
Matt Corallo [Thu, 26 Dec 2019 18:45:44 +0000 (13:45 -0500)]
Move BogusHopData generation into test instead of OnionHopData.

This, as it should be, restricts OnionHopData to only being able to
represent valid states, while still allowing for tests to generate
bogus hop data fields to test deserialization.

4 years agoPull hmac out of OnionHopData.
Matt Corallo [Thu, 26 Dec 2019 18:43:43 +0000 (13:43 -0500)]
Pull hmac out of OnionHopData.

Its a bit awkward to have an hmac field covering the struct that
its in, and there is little difference in removing it, so just pull
it out and use a [u8; 32] where we care about the hmac.

4 years agoFlatten OnionHopData struct with the Realm0 struct.
Matt Corallo [Tue, 24 Dec 2019 20:52:47 +0000 (15:52 -0500)]
Flatten OnionHopData struct with the Realm0 struct.

Previously OnionHopData contained a OnionRealm0HopData field however
instead of bumping the realm number, it has been replaced with a
length, used to indicte the length of a TLV-formatted object.

Because a TLV-formatted hop data can contain the same information as
a realm-0 hop data, we flatten the field and simply keep track of
what format it was in.

4 years agoBetter document msg fuzz target behavior and be slightly more strict
Matt Corallo [Fri, 27 Dec 2019 22:29:51 +0000 (17:29 -0500)]
Better document msg fuzz target behavior and be slightly more strict

4 years agoMerge pull request #491 from TheBlueMatt/2020-02-one-conf-lock
Matt Corallo [Tue, 11 Feb 2020 05:36:01 +0000 (05:36 +0000)]
Merge pull request #491 from TheBlueMatt/2020-02-one-conf-lock

Fix one-confirmation funding_locked generation

4 years agoMerge pull request #490 from jkczyz/2020-02-initial-routing-sync
Matt Corallo [Mon, 10 Feb 2020 22:18:48 +0000 (22:18 +0000)]
Merge pull request #490 from jkczyz/2020-02-initial-routing-sync

Refactor logic for setting initial_routing_sync feature bit

4 years agoAdd some trace logging for funding_locked and announcement_sigs 2020-02-one-conf-lock
Matt Corallo [Mon, 10 Feb 2020 20:50:47 +0000 (15:50 -0500)]
Add some trace logging for funding_locked and announcement_sigs

4 years agoAdd test for 1-conf channels
Matt Corallo [Mon, 10 Feb 2020 20:50:16 +0000 (15:50 -0500)]
Add test for 1-conf channels

4 years agoFix sending funding_locked with 1 conf.
Matt Corallo [Mon, 10 Feb 2020 09:27:23 +0000 (10:27 +0100)]
Fix sending funding_locked with 1 conf.

We previously tracked funding transaction confirmation by marking
funding_tx_confirmations to 1 when we see it in a block and
incrementing each block thereafter if its non-0. To avoid
double-incrementing the first confirmation, we did the increment
(and funding_locked check) after doing the first-confirmation
checks. Thus, we'd never hit the funding_locked case during the
first confirmation.

To address this, we simply swap the order of the checks, though
bumping the funding_tx_confirmations increment up to the top.

Reported-by: Igor Cota <igor@codexapertus.com>
4 years agoAdd a test for Router's should_request_full_sync
Jeffrey Czyz [Mon, 10 Feb 2020 20:01:35 +0000 (12:01 -0800)]
Add a test for Router's should_request_full_sync

4 years agoMove Router test setup to a helper function
Jeffrey Czyz [Mon, 10 Feb 2020 19:54:46 +0000 (11:54 -0800)]
Move Router test setup to a helper function

4 years agoMove initial_routing_sync decision to the Router
Jeffrey Czyz [Mon, 10 Feb 2020 19:13:41 +0000 (11:13 -0800)]
Move initial_routing_sync decision to the Router

PeerManager determines whether the initial_routing_sync feature bit
should be set when sending Init messages to peers. Move this to the
Router as it is better able to determine if a full sync is needed.

4 years agoMerge pull request #445 from TheBlueMatt/2020-01-fuzz-enforcer-fix
Matt Corallo [Mon, 10 Feb 2020 18:47:44 +0000 (18:47 +0000)]
Merge pull request #445 from TheBlueMatt/2020-01-fuzz-enforcer-fix

Fix EnforcingChannelKeys panic when our counterparty burns their $.

4 years agoMerge pull request #487 from moneyball/master
Matt Corallo [Mon, 10 Feb 2020 17:52:29 +0000 (17:52 +0000)]
Merge pull request #487 from moneyball/master

remove unnecessary reference to LDK

4 years agoUpdate README.md
Steve Lee [Mon, 10 Feb 2020 03:08:35 +0000 (19:08 -0800)]
Update README.md

4 years agoMerge pull request #479 from moneyball/master
Matt Corallo [Sat, 8 Feb 2020 21:21:07 +0000 (21:21 +0000)]
Merge pull request #479 from moneyball/master

Updated the status of the project

4 years agoMerge pull request #478 from arik-so/remove_decodeerror_macro
Matt Corallo [Sat, 8 Feb 2020 21:20:20 +0000 (21:20 +0000)]
Merge pull request #478 from arik-so/remove_decodeerror_macro

remove decode_error macro only used once

4 years agoTest that EnforcingChannelKeys doesn't panic on duplicate RAAs 2020-01-fuzz-enforcer-fix
Matt Corallo [Thu, 16 Jan 2020 23:53:32 +0000 (18:53 -0500)]
Test that EnforcingChannelKeys doesn't panic on duplicate RAAs

4 years agoFix EnforcingChannelKeys panic when our counterparty burns their $.
Matt Corallo [Sun, 12 Jan 2020 23:04:40 +0000 (18:04 -0500)]
Fix EnforcingChannelKeys panic when our counterparty burns their $.

If our counterparty burns their funds by revoking their current
commitment transaction before we've sent them a new one, we'll step
forward the remote commitment number. This would be otherwise fine
(and may even encourage them to broadcast their revoked state(s) on
chain), except that our new EnforcingChannelKeys expects us to not
jump forward in time. Since it isn't too important that we punish
our counterparty in such a corner-case, we opt to just close the
channel in such a case and move on.

4 years agoUpdate README.md
Steve Lee [Fri, 7 Feb 2020 21:34:23 +0000 (13:34 -0800)]
Update README.md

4 years agoUpdated the status of the project
Steve Lee [Fri, 7 Feb 2020 05:43:47 +0000 (21:43 -0800)]
Updated the status of the project

It needs review and completion of the missing BOLT specification parts.

4 years agoremove decode_error macro only used once
Arik Sosman [Thu, 6 Feb 2020 22:17:44 +0000 (14:17 -0800)]
remove decode_error macro only used once

4 years agoMerge pull request #463 from jkczyz/2020-01-wire-encode
Matt Corallo [Wed, 5 Feb 2020 21:18:42 +0000 (21:18 +0000)]
Merge pull request #463 from jkczyz/2020-01-wire-encode

Encapsulate message wire encoding into a module

4 years agoUse a tuple struct for MessageType
Jeffrey Czyz [Mon, 27 Jan 2020 21:44:36 +0000 (13:44 -0800)]
Use a tuple struct for MessageType

4 years agoMove message type parity logic to the wire module
Jeffrey Czyz [Fri, 24 Jan 2020 14:43:58 +0000 (06:43 -0800)]
Move message type parity logic to the wire module

Create a MessageType abstraction and use it throughout the wire module's
external interfaces. Include an is_even method for clients to determine
how to handle unknown messages.

4 years agoEncapsulate message wire encoding into a module
Jeffrey Czyz [Tue, 21 Jan 2020 23:26:21 +0000 (15:26 -0800)]
Encapsulate message wire encoding into a module

Lightning messages are identified by a 2-byte type when encoded on the
wire. Rather than expecting callers to know message types when sending
messages to peers, have each message implement a trait defining the
message type. Provide an interface for reading and writing messages
as well as a Message enum for matching the decoded message, including
unknown messages.

4 years agoMerge pull request #454 from TheBlueMatt/2020-01-fuzz-mega-value
Matt Corallo [Wed, 5 Feb 2020 01:23:44 +0000 (01:23 +0000)]
Merge pull request #454 from TheBlueMatt/2020-01-fuzz-mega-value

Panic on txn with value > 21mill in ChannelMonitor::block_connected, Clean up fuzz targets a bit

4 years agoMerge pull request #466 from lightning-signer/chanmon-keys
Matt Corallo [Wed, 5 Feb 2020 01:17:46 +0000 (01:17 +0000)]
Merge pull request #466 from lightning-signer/chanmon-keys

Add ChannelKeys to ChannelMonitor

4 years agoAdd ChannelKeys to ChannelMonitor
Devrandom [Tue, 4 Feb 2020 17:15:59 +0000 (09:15 -0800)]
Add ChannelKeys to ChannelMonitor

4 years agomove ChannelMonitor.write* in preparation for adding ChannelKeys
Devrandom [Tue, 4 Feb 2020 17:05:25 +0000 (09:05 -0800)]
move ChannelMonitor.write* in preparation for adding ChannelKeys

4 years agoExplicit pass index at HTLC spending transaction signing
Antoine Riard [Mon, 27 Jan 2020 03:12:43 +0000 (22:12 -0500)]
Explicit pass index at HTLC spending transaction signing

4 years agoMerge pull request #459 from ariard/2020-01-fix-htlc-height-timer
Matt Corallo [Sat, 25 Jan 2020 22:11:27 +0000 (22:11 +0000)]
Merge pull request #459 from ariard/2020-01-fix-htlc-height-timer

Fix bumping timer for claiming revoked HTLC outputs

4 years agoMerge pull request #460 from lightning-signer/channel-value
Matt Corallo [Sat, 25 Jan 2020 21:17:12 +0000 (21:17 +0000)]
Merge pull request #460 from lightning-signer/channel-value

Channel value to ChannelKeys constructor

4 years agoMerge pull request #458 from TheBlueMatt/2020-01-spendable-docs
Matt Corallo [Sat, 25 Jan 2020 20:50:10 +0000 (20:50 +0000)]
Merge pull request #458 from TheBlueMatt/2020-01-spendable-docs

Clean up documentation around spendable outputs significantly.

4 years agoMerge pull request #443 from valentinewallace/channelmgr-arcs-to-derefs
Matt Corallo [Sat, 25 Jan 2020 20:41:10 +0000 (20:41 +0000)]
Merge pull request #443 from valentinewallace/channelmgr-arcs-to-derefs

Drop ChannelManager's ChannelMonitor Arc for Deref

4 years agoClean up documentation around spendable outputs significantly. 2020-01-spendable-docs
Matt Corallo [Wed, 22 Jan 2020 23:31:57 +0000 (18:31 -0500)]
Clean up documentation around spendable outputs significantly.

 * Fixed a number of grammar issues
 * Clarified the docs for users who are intimately farmiliar with
   arbitrary lines of text copied from the BOLTs
 * Added a bit more text so that things are easier to read and less
   disjoint.
 * Clarified exactly how the witness stack should look since I had
   to go dig for it.

4 years agoUpdate ChannelManager's ChannelMonitor Arc to be a Deref 2020-01-443-final-nits
Valentine Wallace [Thu, 16 Jan 2020 18:26:38 +0000 (13:26 -0500)]
Update ChannelManager's ChannelMonitor Arc to be a Deref

Additional changes:
* Update fuzz crate to match ChannelManager's new API
* Update lightning-net-tokio library to match ChannelManager's new ChannelMonitor Deref API
* Update tests to match ChannelManager's new ChannelMonitor Deref API

4 years agoRemove unnecessary sign_closing_transaction arg
Devrandom [Thu, 23 Jan 2020 22:32:29 +0000 (14:32 -0800)]
Remove unnecessary sign_closing_transaction arg

4 years agochannel value to ChannelKeys constructor
Devrandom [Thu, 23 Jan 2020 21:33:31 +0000 (13:33 -0800)]
channel value to ChannelKeys constructor

4 years agoFix bumping timer for claiming revoked HTLC outputs
Antoine Riard [Thu, 23 Jan 2020 00:51:19 +0000 (19:51 -0500)]
Fix bumping timer for claiming revoked HTLC outputs

Previously, we were using their_to_self_delay instead of
our_to_self_delay which was falsifying test.

4 years agoMerge pull request #457 from ariard/2020-01-fix-append-onchain
Matt Corallo [Wed, 22 Jan 2020 20:57:36 +0000 (20:57 +0000)]
Merge pull request #457 from ariard/2020-01-fix-append-onchain

Fix spurious calls of broadcast_by_local_state

4 years agoMerge pull request #433 from TheBlueMatt/2019-12-features-in-routes
Matt Corallo [Wed, 22 Jan 2020 20:18:30 +0000 (20:18 +0000)]
Merge pull request #433 from TheBlueMatt/2019-12-features-in-routes

Plumb Features through into Routes

4 years agoFix spurious calls of broadcast_by_local_state
Antoine Riard [Wed, 22 Jan 2020 18:53:12 +0000 (13:53 -0500)]
Fix spurious calls of broadcast_by_local_state

4 years agoDRY-up list_channels by having a common lister that takes a filter 2019-12-features-in-routes
Matt Corallo [Fri, 17 Jan 2020 22:36:46 +0000 (17:36 -0500)]
DRY-up list_channels by having a common lister that takes a filter

4 years agoPass node features through to RouteHops
Matt Corallo [Sat, 28 Dec 2019 06:10:14 +0000 (01:10 -0500)]
Pass node features through to RouteHops

This exposes the latest Init-context features in the ChannelDetails
passed to the Router during route calculation, which combines those
with the Node-context features tracked from node_announcements to
provide the latest Node-context features in RouteHop structs.

Fields are also added for Channel-context features, though those are
only partially used since no such features are defined today anyway.

These will be useful when determining whether to use new
TLV-formatted onion hop datas when generating onions for peers.

4 years agoKeep track of the Init Features for every connected/channel'd peer
Matt Corallo [Sun, 29 Dec 2019 19:22:43 +0000 (14:22 -0500)]
Keep track of the Init Features for every connected/channel'd peer

Since we want to keep track of the Init-context features for every
peer we have channels with, we have to keep them for as long as the
peer is connected (since we may open a channel with them at any
point).

We go ahead and take this opportunity to create a new per-peer-state
struct which has two levels of mutexes which is appropriate for
moving channel storage to.

Since we can't process messages from a given peer in parallel, the
inner lock is a regular mutex, but the outer lock is RW so that we
can process for different peers at the same time with an outer read
lock.

4 years agoPass peer's Init message through to ChannelManager
Matt Corallo [Sat, 28 Dec 2019 03:50:42 +0000 (22:50 -0500)]
Pass peer's Init message through to ChannelManager

4 years agoMerge pull request #451 from lightning-signer/txkeys
Matt Corallo [Mon, 20 Jan 2020 03:46:00 +0000 (03:46 +0000)]
Merge pull request #451 from lightning-signer/txkeys

Provide remote channel public keys to signer

4 years agoUse ChannelPublicKeys in Channel
Devrandom [Fri, 17 Jan 2020 22:31:29 +0000 (14:31 -0800)]
Use ChannelPublicKeys in Channel

4 years agoHide derived fields in TxCreationKeys
Devrandom [Fri, 17 Jan 2020 20:46:54 +0000 (12:46 -0800)]
Hide derived fields in TxCreationKeys

4 years agoProvide remote channel public keys to signer
Devrandom [Fri, 17 Jan 2020 00:51:15 +0000 (16:51 -0800)]
Provide remote channel public keys to signer

4 years agoPanic on txn with value > 21mill in ChannelMonitor::block_connected 2020-01-fuzz-mega-value
Matt Corallo [Sun, 19 Jan 2020 21:03:25 +0000 (16:03 -0500)]
Panic on txn with value > 21mill in ChannelMonitor::block_connected

full_stack_target found a crash where we may overflow ruring fee
calculation if a transaction appears on-chain with massive value
available for us to claim. Since these transactions are clearly
bogus, we shouldn't allow full_stack_target to connect them, but
we also improve the error generated by explicitly panicing on them.

4 years agoDrop individual fuzz target duplicate_crash tests for file reader
Matt Corallo [Sun, 19 Jan 2020 20:38:34 +0000 (15:38 -0500)]
Drop individual fuzz target duplicate_crash tests for file reader

Previously, in each of our fuzz tests we had a dummy test which
had a hard-coded hex string which it passed into the fuzz target
so that when a failing test case was found, its hex could be
copied into the test and you could run cargo test to analyze the
failure. However, this was somewhat unwieldy as converting large
tests back and forth between hex and raw files is quite annoying.

Instead, we replace each of those tests with a test in each target
that looks for files in fuzz/test_cases and runs each file it finds.

Since we're editing every bin target anyway, we also automate adding
no_main to libfuzzer builds with #![cfg_attr].

4 years agoMerge pull request #447 from ariard/2020-01-fix-weight-computation
Matt Corallo [Fri, 17 Jan 2020 22:32:29 +0000 (22:32 +0000)]
Merge pull request #447 from ariard/2020-01-fix-weight-computation

Bound incoming HTLC witnessScript to min/max limits

4 years agoBound incoming HTLC witnessScript to min/max limits
Antoine Riard [Tue, 14 Jan 2020 18:47:01 +0000 (13:47 -0500)]
Bound incoming HTLC witnessScript to min/max limits

Fix a crash where previously we weren't able to detect any accepted
HTLC if its witness-encoded cltv expiry was different from expected
ACCEPTED_HTLC_SCRIPT_WEIGHT. This should work for any cltv expiry
included between 0 and 16777216 on mainnet, testnet and regtest.

4 years agoFix crash when a claim tx has some non-witness inputs.
Matt Corallo [Mon, 13 Jan 2020 18:43:54 +0000 (13:43 -0500)]
Fix crash when a claim tx has some non-witness inputs.

The logger which decides what to refer to an on-chain claim tx was
assuming that all inputs would have a witness. While this was fine
for the one-input case, it broke the fuzzer which was connecting a
consensus-invalid transaction. Further, in the case we have multiple
inputs, some may not have a witness, which we shouldn't crash on.

This fixes 9df0250dbbad7449e3ec8f90532ce9197eb31997.

4 years agoMerge pull request #450 from ariard/2020-01-fix-fst-blk-disconnection
Matt Corallo [Fri, 17 Jan 2020 20:13:46 +0000 (20:13 +0000)]
Merge pull request #450 from ariard/2020-01-fix-fst-blk-disconnection

Fix full_stack_target block disconnection

4 years agoFix full_stack_target mishandling of block disconnection
Antoine Riard [Fri, 17 Jan 2020 19:21:02 +0000 (14:21 -0500)]
Fix full_stack_target mishandling of block disconnection

4 years agoLog block disconnection in ChannelMonitor
Antoine Riard [Fri, 17 Jan 2020 19:20:23 +0000 (14:20 -0500)]
Log block disconnection in ChannelMonitor

4 years agoMerge pull request #448 from lightning-signer/visibility-for-test
Matt Corallo [Thu, 16 Jan 2020 23:54:09 +0000 (23:54 +0000)]
Merge pull request #448 from lightning-signer/visibility-for-test

Increase visibility for external integration tests

4 years agoincrease visibility for external integration tests
Devrandom [Wed, 15 Jan 2020 21:59:23 +0000 (13:59 -0800)]
increase visibility for external integration tests

4 years agoMerge pull request #444 from lightning-signer/funding-script
Matt Corallo [Thu, 16 Jan 2020 22:02:20 +0000 (22:02 +0000)]
Merge pull request #444 from lightning-signer/funding-script

Construct funding redeem script in signer

4 years agoconstruct funding redeem script in signer
Devrandom [Fri, 10 Jan 2020 01:28:48 +0000 (17:28 -0800)]
construct funding redeem script in signer

4 years agoMerge pull request #449 from jkczyz/2020-01-remove-borrow-parts
Matt Corallo [Thu, 16 Jan 2020 20:18:13 +0000 (20:18 +0000)]
Merge pull request #449 from jkczyz/2020-01-remove-borrow-parts

Remove unnecessary borrow_parts() methods

4 years agoRemove unnecessary borrow_parts() methods
Jeffrey Czyz [Thu, 16 Jan 2020 18:48:16 +0000 (10:48 -0800)]
Remove unnecessary borrow_parts() methods

Accessing a struct through an std::syn::MutexGuard using implicit
dereferencing can confuse the borrow checker. This situation arises when
obtaining mutable references to more than one field of the struct, which
is normally allowed.

https://doc.rust-lang.org/nomicon/borrow-splitting.html

However, when using implicit dereferencing, a mutable reference to the
the entire struct is taken. Thus, attempting to access another field in
this manner will lead to a compilation error.

https://doc.rust-lang.org/error-index.html#E0499

A simple way to avoid this is to first obtain a mutable reference to the
struct using explicit dereferencing.

4 years agoMerge pull request #428 from TheBlueMatt/2019-12-flat-features
Matt Corallo [Mon, 13 Jan 2020 22:53:54 +0000 (22:53 +0000)]
Merge pull request #428 from TheBlueMatt/2019-12-flat-features

Implement Flat Features

4 years agoSeal the features contexts 2019-12-flat-features
Matt Corallo [Wed, 8 Jan 2020 00:21:17 +0000 (19:21 -0500)]
Seal the features contexts

4 years agoMove features into a separate module out of msgs.
Matt Corallo [Mon, 6 Jan 2020 22:54:02 +0000 (17:54 -0500)]
Move features into a separate module out of msgs.

4 years agoRefactor features a bit more to describe what the constructors do
Matt Corallo [Mon, 13 Jan 2020 18:52:23 +0000 (13:52 -0500)]
Refactor features a bit more to describe what the constructors do

The Features::new() method is nonsense and doesn't describe what
features were being set - we introduce an empty() and supported()
constructors instead.

4 years agoFix Feature endianness by swapping bytes on read/write.
Matt Corallo [Mon, 13 Jan 2020 18:50:29 +0000 (13:50 -0500)]
Fix Feature endianness by swapping bytes on read/write.

The spec is a bit mum on feature endianness, so I suppose it falls
under the "everything is big endian unless otherwise specified"
clause, but we were treating it as little.

4 years agoRelay/store channel/node announces w/ unknown req'd feature bits
Matt Corallo [Tue, 24 Dec 2019 18:08:33 +0000 (13:08 -0500)]
Relay/store channel/node announces w/ unknown req'd feature bits

This change was made in the flat features BOLT PR, as if a channel
requires some unknown feature bits we should still rumor it, we just
shouldn't route through it.

4 years agoImplement Flat Features
Matt Corallo [Mon, 23 Dec 2019 22:52:58 +0000 (17:52 -0500)]
Implement Flat Features

This merges local and global features into one struct, which is
parameterized by where it appers. The parameterization restricts
which queries can be made and which features can be set, in line
with the latest BOLT 9.

Closes #427.

4 years agoMerge pull request #439 from TheBlueMatt/2020-01-398-fixups
Matt Corallo [Mon, 6 Jan 2020 03:59:03 +0000 (03:59 +0000)]
Merge pull request #439 from TheBlueMatt/2020-01-398-fixups

398 with nits fixed.