原创<br> VNT：打造开发者友好的下一代公链基础设施( 三 )

2019-08-07

3、提供沙箱运行环境，实现资源隔离，保障系统的安全性；

4、支持形式化验证，保证合约安全性。

基于对WASM语言的应用以及优化改造，VNT Chain的智能合约模块具备优越的兼容性与性能，同时拥有安全性与灵活性。

尤其是VNT Chain首创的形式化自我验证能力编程语言，将语言本身的类型系统与数学定理系统结合，并将语言的类型验证与形式化验证结合，为智能合约形式化安全验证提供强有力的支持。

VNT Chain通过安全、可靠、面向大众的智能合约设计，将吸引更多的开发者，为赋能分布式经济而努力。不同于以太坊，目前VNT使用高级语言C语言作为智能合约的编程语言，拥有更强的表达力与第三方生态。

在VNT合约中，使用关键字Key修饰状态变量来表明区块链中的可持久化数据。例如，可以用下面的代码描述一段数据结构，用来记录某个地址持有了多少数量的Token。

KEY struct {

address addr;

推荐阅读

上一篇：中国铁塔上半年净利同比增110.6%，向能源、安全等多领域拓展

下一篇：味全、唯品会植入“无孔不入”，谁是《亲爱的》等热播剧背后的最大赢家？