BEGIN:VCALENDAR PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN CALSCALE:GREGORIAN X-WR-CALNAME:Calagator METHOD:PUBLISH VERSION:2.0 BEGIN:VTIMEZONE TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles BEGIN:DAYLIGHT DTSTART:20200308T020000 RDATE:20200308T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20200710T232137Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20200806T103000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20200806T093000 DTSTAMP;VALUE=DATE-TIME:20200710T232137Z LAST-MODIFIED;VALUE=DATE-TIME:20200710T232137Z UID:http://calagator.org/events/1250477119 DESCRIPTION:The UTxO (unspent transaction output) model is the underlying data structure of Bitcoin\, which has since been extended to the Extend ed UTxO model. \;\n \;\nIt 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: \;\n \;\n* A universal algebra axiomatisation\, ex hibiting Blockchain as an algebraic structure and so implying a general mathematics *and* specific testable properties against which to verify a n EUTxO implementation\, and \;\n \;\n* An executable Haskell ref erence implementation \;\n\n\nTags: galois\, tech talk\, Jamie Gabbay \n\nImported from: http://calagator.org/events/1250477119 URL:https://galois.com/blog/2020/07/public-tech-talk-what-is-an-eutxo-blo ckchain/ SUMMARY:Public Tech Talk: "What is an EUTxO blockchain?" by Jamie Gabbay LOCATION:This talk will be live-streamed and is open to the public. To re ceive Zoom meeting information\, send an email request to: techtalkcoord inator@galois.com: false SEQUENCE:2 END:VEVENT END:VCALENDAR