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
- Pedro A. Moreno-Sánchez
- Aniket Kate
- Mauro Conti
- Sushmita Ruj
- Giulio Malavolta
- Clara Schneidewind
- Matteo Maffei
- Surinder Kumar
In Computer Networks and Communications
- Pedro A. Moreno-Sánchez
- Aniket Kate
- Mauro Conti
- Giulio Malavolta
- Clara Schneidewind
- Matteo Maffei
- Surinder Kumar
In Information Systems
- Pedro A. Moreno-Sánchez
- Aniket Kate
- Mauro Conti
- Sushmita Ruj
- Chhagan Lal
- Giulio Malavolta
- Clara Schneidewind
- Matteo Maffei
Citations in the corpus
- Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability (2019, methodology): “Malavolta et al. [40] proposed a secure and privacy-preserving protocol for multi-hop payments.”
- A Survey on Security and Privacy Issues of Bitcoin (2017, background): “However, these payment channel networks cause a new set of challenges related to routing [43], processing concurrent payments [44], and user privacy [45], [46].”