赵伟：有抗量子计算，所以量子计算不是问题，最大的问题是 PoW 太耗能，但是新型的 POS 等共识算法是人治，越来越中心化，导致黑客很容易攻击。
网状结构中，你把这几个点搞定，网络也还是继续运行；DPoS 机制，21 个节点背后可能是 7-8 个人，被恐怖分子一抓，要他做什么都做了。
因此，网络安全不安全，看谁说了算，PoW 就是矿机说了算，矿机就是数学，数学就是上帝之手，智能合约就是法律执行的一种。有句话说 code is law，不是代码就是法律，而是数学。
然而，代码都是程序员写的，可能会出错，所以需要形式化验证，也就是用数学来做审计。我设计过通用的代码审计系统，之前没有人用，现在爆发了，因为现在程序是钱本身。
可是，这个程序的设计还存在一定问题。程序其实一个函数，就是满足什么条件，我就做什么。那么我怎么证明这个函数没有问题，我需要描述。这时候就需要一种描述智能合约的语言，就是形式化语言。
在智能合约很简单的时候，大家都能看出来，可是一旦复杂了，就需要用到形式化验证，而且形式化语言大家都不会用，因此安全公司帮你搞定，最后变成一种服务。
版权申明：本内容来自于互联网，属第三方汇集推荐平台。本文的版权归原作者所有，文章言论不代表链门户的观点，链门户不承担任何法律责任。如有侵权请联系QQ：3341927519进行反馈。
