Probabilistic Consensus of the Blockchain Protocol

Marinkovic, Bojan; Glavan, Paola; Ognjanovic, Zoran; Doder, Dragan; Studer, Thomas (September 2019). Probabilistic Consensus of the Blockchain Protocol. Lecture notes in computer science, 11726, pp. 469-480. Springer 10.1007/978-3-030-29765-7_39

[img]
Preview
Text
probability_blockchain.pdf - Accepted Version
Available under License Publisher holds Copyright.

Download (363kB) | Preview
[img] Text
Marinković2019_Chapter_ProbabilisticConsensusOfTheBlo.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (276kB)

We introduce a temporal epistemic logic with probabilities as an extension of temporal epistemic logic. This extension enables us to reason about properties that characterize the uncertain nature of knowledge, like “agent a will with high probability know after time s same fact”. To define semantics for the logic we enrich temporal epistemic Kripke models with probability functions defined on sets of possible worlds. We use this framework to model and reason about probabilistic properties of the blockchain protocol, which is in essence probabilistic since ledgers are immutable with high probabilities. We prove the probabilistic convergence for reaching the consensus of the protocol.

Item Type:

Conference or Workshop Item (Paper)

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:

Studer, Thomas

Subjects:

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

ISSN:

0302-9743

ISBN:

978-3-030-29765-7

Publisher:

Springer

Language:

English

Submitter:

Nenad Savic

Date Deposited:

21 Oct 2019 10:31

Last Modified:

05 Dec 2022 15:31

Publisher DOI:

10.1007/978-3-030-29765-7_39

BORIS DOI:

10.7892/boris.133991

URI:

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

Actions (login required)

Edit item Edit item
Provide Feedback