|
Change #57204
2020-07-10
16:21:37
|
create
Calagator::Event
1250477119
Public Tech Talk: "What is an EUTxO blockchain?" by Jamie Gabbay
Roll back
| description |
nil |
→ |
The UTxO (unspent transaction output) model is the underlying data structure of Bitcoin, which has since been extended to the Extended UTxO model.
It exists in code, but what does it mean? I will give a novel mathematical model based on some strikingly simple type equations which -- for me at least -- make it easier to see what is structurally going on. I will describe how the equations can be used to obtain two further models, one which is more abstract and one which is more concrete:
* A universal algebra axiomatisation, exhibiting Blockchain as an algebraic structure and so implying a general mathematics *and* specific testable properties against which to verify an EUTxO implementation, and
* An executable Haskell reference implementation
|
| end_time |
nil |
→ |
2020-08-06 10:30:00 -0700 |
| id |
nil |
→ |
1250477119 |
| start_time |
nil |
→ |
2020-08-06 09:30:00 -0700 |
| title |
nil |
→ |
Public Tech Talk: "What is an EUTxO blockchain?" by Jamie Gabbay |
| url |
nil |
→ |
https://galois.com/blog/2020/07/public-tech-talk-what-is-an-eutxo-blockchain/ |
| venue_details |
nil |
→ |
To receive Zoom meeting information, send an email request to: [email protected] |
| venue_id |
nil |
→ |
202396544 |
|