What is an EUTxO blockchain?

07/24/2020

∙

by   Murdoch J. Gabbay, et al.

∙

0

∙

share

We condense the theory of 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.