A knowledge-based analysis of the blockchain protocol

zbMATH Open1483.68024arXiv1707.08751MaRDI QIDQ3384077FDOQ3384077

Authors: Joseph Y. Halpern, Rafael Pass 

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1707.08751

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• 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
• Analysis of the Blockchain Protocol in Asynchronous Networks

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)