A Safe Language for Programming with Money
Sam Blackshear, Novi Research
Blockchain Research Seminar Series
http://www.fields.utoronto.ca/activit...
Abstract: I will discuss the design and implementation of Move, a new language for programming with money and other digital assets. Move allows programmers to define custom resource types with semantics inspired by linear logic. We have formalized the semantics of Move and proven that all Move programs enjoy resource safety, a value conservation guarantee similar to (e.g) conservation of mass. We are using Move to implement high-assurance currency issuance, payments, access control, and governance in the Libra blockchain.