Algebras of UTxO blockchains

Research output: Contribution to journalArticlepeer-review

12 Downloads (Pure)

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 languageEnglish
Number of pages56
JournalMathematical Structures in Computer Science
Early online date25 Jan 2022
DOIs
Publication statusE-pub ahead of print - 25 Jan 2022

Keywords

  • UTxO
  • abstract chunk systems
  • algebra
  • blockchain
  • nominal techniques

ASJC Scopus subject areas

  • Mathematics (miscellaneous)
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Algebras of UTxO blockchains'. Together they form a unique fingerprint.

Cite this