4月22日，大数据文摘在微信公众号发布《中科院教授白硕：AI+区快链，两大神器如何助力商业新生态》，上海证交所前总工程师白硕接受采访表示，以比特币的交易为例，进行货币转让的人是匿名的，但他们的转账行为是公开的。我们可以使用人工智能去分析这些数据，从数据的结构和数据表现的行为中去发现是什么人在做什么交易，甚至是给不同的账户进行定量的画像和分析。这样人工智能就能为国家监管区快链提供依据。
利用智能合约的代码强制执行与信任和价值有关的业务流程将会成为区快链的常态。这些代码承载着信任的流动，一旦出错或者有安全隐患，很有可能引起灾难性的后果，所以很多人不约而同地将智能合约代码的把关工作寄希望于形式化验证。为了推动区快链长远健康的发展，使得更多信任的状态能够在区快链上流动，智能合约的正确性、安全性必须得到保证。目前看来，形式化验证是一个有效的解决方案。