区块链在2.0以后引入了智能合约，智能合约（Smart contract ）的官方定义是一种旨在以信息化方式传播、验证或执行合同的计算机协议。在采访中，白硕为我们做了更生动的解读：“在智能合约的框架下，体现价值和信任的数据在一个可以控制的、事先规定好的逻辑下流动，这样的流动可以给社会各个领域带来与价值和信任相关的服务，而这些服务就是智能合约。”
白硕表示，利用智能合约的代码强制执行与信任和价值有关的业务流程将会成为区块链的常态。这些代码承载着信任的流动，一旦出错或者有安全隐患，很有可能引起灾难性的后果，所以很多人不约而同地将智能合约代码的把关工作寄希望于形式化验证。
“AlphaGo Zero这些技术的出现标志了在符号推理、机器推理等方面
人工智能巨大的进展。这种推理反过来作用在智能合约上就是形式化验证”，白硕继续说道：“无论是程序的正确性、安全性和业务资金的安全性还是身份的保证，形式化验证都是能得到广泛应用的一个技术。”
为了推动区块链长远健康的发展，使得更多信任的状态能够在区块链上流动，智能合约的正确性、安全性必须得到保证。目前看来，形式化验证是一个有效的解决方案。
版权申明：本内容来自于互联网，属第三方汇集推荐平台。本文的版权归原作者所有，文章言论不代表链门户的观点，链门户不承担任何法律责任。如有侵权请联系QQ：3341927519进行反馈。
