LFCS Seminar: 23 June 2020 - James Gabbay

Title: What is an EUTxO blockchain?

Abstract: 

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:

https://arxiv.org/abs/2003.14271

https://github.com/bellissimogiorno/nominal/blob/master/src/Language/Nominal/Examples/IdealisedEUTxO.hs

Affiliation: Heriot-Watt University

 

 

Jun 23 2020 -

LFCS Seminar: 23 June 2020 - James Gabbay

Speaker: James Gabbay

Blackboard Collaborate:
TBA