2017
DOI: 10.1007/978-3-319-72056-2_7
|View full text |Cite
|
Sign up to set email alerts
|

A Logic of Blockchain Updates

Abstract: 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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
5
0

Year Published

2017
2017
2024
2024

Publication Types

Select...
5
4

Relationship

3
6

Authors

Journals

citations
Cited by 11 publications
(5 citation statements)
references
References 20 publications
0
5
0
Order By: Relevance
“…26 For instance, the virtual Amazon assistant Alexa provides support to the policyholders of an American insurer in case of hurricanes with the aim of damage prevention (BaFin 2018a). a forage-proof data carrier, it implies high costs that seem economically reasonable for only limited use cases (Brünnler 2018).…”
Section: Discussionmentioning
confidence: 99%
“…26 For instance, the virtual Amazon assistant Alexa provides support to the policyholders of an American insurer in case of hurricanes with the aim of damage prevention (BaFin 2018a). a forage-proof data carrier, it implies high costs that seem economically reasonable for only limited use cases (Brünnler 2018).…”
Section: Discussionmentioning
confidence: 99%
“…Bitcoin, a prominent cryptocurrency, utilizes peer-topeer technology to enable direct transactions between users without intermediaries such as banks or credit card companies (Smith & Kumar, 2018). Brünnler et al (2018) noted that systems lacking central control could fall prey to double or multiple spending issues. However, this risk is mitigated in Bitcoin's case due to blockchain's detailed, public transaction records.…”
Section: Blockchain and Trusting Recordsmentioning
confidence: 99%
“…An IoT security system interacts with numerous internal and external devices that can be a proxy for intruder driven vulnerability. We have adopted a decentralized peer-to-peer network-oriented private blockchain [11] because it permits one institute to administer the network. That establishes controls about who is permissible to contribute to the network, implement a unanimity protocol and sustain the pooled ledger.…”
Section: Node Security Using Blockchainmentioning
confidence: 99%