Move 编程语言---如何保证资产安全?

Published at July 9, 2020 By 朱光宇.


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

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