# A Logic of Blockchain Updates

arXiv: https://arxiv.org/abs/1707.01766 · HTML: https://mlsanity.com/paper/1707.01766/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 6 Jul 2017.

## Built on by (most cited first, 1 of 1)

- [A formal model for ledger management systems based on contracts and temporal logic](https://mlsanity.com/paper/2109.15212/) (2021)

## 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.