Pregled bibliografske jedinice broj: 1087205
Probabilistic Consensus of the Blockchain Protocol
Probabilistic Consensus of the Blockchain Protocol // LNCS, volume 11726
Beograd, Srbija, 2019. str. 469-480 doi:10.1007/978-3-030-29765-7_39 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), ostalo)
CROSBI ID: 1087205 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Probabilistic Consensus of the Blockchain Protocol
Autori
Bojan Marinković, Paola Glavan, Zoran Ognjanović, Dragan Doder, Thomas Studer
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), ostalo
Izvornik
LNCS, volume 11726
/ - , 2019, 469-480
Skup
European Conference on Symbolic and Quantitative Approaches with Uncertainty, 2019.
Mjesto i datum
Beograd, Srbija, 18.09.2019. - 20.09.2019
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Multi-agent systems ; Blockchain ; Temporal epistemic logic with probabilities ; Formal model Specification/verification
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
