形式化验证

rholang是一种并发编程语言，由于它自带形式化验证特性，因此用rholang在RChain上编写智能合约可以避免合约出现BUG，从而保障了整个RChain网络的安全性和健壮性。

本文主要对智能和形式化验证进行介绍。

12月19日，加密创业公司 TrustToken 宣布完成智能合约的代码审计，包括 CertiK、 Zeppelin 在内的数家独立安全审计团队对其超过958行的智能合约代码进行了独立审计，未发现任何漏洞。

区块链技术所蕴含的经济价值长期以来始终诱使着不法分子利用各种攻击手段谋取暴利。据网络安全公司Carbon Black的调查数据显示，2018年上半年，全球范围内大约价值11亿美元的数字资产被盗，且因安全事件所造成的损失金额还在不断攀升。区块链技术和其安全性问题始终是业内关注的重点。