A Logic of Blockchain Updates

  • Kai Brünnler
  • Dandolo Flumini
  • Thomas StuderEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10703)


Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there are only few logic-based models for blockchains available. We introduce \(\mathsf {BCL}\), a dynamic logic to reason about blockchain updates, and show that \(\mathsf {BCL}\) is sound and complete with respect to a simple blockchain model.


Blockchain Modal logic Dynamic epistemic logic 



We would like to thank Eveline Lehmann and Nenad Savic for carefully reading a previous version of this paper. We also thank the anonymous referees for many valuable comments that helped to improve this paper.


  1. 1.
    Antonopoulos, A.M.: Mastering Bitcoin: Unlocking Digital Crypto-Currencies. O’Reilly Media, Inc., Sebastopol (2014)Google Scholar
  2. 2.
    Artemov, S.N.: Explicit provability and constructive semantics. Bullet. Symbolic Logic 7(1), 1–36 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Brünnler, K., Flumini, D., Studer, T.: A logic of blockchain updates. E-print 1707.01766. (2017)
  4. 4.
    Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. J. Comput. Syst. Sci. 80(6), 1046–1066 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Buterin, V.: Ethereum: a next-generation smart contract and decentralized application platform (2013). Accessed 2 Feb 2017
  6. 6.
    Decker, C., Wattenhofer, R.: Information propagation in the Bitcoin network. In: 13th IEEE International Conference on Peer-to-Peer Computing, pp. 1–10 (2013)Google Scholar
  7. 7.
    van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Dordrecht (2008). zbMATHGoogle Scholar
  8. 8.
    van Ditmarsch, H., Kooi, B.: The secret of my success. Synthese 151(2), 201–232 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Grunspan, C., Pérez-Marco, R.: Double spend races. ArXiv e-prints 1702.02867 (2017)Google Scholar
  10. 10.
    Halpern, J.H., Rafael, P.: A knowledge-based analysis of the blockchain protocol. In: Lang, K. (ed.) TARK 2017, pp. 324–335, no. 251 in EPTCS (2017)Google Scholar
  11. 11.
    Herlihy, M., Moir, M.: Blockchains and the logic of accountability: keynote address. In: LICS 2016, pp. 27–30 (2016)Google Scholar
  12. 12.
    Kokkinis, I., Maksimović, P., Ognjanović, Z., Studer, T.: First steps towards probabilistic justification logic. Logic J. IGPL 23(4), 662–687 (2015)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Kooi, B.: Expressivity and completeness for public update logics via reduction axioms. J. Appl. Non Classical Logics 17(2), 231–253 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Kuznets, R., Studer, T.: Update as evidence: belief expansion. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol. 7734, pp. 266–279. Springer, Heidelberg (2013). CrossRefGoogle Scholar
  15. 15.
    Lamport, L., Shostak, R., Pease, M.: The byzantine generals problem. ACM Trans. Program. Lang. Syst. 4(3), 382–401 (1982)CrossRefzbMATHGoogle Scholar
  16. 16.
    Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2009)Google Scholar
  17. 17.
    Renne, B.: Public communication in justification logic. J. Logic Comput. 21(6), 1005–1034 (2011). Published online July 2010MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Sompolinsky, Y., Zohar, A.: Secure high-rate transaction processing in bitcoin. In: Böhme, R., Okamoto, T. (eds.) FC 2015. LNCS, vol. 8975, pp. 507–527. Springer, Heidelberg (2015). CrossRefGoogle Scholar
  19. 19.
    Steiner, D.: A system for consistency preserving belief change. In: Artemov, S., Parikh, R. (eds.) Proceedings of Rationality and Knowledge, 18th ESSLLI, pp. 133–144. Association for Logic, Language and Information (2006)Google Scholar
  20. 20.
    Steiner, D., Studer, T.: Total public announcements. In: Artemov, S.N., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 498–511. Springer, Heidelberg (2007). CrossRefGoogle Scholar
  21. 21.
    Wood, G.: Ethereum: a secure decentralised generalised transaction ledger, EIP-150 revision (2017). Accessed 2 Feb 2017

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.Bern University of Applied SciencesBernSwitzerland
  2. 2.ZHAW School of EngineeringWinterthurSwitzerland
  3. 3.University of BernBernSwitzerland

Personalised recommendations