Concurrency and Privacy with Payment-Channel Networks

By Giulio Malavolta, Pedro A. Moreno-Sánchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi. IACR Cryptology ePrint Archive, 2017

312 citations recorded by the source corpus.

Permissionless blockchains protocols such as Bitcoin are inherently limited in transaction throughput and latency. Current efforts to address this key issue focus on off-chain payment channels that can be combined in a Payment-Channel Network (PCN) to enable an unlimited number of payments without requiring to access the blockchain other than to register the initial and final capacity of each channel. While this approach paves the way for low latency and high throughput of payments, its deployment in practice raises several privacy concerns as well as technical challenges related to the inherently concurrent nature of payments that have not been sufficiently studied so far. In this work, we lay the foundations for privacy and concurrency in PCNs, presenting a formal definition in the Universal Composability framework as well as practical and provably secure solutions. In particular, we present Fulgor and Rayo. Fulgor is the first payment protocol for PCNs that provides provable privacy guarantees for PCNs and is fully compatible with the Bitcoin scripting system. However, Fulgor is a blocking protocol and therefore prone to deadlocks of concurrent payments as in currently available PCNs. Instead, Rayo is the first protocol for PCNs that enforces non-blocking progress (i.e., at least one of the concurrent payments terminates). We show through a new impossibility result that non-blocking progress necessarily comes at the cost of weaker privacy. At the core of Fulgor and Rayo is Multi-Hop HTLC, a new smart contract, compatible with the Bitcoin scripting system, that provides conditional payments while reducing running time and communication overhead with respect to previous approaches. Our performance evaluation of Fulgor and Rayo shows that a payment with 10 intermediate users takes as few as 5 seconds, thereby demonstrating their feasibility to be deployed in practice.

Subfields: Artificial Intelligence, Computer Networks and Communications, Information Systems

View Paper: https://www.semanticscholar.org/paper/bb4a374ade0b19ced3ca9f273f8c240890893e08

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Pedro A. Moreno-Sánchez
  2. Aniket Kate
  3. Mauro Conti
  4. Sushmita Ruj
  5. Giulio Malavolta
  6. Clara Schneidewind
  7. Matteo Maffei
  8. Surinder Kumar

In Computer Networks and Communications

  1. Pedro A. Moreno-Sánchez
  2. Aniket Kate
  3. Mauro Conti
  4. Giulio Malavolta
  5. Clara Schneidewind
  6. Matteo Maffei
  7. Surinder Kumar

In Information Systems

  1. Pedro A. Moreno-Sánchez
  2. Aniket Kate
  3. Mauro Conti
  4. Sushmita Ruj
  5. Chhagan Lal
  6. Giulio Malavolta
  7. Clara Schneidewind
  8. Matteo Maffei

Citations in the corpus