Move语言社区

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

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

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

这里是直播回放,欢迎感兴趣的朋友一同切磋。Move 编程语言—如何保证资产安全?#哔哩哔哩动画# https://www.bilibili.com/video/BV1WA411e7Hr/?share_medium=web&share_source=weibo&bbid=7A943939-0E29-401D-A2AA-D95E1886CC8040764infoc&ts=1594613875854