邓启明  |

Westar实验室

Starcoin核心开发者

即将开始的GIAC课程

为什么我们需要新的智能合约语言Move?

区块链

2021-07-30 16:50--17:50

案例背景:
区块链高速发展,DeFi时代如火如荼。在行业高歌猛进的背后,安全漏洞层出不穷,也时刻提醒我们从业人员要保持清醒的头脑,要想办法解决当下面临的各种问题。所以,随着时代的发展,智能合约语言也要不断迭代前进,在强调表达能力的同时,也要兼顾其他的方面。区块链时代,一切公开透明,开放源码,对开发者的要求更高了。那么,如何降低开发者的门槛?让开发者专注于业务,让资产更安全,是我们亟需解决的问题。我们从面临的问题入手,讲述Move是如何让开发者轻松编写出更安全的合约。

解决思路:
1. 个性化的用户需求:Solidity是链上“喂”给用户,Move通过Script个性化定制需求;
2. 更安全的资产:区分信息和资源,Move的一等公民资源类型;
3. 更简单灵活的权限系统:Move通过简单的函数可见性,灵活满足资产的授权;
4. 我们需要完善的代码测试:Move通过形式化验证进行安全性测试,通过Unit test实现功能性测试;

成果:
1、Starcoin是首个支持Move智能合约语言的公链;
2、Starcoin完全使用Move语言实现Stdlib;
3、Starcoin完全开放用户部署自己的Move智能合约;

邓启明,Starcoin核心开发者,先后在新浪、迅雷等互联网公司任职,关注区块链和分布式技术。

即将开始的GIAC课程

为什么我们需要新的智能合约语言Move?

区块链

2021-07-30 16:50--17:50

案例背景:
区块链高速发展,DeFi时代如火如荼。在行业高歌猛进的背后,安全漏洞层出不穷,也时刻提醒我们从业人员要保持清醒的头脑,要想办法解决当下面临的各种问题。所以,随着时代的发展,智能合约语言也要不断迭代前进,在强调表达能力的同时,也要兼顾其他的方面。区块链时代,一切公开透明,开放源码,对开发者的要求更高了。那么,如何降低开发者的门槛?让开发者专注于业务,让资产更安全,是我们亟需解决的问题。我们从面临的问题入手,讲述Move是如何让开发者轻松编写出更安全的合约。

解决思路:
1. 个性化的用户需求:Solidity是链上“喂”给用户,Move通过Script个性化定制需求;
2. 更安全的资产:区分信息和资源,Move的一等公民资源类型;
3. 更简单灵活的权限系统:Move通过简单的函数可见性,灵活满足资产的授权;
4. 我们需要完善的代码测试:Move通过形式化验证进行安全性测试,通过Unit test实现功能性测试;

成果:
1、Starcoin是首个支持Move智能合约语言的公链;
2、Starcoin完全使用Move语言实现Stdlib;
3、Starcoin完全开放用户部署自己的Move智能合约;

CopyRight © 2008-2021 Msup & 高可用架构

京ICP备09001521号