Probabilistic Consensus of the Blockchain Protocol (CROSBI ID 695378)
Prilog sa skupa u zborniku | ostalo | međunarodna recenzija
Podaci o odgovornosti
Bojan Marinković, Paola Glavan, Zoran Ognjanović, Dragan Doder, Thomas Studer
engleski
Probabilistic Consensus of the Blockchain Protocol
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.
Multi-agent systems ; Blockchain ; Temporal epistemic logic with probabilities ; Formal model Specification/verification
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
469-480.
2019.
objavljeno
10.1007/978-3-030-29765-7_39
Podaci o matičnoj publikaciji
LNCS, volume 11726
Podaci o skupu
European Conference on Symbolic and Quantitative Approaches with Uncertainty, 2019.
predavanje
18.09.2019-20.09.2019
Beograd, Srbija