Algebras of UTxO blockchains

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
49 Downloads (Pure)


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
Pages (from-to)1034-1089
Number of pages56
JournalMathematical Structures in Computer Science
Issue numberSpecial Issue 9
Publication statusPublished - 2021


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

ASJC Scopus subject areas

  • Mathematics (miscellaneous)
  • Computer Science Applications


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

Cite this