A Language Stack for Implementing Contracts • Markus Völter • GOTO 2018

This presentation was recorded at GOTO Amsterdam 2018. #gotocon #gotoams http://gotoams.nl Markus Völter - Language Engineer ABSTRACT The term Smart Contract is used for arbitrary programs that run on the distributed, trustworthy computing infrastructure provided by a blockchain. However, the sweet spot for such programs is actual contracts, i.e., long-running, collaborative processes involving several parties who may or may not trust each other. To implement such contracts effectively, we need much more than the Blockchain: contracts must be expressed in a way so that the relevant stakeholders, who are not typically programmers, can understand the them; contracts must be functionally correct, i.e., they must behave in exactly the way the stakeholders expect; and they must be protected against being gamed, for example, through sybil attacks. The trust in the execution [...] Download slides and read the full abstract here: https://gotoams.nl/2018/sessions/423 https://twitter.com/gotoamst https://www.facebook.com/GOTOConference https://www.linkedin.com/company/goto- http://gotocon.com #blockchain #SmartContract Looking for a unique learning experience? Attend the next GOTO Conference near you! Get your ticket at http://gotocon.com SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1