• Aucun résultat trouvé

Quantitative Analysis of Lightning Network Privacy

N/A
N/A
Protected

Academic year: 2021

Partager "Quantitative Analysis of Lightning Network Privacy"

Copied!
17
0
0

Texte intégral

(1)

Quantitative Analysis of

Lightning Network Privacy

Sergei Tikhomirov (University of Luxembourg),

Pedro Moreno-Sanchez (TU Wien), Matteo Maffei (TU Wien)

(2)

Why Lightning?

● Bitcoin scales poorly (~3 tx / sec): all nodes validate all transactions ● Two approaches: on-chain (sharding) and off-chain (Lightning)

We focus on the Lightning Network – a payment channel network for Bitcoin:

● Backwards compatible

(3)
(4)

Payment channel network

● Expensive to open channels between every two users (fees, confirmations) ● Solution: a network of payment channels

● Must ensure atomicity in multi-hop payments

Charlie Bob

Alice

(5)

Lightning Network architecture

● LN ensures atomicity with hash time-locked contracts (HTLCs)

● Coins go to Bob if he shows a hash preimage before time t, otherwise to Alice

(6)

Our contributions

LN offers security (HTLC) and privacy (off-chain), but attacks have been reported.

We all want LN to be secure and private, but what exactly does that mean?

In this work, we:

● quantify the effect of three previously described attacks* ● analyze a limitation on payment concurrency

● describe a new DoS attack vector

* Malavolta et al. Concurrency and privacy with payment-channel networks. CCS, 2017.

(7)

Value privacy

Attacker learns how much is being transacted.

Trivial for on-path adversaries: amounts are in plaintext.

Sufficient condition: 1 attacker’s node on the path.

Alice Bob

(8)

Relationship anonymity

Attacker learns who pays whom (with probability much better than random guess)

Payments are linked by the same hash value.

Sufficient condition: 2 attacker’s nodes on the path.

Alice Bob

Alice Bob

(9)

Wormhole attack

Attacker “shortcuts” a payment, taking fee from the honest node.

Damage for the honest node: a) no fees, b) capital locked until timeout expires.

Sufficient condition: 2 attacker’s nodes on the path with honest nodes in between.

Alice Bob

Alice Bob

(103 sat, h, t₃) (102 sat, h, t₂) (101 sat, h, t₁) (100 sat, h, t₀)

(10)

Experiment outline

● Assume that a certain subset of nodes is compromised

● Find all suitable paths between random sender and receiver ● Calculate the share of paths vulnerable to a given attack ● Average the result across many random runs

Alice Bob

VP RA WA

Path 1 Safe Safe Safe

Path 2 Prone Safe Safe

Path 3 Prone Prone Safe

Path 4 Prone Prone Prone

(11)
(12)

Countermeasures

A trade-off between connectivity and privacy:

● Routing via large nodes: dangerous if they are compromised ● Routing via small nodes: less liquidity and uptime

(13)

HTLC limit

How many concurrent payments can LN handle?

● One channel may hold multiple concurrent HTLCs

● Channel parties must be able to dispute malicious closures on-chain ● Dispute transactions include all in-flight (unresolved) HTLCs

● Bitcoin transactions must be < 100 KB

(14)

Example of HTLC depletion

Consider a channel with capacity of 1M sat. No HTLCs can be added, though capacity is not depleted.

Unresolved HTLCs

1 HTLC (to Alice, 1000 sat, 0xdf86...)

2 HTLC (to Bob, 1000 sat, 0x0a1f...)

966 HTLC (to Alice, 1000 sat, 0x6f26...)

Total value of HTLCs (sat) 966k < 1M

(15)

Up to 50% of channels affected

Two limiting factors: capacity and HTLC limit. Depends on the amount:

● 0 – 546 sat (dust limit): no HTLC created

(16)

DoS by exceeding the HTLC limit

● An attacker blocks a channel by sending 966 near-dust payments ● Does not require as many coins as in the victim channel

● Can block a channel with 966*546 = 527k sat (~60 USD)

Channel capacity (sat) Attacker’s capital for DoS

Capacity-based HTLC-based

100k 100k 527k

1M 1M 527k

(17)

● Privacy attacks are possible with only a few “important” nodes compromised ● Limited throughput for micropayments ● A new DoS vector

Conclusion

Alice Bob

Références

Documents relatifs

Using (1) the azimuth and elevation from which an acoustic signal arrived at the MPA, (2) the time of propagation given by the difference between the time a flash was detected by

The notation that Lightning uses for presenting models to the user is graphical: models are either shown in a concrete syntax notation (defined by a transformation of the

For instance, with selected 100 compromised nodes (less than 2% of the total number of nodes), nearly all paths are prone to value privacy attacks, around 70% are prone to

The reason why the average longitude range of the visible horizon is by almost 30 ◦ smaller than half a Saturn rotation (180 ◦ ) is due to the fact that during SED storm F Cassini

In this section the unmatched flashes (42.7 % Meteorage, 16.7 % ISS-LIS) are also considered to investigate the fol- lowing flash characteristics: the number of elements (events,

The leader interaction (both triggered and intercepted) and the subsequent return stroke can be thought of as two distinct phases; (i) the attachment process, which determines

The upward positive leader and the initial continuous current (includ- ing the relevant ICC pulses) as a whole, are defined as the initial stage (IS) of a conventional

The twelve articles gathered in this special issue are aimed at addressing the entire aspect of the interaction between aircraft, launchers and lightning, from the state of the art