区块链科技未来面临哪些潜在的安全风险？有反量子计算，所以量子计算不是问题。最大的问题是POW消耗的能量太大，但是POS等新的共识算法被人统治，越来越集权，很容易被黑客攻击。

在网状结构中，如果你固定这些点，网络会继续运行；DPoS机制，21个节点后面可能有7-8个人，被恐怖分子抓了，做了要求他们做的一切。

所以，网络安全不安全，要看谁负责。POW的意思是矿机说了算，矿机是数学，数学是上帝之手，智能合约是一种执法。有句话叫代码即法律，不是代码或法律，而是数学。

但是，所有的代码都是程序员写的，可能会出现错误。所以需要形式验证，也就是用数学进行审计。我设计了一个通用的代码审计系统，以前没人用，现在爆了，因为现在程序本身就是钱。

但是，这个程序的设计还是存在一些问题。程序实际上是一个函数。我会做我遇到的事情。那么我该如何证明这个函数是ok的呢？我需要描述一下。这时候我们就需要一种语言来描述智能合约，这种语言就是形式语言。

智能合约简单的时候，大家都能看到，但是一旦复杂了，你需要使用形式化验证，没有人可以使用形式化语言，所以安全公司会帮你拿到，最后变成服务。