Probabilistic Logic Models for the Lightning Network
The Lightning Network (LN) has emerged as one of the prominent solutions to overcome the biggest limit of blockchain based on PoW: scalability. LN allows for creating a layer on top of an existing blockchain where users can send payments and micro-payments without waiting long confirmation times. On...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2022-06-01
|
| Series: | Cryptography |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2410-387X/6/2/29 |
| _version_ | 1827661137471078400 |
|---|---|
| author | Damiano Azzolini Fabrizio Riguzzi |
| author_facet | Damiano Azzolini Fabrizio Riguzzi |
| author_sort | Damiano Azzolini |
| collection | DOAJ |
| description | The Lightning Network (LN) has emerged as one of the prominent solutions to overcome the biggest limit of blockchain based on PoW: scalability. LN allows for creating a layer on top of an existing blockchain where users can send payments and micro-payments without waiting long confirmation times. One of the key features of LN is that payments can also be sent towards nodes that are not directly connected. From the routing perspective, the balance of an edge that connects two nodes is known, but the distribution between the two involved ends is unknown. Thus, the process of sending payments is based on a trial and error approach, and the routing can be considered probabilistic. Probabilistic Logic Programming (PLP) is a powerful formalism that allows the representation of complex relational domains characterized by uncertainty. In this paper, we study the problem of reasoning about the existence of a path between two nodes that can route a payment of a given size leveraging multiple models based on PLP. We adopt some recently proposed extensions of PLP and develop several models that can be adapted to represent multiple scenarios. |
| first_indexed | 2024-03-10T00:04:17Z |
| format | Article |
| id | doaj.art-69b553d66aeb48f8b1166c3314a0b9ea |
| institution | Directory Open Access Journal |
| issn | 2410-387X |
| language | English |
| last_indexed | 2024-03-10T00:04:17Z |
| publishDate | 2022-06-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Cryptography |
| spelling | doaj.art-69b553d66aeb48f8b1166c3314a0b9ea2023-11-23T16:11:12ZengMDPI AGCryptography2410-387X2022-06-01622910.3390/cryptography6020029Probabilistic Logic Models for the Lightning NetworkDamiano Azzolini0Fabrizio Riguzzi1Dipartimento di Matematica e Informatica, Università di Ferrara, Via Saragat 1, 44122 Ferrara, ItalyDipartimento di Matematica e Informatica, Università di Ferrara, Via Saragat 1, 44122 Ferrara, ItalyThe Lightning Network (LN) has emerged as one of the prominent solutions to overcome the biggest limit of blockchain based on PoW: scalability. LN allows for creating a layer on top of an existing blockchain where users can send payments and micro-payments without waiting long confirmation times. One of the key features of LN is that payments can also be sent towards nodes that are not directly connected. From the routing perspective, the balance of an edge that connects two nodes is known, but the distribution between the two involved ends is unknown. Thus, the process of sending payments is based on a trial and error approach, and the routing can be considered probabilistic. Probabilistic Logic Programming (PLP) is a powerful formalism that allows the representation of complex relational domains characterized by uncertainty. In this paper, we study the problem of reasoning about the existence of a path between two nodes that can route a payment of a given size leveraging multiple models based on PLP. We adopt some recently proposed extensions of PLP and develop several models that can be adapted to represent multiple scenarios.https://www.mdpi.com/2410-387X/6/2/29probabilistic logic programmingLightning Networkprobabilistic modeling |
| spellingShingle | Damiano Azzolini Fabrizio Riguzzi Probabilistic Logic Models for the Lightning Network Cryptography probabilistic logic programming Lightning Network probabilistic modeling |
| title | Probabilistic Logic Models for the Lightning Network |
| title_full | Probabilistic Logic Models for the Lightning Network |
| title_fullStr | Probabilistic Logic Models for the Lightning Network |
| title_full_unstemmed | Probabilistic Logic Models for the Lightning Network |
| title_short | Probabilistic Logic Models for the Lightning Network |
| title_sort | probabilistic logic models for the lightning network |
| topic | probabilistic logic programming Lightning Network probabilistic modeling |
| url | https://www.mdpi.com/2410-387X/6/2/29 |
| work_keys_str_mv | AT damianoazzolini probabilisticlogicmodelsforthelightningnetwork AT fabrizioriguzzi probabilisticlogicmodelsforthelightningnetwork |