A Logic of Blockchain Updates

Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2018). A Logic of Blockchain Updates. In: LFCS 2018: Logical Foundations of Computer Science. Lecture Notes in Computer Science: Vol. 10703 (pp. 107-119). Cham: Springer International Publishing 10.1007/978-3-319-72056-2_7

[img] Text
BlockchainLogic.pdf - Accepted Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (279kB) | Request a copy

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 BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model.

Item Type:

Book Section (Book Chapter)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Brünnler, Kai; Flumini, Dandolo and Studer, Thomas

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISBN:

978-3-319-72055-5

Series:

Lecture Notes in Computer Science

Publisher:

Springer International Publishing

Language:

English

Submitter:

Lukas Jaun

Date Deposited:

20 Apr 2018 09:13

Last Modified:

20 Apr 2018 09:13

Publisher DOI:

10.1007/978-3-319-72056-2_7

BORIS DOI:

10.7892/boris.112776

URI:

https://boris.unibe.ch/id/eprint/112776

Actions (login required)

Edit item Edit item
Provide Feedback