A Logic of Blockchain Updates

Other literature type, Preprint English OPEN
Brünnler, Kai; Flumini, Dandolo; Studer, Thomas;
  • Publisher: Springer
  • Related identifiers: doi: 10.1007/978-3-319-72056-2_7
  • Subject: 005: Computerprogrammierung, Programme und Daten | Computer Science - Logic in Computer Science

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 is no logic-based model for blockchains avai... View more
  • References (11)
    11 references, page 1 of 2

    1. Antonopoulos, A.M.: Mastering Bitcoin: Unlocking Digital Crypto-Currencies. O'Reilly Media, Inc. (2014)

    2. Artemov, S.N.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1-36 (Mar 2001)

    3. Bru¨nnler, K., Studer, T.: Syntactic cut-elimination for common knowledge. Annals of Pure and Applied Logic 160(1), 82-95 (2009)

    4. Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. Journal of Computer and System Sciences 80(6), 1046-1066 (2014)

    5. Buterin, V.: Ethereum: A next-generation smart contract and decentralized application platform (2013), https://github.com/ethereum/wiki/wiki/White-Paper, retrieved 2 Feb. 2017

    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)

    7. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, Synthese Library, vol. 337. Springer (2007)

    8. van Ditmarsch, H., Kooi, B.: The secret of my success. Synthese 151(2), 201-232 (2006)

    9. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)

    10. Grunspan, C., P´erez-Marco, R.: Double spend races. ArXiv e-prints 1702.02867 (2017)

  • Related Research Results (1)
  • Related Organizations (3)
  • Metrics
Share - Bookmark