我在2014年的時候提出來了「
區塊鏈不可能三角理論」。講的是安全性、效率和去中心化三者之間不能同時共存。
在很多領域都存在不可能三角，比如在分布式計算領域，存在一致性、分區容錯性和可用性的不可能三角。在分布式域名領域，存在安全、去中心化和人類可讀性的不可能三角。在希爾伯特公理化系統，存在一致性、獨立性和可判定性的不可能三角。
其實他們講的都是一回事。在希爾伯特公理化系統中，一致性表示命題不能相互矛盾，其實對應著安全性。大家共同保存的賬本不能互相矛盾，一筆錢在你的賬本上已經花出去了，在另一個人的賬本上不能還沒有花出去。
獨立性，講的是這些公理不能夠相互推導出來，其實就是對應著去中心化。去中心化，其實是一種共識的過程，這意味著參與共識的這些節點，有充分的、自由的決策權，而不是像僵尸網絡控制的一些節點，空間上看起來更去中心化，但是在的共識的過程當中，它是一致行動人，缺少獨立性。
可判定性，指的是不存在一個通用的算法，可以提前驗證一個命題是否成立，其實對應著效率。
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
