Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Public Tech Talk: "What is an EUTxO blockchain?" by Jamie Gabbay</h1> <div class='date'><time class="dtstart dt-start" title="2020-08-06T09:30:00" datetime="2020-08-06T09:30:00">Thursday, August 6, 2020 from 9:30</time>–<time class="dtend dt-end" title="2020-08-06T10:30:00" datetime="2020-08-06T10:30:00">10:30am</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202396544'><span class='fn org p-name'>This talk will be live-streamed and is open to the public. To receive Zoom meeting information, send an email request to: techtalkcoordinator@galois.com</span></a> <div class="adr p-adr h-adr"> </div> </div> <div class="description p-description"> <p>The UTxO (unspent transaction output) model is the underlying data structure of Bitcoin, which has since been extended to the Extended UTxO model.</p> <p>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:</p> <ul> <li><p>A universal algebra axiomatisation, exhibiting Blockchain as an algebraic structure and so implying a general mathematics <em>and</em> specific testable properties against which to verify an EUTxO implementation, and</p></li> <li><p>An executable Haskell reference implementation</p></li> </ul> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="https://galois.com/blog/2020/07/public-tech-talk-what-is-an-eutxo-blockchain/">Website</a></li> </ul> </div>