LFCS Seminar: 23 June 2020 - James Gabbay

Title: What is an EUTxO blockchain?


The UTxO (unspent transaction output) model is the underlying data structure of Bitcoin, which has since been extended to the Extended UTxO model.  But what is it?  I will give a novel mathematical model based on some strikingly easy type equations which -- for me at least -- make it easier to see what is structurally going on.  I will then describe how these type equations could be used to obtain two further models, one which is more abstract and one which is more concrete:

1. a universal algebra axiomatisation, and

2. executable Haskell code.

A first paper (submitted) and code are online now:



Affiliation: Heriot-Watt University



Jun 23 2020 -

LFCS Seminar: 23 June 2020 - James Gabbay

Speaker: James Gabbay

Blackboard Collaborate: