未來區塊鏈技術面臨的潛在安全危險是什麼？有抗量子計算，所以量子計算不是問題，最大的問題是 POW 太耗能，但是新型的 POS 等共識演算法是人治，越來越中心化，導致駭客很容易攻擊。
網狀結構中，你把這幾個點搞定，網路也還是繼續執行;DPoS 機制，21 個節點背後可能是 7-8 個人，被恐怖分子一抓，要他做什麼都做了。
因此，網路安全不安全，看誰說了算，POW 就是礦機說了算，礦機就是數學，數學就是上帝之手，智慧合約就是法律執行的一種。有句話說 code is law,不是程式碼就是法律，而是數學。
然而，程式碼都是程式設計師寫的，可能會出錯，所以需要形式化驗證，也就是用數學來做審計。我設計過通用的程式碼審計系統，之前沒有人用，現在爆發了，因為現在程式是錢本身。
可是，這個程式的設計還存在一定問題。程式其實一個函式，就是滿足什麼條件，我就做什麼。那麼我怎麼證明這個函式沒有問題，我需要描述。這時候就需要一種描述智慧合約的語言，就是形式化語言。
在智慧合約很簡單的時候，大家都能看出來，可是一旦複雜了，就需要用到形式化驗證，而且形式化語言大家都不會用，因此安全公司幫你搞定，最後變成一種服務。
