Skip to main content
SpringerLink
Log in
Book cover

International Conference on Business Information Systems

BIS 2021: Business Information Systems Workshops pp 321–333Cite as

A Probabilistic Logic Model of Lightning Network

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 444))

Abstract

One of the main limitations of blockchain systems based on Proof of Work is scalability, making them unsuitable for e-commerce and small payments. Currently, one of the principal directions to overcome the scalability issue is to use the so-called “layer two” solutions, like Lightning Network, where users can open channels and send payments through them. In this paper, we propose a Probabilistic Logic model of Lightning Network, and we show how it can be adopted to compute several properties of it. We conduct some experiments to prove the applicability of the model, rather than providing a comprehensive analysis of the network.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    https://en.bitcoin.it/wiki/Block_size_limit_controversy.

  2. 2.

    https://en.bitcoin.it/wiki/Bitcoin_Improvement_Proposals.

  3. 3.

    https://github.com/bitcoin/bips/blob/master/bip-0141.mediawiki.

  4. 4.

    https://en.bitcoin.it/wiki/Hash_Time_Locked_Contracts.

  5. 5.

    https://github.com/lightningnetwork/lightning-rfc/blob/master/07-routing-gossip.md.

References

  1. Alberti, M., Bellodi, E., Cota, G., Riguzzi, F., Zese, R.: cplint on SWISH: Probabilistic logical inference with a web browser. Intell. Artif. 11(1), 47–64 (2017). https://doi.org/10.3233/IA-170105

    Article  Google Scholar 

  2. Azzolini, D., Bellodi, E., Brancaleoni, A., Riguzzi, F., Lamma, E.: Modeling bitcoin lightning network by logic programming. In: Proceedings 36th International Conference on Logic Programming (Technical Communications), vol. 325, pp. 258–260 (2020). https://doi.org/10.4204/EPTCS.325.30

  3. Azzolini, D., Riguzzi, F., Lamma, E.: Studying transaction fees in the bitcoin blockchain with probabilistic logic programming. Information 10(11), 335 (2019)

    Article  Google Scholar 

  4. Azzolini, D., Riguzzi, F., Lamma, E.: A semantics for hybrid probabilistic logic programs with function symbols. Artif. Intell. 294, 103452 (2021). https://doi.org/10.1016/j.artint.2021.103452

    Article  Google Scholar 

  5. Azzolini, D., Riguzzi, F., Lamma, E., Bellodi, E., Zese, R.: Modeling bitcoin protocols with probabilistic logic programming. In: Bellodi, E., Schrijvers, T. (eds.) Proceedings of the 5th International Workshop on Probabilistic Logic Programming, PLP 2018, Co-located with the 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy, 1 September 2018. CEUR Workshop Proceedings, vol. 2219, pp. 49–61. CEUR-WS.org (2018)

    Google Scholar 

  6. Back, A., et al.: Enabling blockchain innovations with pegged sidechains (2014)

    Google Scholar 

  7. Croman, K., et al.: On scaling decentralized blockchains. In: Clark, J., Meiklejohn, S., Ryan, P.Y.A., Wallach, D., Brenner, M., Rohloff, K. (eds.) FC 2016. LNCS, vol. 9604, pp. 106–125. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-53357-4_8

  8. Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229–264 (2002)

    Article  Google Scholar 

  9. De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S. (eds.): Probabilistic Inductive Logic Programming. LNCS (LNAI), vol. 4911. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78652-8

  10. De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic prolog and its application in link discovery. In: Veloso, M.M. (ed.) IJCAI 2007, vol. 7, pp. 2462–2467. AAAI Press/IJCAI (2007)

    Google Scholar 

  11. Luu, L., Narayanan, V., Zheng, C., Baweja, K., Gilbert, S., Saxena, P.: A secure sharding protocol for open blockchains. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, 24–28 October 2016, pp. 17–30. ACM, New York (2016). https://doi.org/10.1145/2976749.2978389

  12. Maxwell, G., Poelstra, A., Seurin, Y., Wuille, P.: Simple Schnorr multi-signatures with applications to bitcoin. Design. Codes Cryptogr. 87(9), 2139–2164 (2019). https://doi.org/10.1007/s10623-019-00608-x

    Article  Google Scholar 

  13. Michels, S., Hommersom, A., Lucas, P.J.F., Velikova, M.: A new probabilistic constraint logic programming language based on a generalised distribution semantics. Artif. Intell. 228, 1–44 (2015). https://doi.org/10.1016/j.artint.2015.06.008

    Article  Google Scholar 

  14. Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008)

    Google Scholar 

  15. Piatkivskyi, D., Nowostawski, M.: Split payments in payment networks. In: Garcia-Alfaro, J., Herrera-Joancomartí, J., Livraga, G., Rios, R. (eds.) DPM/CBT -2018. LNCS, vol. 11025, pp. 67–75. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00305-0_5

  16. Poon, J., Dryja, T.: The bitcoin lightning network: scalable off-chain instant payments (2016)

    Google Scholar 

  17. Riguzzi, F.: MCINTYRE: a Monte Carlo system for probabilistic logic programming. Fund. Inform. 124(4), 521–541 (2013). https://doi.org/10.3233/FI-2013-847

    Article  Google Scholar 

  18. Riguzzi, F.: Foundations of Probabilistic Logic Programming. River Publishers, Gistrup, Denmark (2018)

    Google Scholar 

  19. Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Sterling, L. (ed.) ICLP 1995, pp. 715–729. MIT Press (1995)

    Google Scholar 

  20. Sato, T., Kameya, Y.: PRISM: a language for symbolic-statistical modeling. In: IJCAI 1997, vol. 97, pp. 1330–1339 (1997)

    Google Scholar 

  21. Schnorr, C.P.: Efficient signature generation by smart cards. J. Cryptol. 4(3), 161–174 (1991). https://doi.org/10.1007/BF00196725

    Article  Google Scholar 

  22. Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 431–445. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-27775-0_30

    Chapter  Google Scholar 

  23. Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: Swi-prolog. Theory Pract. Logic Program. 12(1–2), 67–96 (2012)

    Article  Google Scholar 

  24. Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151, 1–32 (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria, University of Ferrara, Via Saragat 1, 44122, Ferrara, Italy

    Elena Bellodi & Evelina Lamma

  2. Dipartimento di Matematica e Informatica, University of Ferrara, Via Saragat 1, 44122, Ferrara, Italy

    Damiano Azzolini & Fabrizio Riguzzi

Authors
  1. Damiano Azzolini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabrizio Riguzzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Elena Bellodi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Evelina Lamma
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Damiano Azzolini .

Editor information

Editors and Affiliations

  1. Poznań University of Economics and Business, Poznan, Poland

    Witold Abramowicz

  2. TIB Leibniz Information Center Science and Technology and University of Hannover, Hannover, Germany

    Sören Auer

  3. Poznań University of Economics and Business, Poznan, Poland

    Milena Stróżyna

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Azzolini, D., Riguzzi, F., Bellodi, E., Lamma, E. (2022). A Probabilistic Logic Model of Lightning Network. In: Abramowicz, W., Auer, S., Stróżyna, M. (eds) Business Information Systems Workshops. BIS 2021. Lecture Notes in Business Information Processing, vol 444. Springer, Cham. https://doi.org/10.1007/978-3-031-04216-4_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-04216-4_28

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-04215-7

  • Online ISBN: 978-3-031-04216-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation