Probabilistic consensus of the blockchain protocol

DOI10.1007/978-3-030-29765-7_39MaRDI QIDQ2297801zbMATH OpenOpenAlexFDO

Authors Bojan Marinković, Paola Glavan, Zoran Ognjanović, Dragan Doder, Thomas Studer

Publication date 20 February 2020

Full work available at URL https://boris.unibe.ch/133991/

zbMATH Keywords

multi-agent systemsformal modelblockchainspecification/verificationtemporal epistemic logic with probabilities

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• A probabilistic temporal epistemic logic: strong completeness
• A knowledge-based analysis of the blockchain protocol
• Towards an Epistemic Logic for Uncertain Agents
• A probabilistic temporal epistemic logic: decidability

Cited in

(8)

• The consensus number of a cryptocurrency
• scientific article; zbMATH DE number 7255566 (Why is no real title available?)
• Distributed sequential consensus in networks: analysis of partially connected blockchains with uncertainty
• Reasoning about knowledge and conditional probability
• Modal epistemic logic on contracts: a doctrinal approach
• A probabilistic temporal epistemic logic: strong completeness
• Blockchain consensus protocols in the wild (keynote talk)
• Inclusive Block Chain Protocols

This page was built for publication: Probabilistic consensus of the blockchain protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2297801)