Too Long; Didn't Read
Smart contracts are designed to manage ownership of valuable digital assets. The Libra team developed a new programming model for their MoveVM based around a new ownership model inspired by Linear Types: Resources. Resources are a new way of representing asset ownership directly in the programming language. The moveVM provides special safety guarantees for resources, which can never be duplicated, reused, or discarded, and are enforced by the Move virtual machine. Much like in the physical world, ownership is represented by possession, and if you own something, you either have it stored in your account or don’t.