在區塊鏈行業我們聽到以下這些描述：“區塊鏈是信任的機器”，“區塊鏈最核心的特性是去中心化”，“去中心化的特性離不開工作量證明”，可能具體的說法不一樣，但是意思基本是一致的，並且還有一個最終的結論——計算保證信任。
對於一個區塊鏈行業的高手來說，“計算保證信任“這個結論的邏輯鏈條可能是完整並且清晰的，但對於一個普通人來說，大家對計算的理解還勉強停留在礦機、雜湊運算上面，對於“計算是否真的能夠保證信任”這個問題還有很多的疑問。算力本身還有很多問題比如說分叉、51%攻擊等等，自身都難保，真的能保證所謂的信任嗎？如果能的話，那計算又是怎麼保證的信任呢？
在討論之前，我們先做一個概念上的界定，因為信任是一個很模糊的詞語。我對於信任有一個明確的定義：凡約定會執行，就確定會執行！
在我看來，透過計算保證的信任，是由以下幾個方面構成的。
1、透過計算保證過程不可逆
比特幣網路中任何一個節點，如果想生成一個新的區塊並寫入區塊鏈，必須解出比特幣網路出的工作量證明題目，而解出這個問題的答案只能靠強大算力的物理累積，並沒有別的更好辦法。
正因為如此，工作量證明保證了每一個區塊的出現都是經過了大量的計算，最終工作量最大的那條鏈成為主鏈。而且透過特定的鏈式結構，使得一環扣一環，修改其中任何一環都需要重複之前的工作量，這樣就使得這個過程基本上不可逆。
當然這種不可逆只是理論上的不可逆，並不是工程上的不可逆。在工程上只要你願意付出足夠大的代價，也有辦法實現資料的可逆，只不過是在另一條鏈上可逆，這個辦法就是硬分叉。比如以太坊ETH和以太坊經典ETC的硬分叉——2016年6月全球最大的以太坊專案TheDAO被盜360萬個以太坊，市直高達6000萬美元，這對當時剛剛起步的以太坊社羣來說是致命的。創始人Vitalik Buterin和社羣大部分人認為不能就這樣算了，社羣透過網路投票的方式決定對以太坊交易進行回滾。
2、透過計算保證結果不可篡改
其實不可篡改的特性和不可逆的特性有很多共同的地方，正是因為整個過程不可逆，所以結果不可篡改，如果你能篡改其中的任何一部分，就相當於過程可逆。
經常有人會問不可篡改和不可修改有甚麼區別？他們認為一個區塊鏈應該是不可篡改，但是應該可以修改的。因為如果一個區塊鏈不能修改的話，會出現很多問題，比如說轉錯賬怎麼辦？比如說被駭客盜取怎麼辦？比如說發出一筆轉賬之後，突然發現對方是犯罪份子正在執行違法犯罪行為，需要緊急終止怎麼辦？
如果真的出現上面所說的一筆賬轉出去但是突然發現對方是詐騙行為或者有其它違法犯罪行需要緊急中止，對不起，在這條區塊鏈上沒有辦法完成。但是在你轉帳轉出去之後，你可以迅速報警，鎖定地址，透過交易所的協助或者其它社會工程上的線下行為來追回損失，但是僅依靠區塊鏈本身是沒辦法停止交易追回損失的。
當前很多非計算共識的區塊鏈專案都是可以修改的，相當於交易是可逆的。比如採用DPOS共識機制的EOS，它有仲裁委員會（研習社注： 已經去被取消），如果透過裁決認定交易非法，那交易是可以迴轉的，你的損失是有辦法追回的。但是這種非計算共識的區塊鏈，從本質上來說，並不屬於真正的區塊鏈，更像是帶激勵機制的分散式帳本。
對於一個真正的透過計算保證的不可篡改的區塊鏈專案而言，資料應該不僅是不可篡改，而且是不可修改的。任何的對過去交易資料的修改，都會導致交易的可逆，從而動搖整個區塊鏈的根基。
所以對我而言，不可篡改就是不可修改！兩者意義完全一樣。
3、透過演算法開源保證業務邏輯可信
當我們用優步打車的時候，他的演算法是不開源的；當我用百度搜尋的時候，它的演算法是不開源的。因為不開源，他的計算過程、排序過程是否合理，是否存在人為操縱和刻意的偏向是不得而知的，從而使得結果的真實性和有效性也無法得到確認。
正如王嘉平博士在文章《區塊鏈還有多長的路要走？》中說道：
在本質上，由於網頁排序(Web Ranking)這個計算過程執行在Google自家的機房，裡面真實的邏輯是甚麼，產生的結果是不是合理的、公允的、並且不被操縱的，作為第三方完全無法確信。Google也沒有辦法自證。本質原因是這個計算過程依賴特定的物理計算裝置(資料中心)，並且Google完全掌控這個物理計算裝置，從而完全掌控了這個計算過程。
區塊鏈的計算本質是一個可以和特定計算裝置分離的馮·諾伊曼架構，是可以向第三方證明的可信計算正規化，目的是為了計算過程真實可信，支援上層應用上實現業務邏輯的自證清白，為世界帶來可以計算的信任。
這是從演算法開源的角度保證信任。
4、透過計算去除門檻，保證人人都能參與
透過計算能去除門檻，保證人人都能參與，這一點很容易被大家忽略。因為大家會覺得不管使用甚麼共識機制，反正公鏈都是對所有人開放的，所有人都能參與。
雖然大部分公鏈都是所有人都能參與，但是能不能參與記帳本身，就是記帳是否可信的重要因素。如果每個人都能隨時參與系統的記帳，那麼這個系統當然是可信的；如果只有一些選舉出來的人來記帳，或者符合某些資質的人才能記帳，那麼這個系統總是有值得懷疑的可能性。
5、計算建立可信環境，智慧合約完成剩下的工作
根據我們上面的說法，我們透過計算構建了這麼一個環境——計算過程不過逆，計算結果不可篡改，計算演算法開源，人人都可參與，人人都可驗證，透過這幾點，我們就構建了一個可信的環境。
就好像說到珠穆朗瑪峰登過頂的人都是意志力很堅定的人，這種說法一般是靠譜的，因為他登頂珠穆朗瑪峰這件事就相當於一個工作量證明；就好像說拿過奧運短跑金牌的人都是短跑方面的高手一樣，這種說法也是靠譜的，雖然在現實生活中有很多人沒有拿過奧運金牌也是高手，但是奧運金牌這件事本身就是一個工作量證明，拿到奧運金牌這個限制條件就相當於構建了一個可信的環境。
計算本身並不直接等於信任，計算只是建立了一個可信的環境，可信環境本身不是信任，但是在這個可信環境當中執行的智慧合約是可信的，是符合我們凡是有約定就必然會執行的定義的。所以當我們說到信任的時候其實是說計算加上智慧合約之和，畢竟光有計算沒有智慧合約也無法構成一個完整的區塊鏈。
在傳統的網際網路時代，智慧合約就能實現自動化的功能，但是在網際網路時代，資料由中心化組織掌控，業務由中心化組織設定，程式碼不開源，演算法隨時調整，使得這時的智慧合約沒有真正可信的環境。但是區塊鏈的出現，正好給了智慧合約這種可信的環境，讓智慧合約變成真正意義上能大規模自動執行的自動合約。
一個由計算所構成的可信環境，加上在這個環境下不受人為控制的智慧合約，兩者之和等於信任。
以上就是我個人認為的區塊鏈透過計算保證信任的全部邏輯。
-END-
作者簡介：蒙特卡洛，區塊鏈研習社特約作者，巴位元專欄作者。
宣告：本文為作者獨立觀點，不代表區塊鏈研習社立場，亦不構成任何投資意見或建議。
