A Logic of Blockchain Updates
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 6 Jul 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1.
1 paper.