publication . Other literature type . Article . Preprint . Part of book or chapter of book . 2020

A logic of blockchain updates

Thomas Studer;
Open Access English
  • Published: 25 Sep 2020
  • Publisher: Springer
  • Country: Switzerland
Abstract
<jats:title>Abstract</jats:title> <jats:p>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.</jats:p>
Subjects
free text keywords: 005: Computerprogrammierung, Programme und Daten, Computer Science - Logic in Computer Science, 000 Computer science, knowledge &amp; systems, 510 Mathematics, Theoretical Computer Science, Hardware and Architecture, Logic, Software, Arts and Humanities (miscellaneous)
Funded by
SNSF| Justifications and non-classical reasoning (Juno)
Project
  • Funder: Swiss National Science Foundation (SNSF)
  • Project Code: 200021_165549
  • Funding stream: Project funding | Project funding (Div. I-III)

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) [OpenAIRE]

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) [OpenAIRE]

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)

11. Herlihy, M., Moir, M.: Blockchains and the logic of accountability: Keynote address. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. pp. 27-30. LICS '16 (2016) [OpenAIRE]

Abstract
<jats:title>Abstract</jats:title> <jats:p>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.</jats:p>
Subjects
free text keywords: 005: Computerprogrammierung, Programme und Daten, Computer Science - Logic in Computer Science, 000 Computer science, knowledge &amp; systems, 510 Mathematics, Theoretical Computer Science, Hardware and Architecture, Logic, Software, Arts and Humanities (miscellaneous)
Funded by
SNSF| Justifications and non-classical reasoning (Juno)
Project
  • Funder: Swiss National Science Foundation (SNSF)
  • Project Code: 200021_165549
  • Funding stream: Project funding | Project funding (Div. I-III)

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) [OpenAIRE]

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) [OpenAIRE]

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)

11. Herlihy, M., Moir, M.: Blockchains and the logic of accountability: Keynote address. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. pp. 27-30. LICS '16 (2016) [OpenAIRE]

Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue