A logic of blockchain updates

DOI10.1007/978-3-319-72056-2_7MaRDI QIDQ1709692zbMATH OpenOpenAlexFDO

Authors Kai Brünnler, Dandolo Flumini, Thomas Studer

Publication date 6 April 2018

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

zbMATH Keywords

dynamic epistemic logicmodal logicblockchain

Mathematics Subject Classification ID

Data structures (68P05) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Abstract: Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model.

Recommendations

• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• A knowledge-based analysis of the blockchain protocol
• Blockchain technology: issues of analysis and synthesis
• The blockchain consensus layer and BFT
• Blockchain consensus protocols in the wild (keynote talk)

Cited in

(3)

• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• Algebras of UTxO blockchains
• A knowledge-based analysis of the blockchain protocol

This page was built for publication: A logic of blockchain updates

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