随着区块链技术的发展，智能合约的安全性正在受到越来越高的关注。Move作为新一代智能合约编程语言，更是将安全作为首要设计目标。那么它是如何保证资产安全的呢？为了回答这个问题，WeStar 区块链实验室的朱光宇老师，在线分享了Move语言，从智能合约的安全现状出发，结合具体例子对Move编程语言中的安全亮点进行了梳理，主要内容包括：

1. 资产作为一等公民、所有权、强数据抽象等语言特性
2. 运行时字节码安全校验
3. 基于Boogie的形式化验证