中文
相关论文

相关论文: Towards a Formal Verification of the Lightning Net…

200 篇论文

Payment channel networks are an approach to improve the scalability of blockchain-based cryptocurrencies. The Lightning Network is a payment channel network built for Bitcoin that is already used in practice. Because the Lightning Network…

密码学与安全 · 计算机科学 2025-05-22 Matthias Grundmann , Hannes Hartenstein

In this work we use formal verification to prove that the Lightning Network (LN), the most prominent scaling technique for Bitcoin, always safeguards the funds of honest users. We provide a custom implementation of (a simplification of) LN,…

密码学与安全 · 计算机科学 2025-03-11 Grzegorz Fabiański , Rafał Stefański , Orfeas Stefanos Thyfronitis Litos

Bitcoin's Lightning Network (LN) is a scalability solution for Bitcoin allowing transactions to be issued with negligible fees and settled instantly at scale. In order to use LN, funds need to be locked in payment channels on the Bitcoin…

计算机与社会 · 计算机科学 2019-04-16 István András Seres , László Gulyás , Dániel A. Nagy , Péter Burcsi

The fundamental building blocks of the Bitcoin lightning network are bidirectional payment channels. We describe an extension of payment channels in the Proofgold network which allow the two parties to bet on whether a proposition will be…

计算机科学中的逻辑 · 计算机科学 2025-09-11 Chad E. Brown , Cezary Kaliszyk , Josef Urban

The Lightning Network, a payment channel network with a market cap of over 192M USD, is designed to resolve Bitcoin's scalability issues through fast off-chain transactions. There are multiple Lightning Network client implementations, all…

密码学与安全 · 计算机科学 2024-05-06 Ben Weintraub , Satwik Prabhu Kumble , Cristina Nita-Rotaru , Stefanie Roos

Micropayment channels are the most prominent solution to the limitation on transaction throughput in current blockchain systems. However, in practice channels are risky because participants have to be online constantly to avoid fraud, and…

密码学与安全 · 计算机科学 2018-12-03 Georgia Avarikioti , Felix Laufenberg , Jakub Sliwinski , Yuyi Wang , Roger Wattenhofer

The Lightning Network (LN) is a prominent payment channel network aimed at addressing Bitcoin's scalability issues. Due to the privacy of channel balances, senders cannot reliably choose sufficiently liquid payment paths and resort to a…

密码学与安全 · 计算机科学 2021-03-16 Rene Pickhardt , Sergei Tikhomirov , Alex Biryukov , Mariusz Nowostawski

Payment channel networks, and the Lightning Network in particular, seem to offer a solution to the lack of scalability and privacy offered by Bitcoin and other blockchain-based cryptocurrencies. Previous research has focused on the…

The Bitcoin Lightning Network (LN) is designed to improve the scalability of blockchain systems by using off-chain payment paths to settle transactions in a faster, cheaper, and more private manner. This work aims to empirically study LN's…

计算机科学与博弈论 · 计算机科学 2023-12-29 Andrea Carotti , Cosimo Sguanci , Anastasios Sidiropoulos

The Bitcoin Lightning Network is a Layer 2 payment protocol that addresses Bitcoin's scalability by facilitating quick and cost effective transactions through payment channels. This research explores the feasibility of using machine…

机器学习 · 计算机科学 2025-10-24 Vincent Davis , Emanuele Rossi , Vikash Singh

As Lightning network payments are neither broadcasted nor publicly stored. Thus LN has been seen not only as scalability but also as privacy solution for Bitcoin. The protocol guarantees that only the latest channel state can be confirmed…

密码学与安全 · 计算机科学 2020-04-02 Sergei Tikhomirov , Rene Pickhardt , Alex Biryukov , Mariusz Nowostawski

The Bitcoin Lightning network is a mechanism to enable fast and inexpensive off-chain Bitcoin transactions using peer-to-peer (P2P) channels between nodes that can also be composed into a routing path. Although the resulting possible…

网络与互联网体系结构 · 计算机科学 2020-06-26 Finnegan Waugh , Ralph Holz

The Lightning Network is a scaling solution for Bitcoin that promises to enable rapid and private payment processing. In Lightning, multi-hop payments are secured by utilizing Hashed Time-Locked Contracts (HTLCs) and encrypted on the…

网络与互联网体系结构 · 计算机科学 2020-06-23 Elias Rohrer , Florian Tschorsch

Payment channel networks (PCNs) such as the Lightning Network offer an appealing solution to the scalability problem faced by many cryptocurrencies operating on a blockchain such as Bitcoin. However, PCNs also inherit the stringent…

密码学与安全 · 计算机科学 2022-01-20 Philipp Zabka , Klaus-Tycho Foerster , Stefan Schmid , Christian Decker

The Bitcoin Lightning Network is a layer 2 protocol designed to facilitate fast and inexpensive Bitcoin transactions. It operates by establishing channels between users, where Bitcoin is locked and transactions are conducted off-chain until…

密码学与安全 · 计算机科学 2024-07-12 Rainer Feichtinger , Florian Grötschla , Lioba Heimbach , Roger Wattenhofer

Payment channel networks like Bitcoin's Lightning network are an auspicious approach for realizing high transaction throughput and almost-instant confirmations in blockchain networks. However, the ability to successfully make payments in…

分布式、并行与集群计算 · 计算机科学 2019-11-27 Oguzhan Ersoy , Stefanie Roos , Zekeriya Erkin

The Bitcoin Lightning Network, launched in 2018, serves as a layer 2 scaling solution for Bitcoin. The Lightning Network allows users to establish channels between each other and subsequently exchange off-chain payments. Together, these…

分布式、并行与集群计算 · 计算机科学 2024-09-25 Florian Grötschla , Lioba Heimbach , Severin Richner , Roger Wattenhofer

This paper presents a formal analysis of the Lightning Network as a monetary system structurally diverging from Bitcoin's base-layer settlement model. We demonstrate that under increasing transaction demand, BTC transaction fees rise…

分布式、并行与集群计算 · 计算机科学 2025-06-27 Craig Steven Wright

The Lightning Network is a so-called second-layer technology built on top of the Bitcoin blockchain to provide "off-chain" fast payment channels between users, which means that not all transactions are settled and stored on the main…

计算机与社会 · 计算机科学 2019-12-10 Silvia Bartolucci , Fabio Caccioli , Pierpaolo Vivo

Lightning Network (LN) is designed to amend the scalability and privacy issues of Bitcoin. It's a payment channel network where Bitcoin transactions are issued off chain, onion routed through a private payment path with the aim to settle…

密码学与安全 · 计算机科学 2020-07-14 Ferenc Beres , Istvan Andras Seres , Andras A. Benczur
‹ 上一页 1 2 3 10 下一页 ›