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
Affiliation: Heriot-Watt University
Jun 23 2020
-
LFCS Seminar: 23 June 2020 - James Gabbay
Speaker: James Gabbay
Blackboard Collaborate:
TBA