A knowledge-based analysis of the blockchain protocol

MaRDI QIDQ3384077zbMATH OpenFDO

Authors Joseph Y. Halpern, Rafael Pass

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08751, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.22

Mathematics Subject Classification ID

Knowledge representation (68T30) Network protocols (68M12)

Recommendations

• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• SoK: a consensus taxonomy in the blockchain era
• Blockchain consensus protocols in the wild (keynote talk)
• A logic of blockchain updates
• Blockchain technology: issues of analysis and synthesis

Cites work

• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A characterization of eventual Byzantine agreement
• Analysis of the Blockchain Protocol in Asynchronous Networks
• Belief as defeasible knowledge
• Knowledge and common knowledge in a distributed environment
• Knowledge, probability, and adversaries
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Naming and identity in epistemic logic. II: A first-order logic for naming
• Programming simultaneous actions using common knowledge
• The Bitcoin Backbone Protocol: Analysis and Applications

Cited in

(10)

• Analysis of the Blockchain Protocol in Asynchronous Networks
• Modal and justification logics for multi-agent systems (invited talk)
• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• A computationally grounded logic of graded belief
• Reasoning about knowledge and conditional probability
• The Bitcoin Backbone Protocol: Analysis and Applications
• Simplicial models for the epistemic logic of faulty agents
• Bitcoin private key locked transactions
• A history based logic for dynamic preference updates
• A logic of blockchain updates

This page was built for publication: A knowledge-based analysis of the blockchain protocol

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