Abstract
We condense the theory of UTxO blockchains down to a simple and compact set of four type equations (Idealised EUTxO), and to an algebraic characterisation (abstract chunk systems), and exhibit an adjoint pair of functors between them. This gives a novel account of the essential mathematical structures underlying blockchain technology, such as Bitcoin.
Original language | English |
---|---|
Pages (from-to) | 1034-1089 |
Number of pages | 56 |
Journal | Mathematical Structures in Computer Science |
Volume | 31 |
Issue number | Special Issue 9 |
DOIs | |
Publication status | Published - 2021 |
Keywords
- UTxO
- abstract chunk systems
- algebra
- blockchain
- nominal techniques
ASJC Scopus subject areas
- Mathematics (miscellaneous)
- Computer Science Applications