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)

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, 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:

05 Dec 2022 15:11

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