區(qū)塊鏈?zhǔn)切湃蔚臋C(jī)器，區(qū)塊鏈?zhǔn)亲詈诵牡奶匦允侨ブ行幕?，去中心化的特性離不開工作量證明，可能具體的說法不一樣，但是意思基本是一致的，并
“區(qū)塊鏈?zhǔn)切湃蔚臋C(jī)器”，“區(qū)塊鏈?zhǔn)亲詈诵牡奶匦允侨ブ行幕?rdquo;，“去中心化的特性離不開工作量證明”，可能具體的說法不一樣，但是意思基本是一致的，并且還有一個(gè)最終的結(jié)論——計(jì)算保證信任。
對(duì)于一個(gè)區(qū)塊鏈行業(yè)的高手來說，“計(jì)算保證信任“這個(gè)結(jié)論的邏輯鏈條可能是完整并且清晰的，但對(duì)于一個(gè)普通人來說，大家對(duì)計(jì)算的理解還勉強(qiáng)停留在礦機(jī)、哈希運(yùn)算上面，對(duì)于“計(jì)算是否真的能夠保證信任”這個(gè)問題還有很多的疑問。算力本身還有很多問題比如說分叉、51%攻擊等等，自身都難保，真的能保證所謂的信任嗎?如果能的話，那計(jì)算又是怎么保證的信任呢?
凡約定會(huì)執(zhí)行，就確定會(huì)執(zhí)行！在討論之前，先做一個(gè)概念上的界定，因?yàn)樾湃问且粋€(gè)很模糊的詞語。通過計(jì)算保證的信任，是由以下幾個(gè)方面構(gòu)成的：
一、通過計(jì)算保證過程不可逆
比特幣網(wǎng)絡(luò)中任何一個(gè)節(jié)點(diǎn)，如果想生成一個(gè)新的區(qū)塊并寫入?yún)^(qū)塊鏈，必須解出比特幣網(wǎng)絡(luò)出的工作量證明的題目，而解出這個(gè)問題的答案只能靠強(qiáng)大算力的物理累積，并沒有別的更好辦法。
正因?yàn)槿绱?，工作量證明保證了每一個(gè)區(qū)塊的出現(xiàn)都是經(jīng)過了大量的計(jì)算，最終工作量最大的那條鏈成為主鏈。而且通過特定的鏈?zhǔn)浇Y(jié)構(gòu)，使得一環(huán)扣一環(huán)，修改其中任何一環(huán)都需要重復(fù)之前的工作量，這樣就使得這個(gè)過程基本上不可逆。
當(dāng)然這種不可逆只是理論上的不可逆，并不是工程上的不可逆。在工程上只要你愿意付出足夠大的代價(jià)，也有辦法實(shí)現(xiàn)數(shù)據(jù)的可逆，只不過是在另一條鏈上可逆，這個(gè)辦法就是硬分叉。比如說以太坊ETH和以太坊經(jīng)典ETC的硬分叉——2016年6月全球最大以太坊項(xiàng)目TheDAO被盜360萬個(gè)以太坊，市直高達(dá)6000萬美元，這對(duì)當(dāng)時(shí)剛剛起步的以太坊社區(qū)來說是致命的。創(chuàng)始人Vitalik Buterin和社區(qū)大部分人認(rèn)為不能就這樣算了，社區(qū)通過網(wǎng)絡(luò)投票的方式?jīng)Q定對(duì)以太坊交易進(jìn)行回滾。
二、通過計(jì)算保證結(jié)果不可篡改
其實(shí)不可篡改的特性和不可逆的特性有很多共同的地方，正是因?yàn)檎麄€(gè)過程不可逆，所以結(jié)果不可篡改，如果你能篡改其中的任何一部分，就相當(dāng)于過程可逆。
經(jīng)常有人會(huì)問不可篡改和不可修改有什么區(qū)別?他們認(rèn)為一個(gè)區(qū)塊鏈應(yīng)該是不可篡改，但是應(yīng)該可以修改的。因?yàn)槿绻粋€(gè)區(qū)塊鏈不能修改的話，會(huì)出現(xiàn)很多問題，比如說轉(zhuǎn)錯(cuò)賬怎么辦?比如說被黑客盜取怎么辦?比如說發(fā)出一筆轉(zhuǎn)賬之后，突然發(fā)現(xiàn)對(duì)方是犯罪份子正在執(zhí)行違法犯罪行為，需要緊急終止怎么辦?
如果真的出現(xiàn)上面所說的一筆賬轉(zhuǎn)出去但是突然發(fā)現(xiàn)對(duì)方是詐騙行為或者有其它違法犯罪行需要緊急中止，對(duì)不起，在這條區(qū)塊鏈上沒有辦法完成。但是在你轉(zhuǎn)帳轉(zhuǎn)出去之后，你可以迅速報(bào)警，鎖定地址，通過交易所的協(xié)助或者其它社會(huì)工程上的線下行為來追回?fù)p失，但是僅依靠區(qū)塊鏈本身是沒辦法停止交易追回?fù)p失的。
當(dāng)前很多非計(jì)算共識(shí)的區(qū)塊鏈項(xiàng)目都是可以修改的，相當(dāng)于交易是可逆的。比如采用DPOS共識(shí)機(jī)制的EOS，它有仲裁委員會(huì)，如果通過裁決認(rèn)定交易非法，那交易是可以回轉(zhuǎn)的，你的損失是有辦法追回的。但是這種非計(jì)算共識(shí)的區(qū)塊鏈，從本質(zhì)上來說，并不屬于真正的區(qū)塊鏈，更像是帶激勵(lì)機(jī)制的分布式帳本。
對(duì)于一個(gè)真正的通過計(jì)算保證的不可篡改的區(qū)塊鏈項(xiàng)目而言，數(shù)據(jù)應(yīng)該不僅是不可篡改，而且是不可修改的。任何的對(duì)過去交易數(shù)據(jù)的修改，都會(huì)導(dǎo)致交易的可逆，從而動(dòng)搖整個(gè)區(qū)塊鏈的根基。
三、通過算法開源保證業(yè)務(wù)邏輯可信
用優(yōu)步打車的時(shí)候，他的算法是不開源的;當(dāng)我用百度搜索的時(shí)候，它的算法是不開源的。因?yàn)椴婚_源，他的計(jì)算過程、排序過程是否合理，是否存在人為操縱和刻意的偏向是不得而知的，從而使得結(jié)果的真實(shí)性和有效性也無法得到確認(rèn)。
正如王嘉平博士在文章《區(qū)塊鏈還有多長(zhǎng)的路要走?》中說道：
在本質(zhì)上，由于網(wǎng)頁排序(Web Ranking)這個(gè)計(jì)算過程運(yùn)行在Google自家的機(jī)房，里面真實(shí)的邏輯是什么產(chǎn)生的結(jié)果是不是合理的、公允的、并且不被操縱的，作為第三方完全無法確信。Google也沒有辦法自證。本質(zhì)原因是這個(gè)計(jì)算過程依賴特定的物理計(jì)算設(shè)備(數(shù)據(jù)中心)，并且Google完全掌控這個(gè)物理計(jì)算設(shè)備，從而完全掌控了這個(gè)計(jì)算過程。
區(qū)塊鏈的計(jì)算本質(zhì)是一個(gè)可以和特定計(jì)算設(shè)備分離的馮·諾伊曼架構(gòu)，是可以向第三方證明的可信計(jì)算范式，目的是為了計(jì)算過程真實(shí)可信，支持上層應(yīng)用上實(shí)現(xiàn)業(yè)務(wù)邏輯的自證清白，為世界帶來可以計(jì)算的信任。
這是從算法開源的角度保證信任。
四、通過計(jì)算去除門檻，保證人人都能參與
通過計(jì)算能去除門檻，保證人人都能參與，這一點(diǎn)很容易被大家忽略。因?yàn)榇蠹視?huì)覺得不管使用什么共識(shí)機(jī)制，反正公鏈都是對(duì)所有人開放的，所有人都能參與。
雖然大部分公鏈都是所有人都能參與，但是能不能參與記帳本身，就是記帳是否可信的重要因素。如果每個(gè)人都能隨時(shí)參與系統(tǒng)的記帳，那么這個(gè)系統(tǒng)當(dāng)然是可信的;如果只有一些選舉出來的人來記帳，或者符合某些資質(zhì)的人才能記帳，那么這個(gè)系統(tǒng)總是有值得懷疑的可能性。
五、計(jì)算本身只創(chuàng)建可信環(huán)境，智能合約完成剩下的工作
根據(jù)我們上面的說法，我們通過計(jì)算構(gòu)建了這么一個(gè)環(huán)境——計(jì)算過程不過逆，計(jì)算結(jié)果不可篡改，計(jì)算算法開源，人人都可參與，人人都可驗(yàn)證，通過這幾點(diǎn)，我們就構(gòu)建了一個(gè)可信的環(huán)境。
就好像說到珠穆朗瑪峰登過頂?shù)娜硕际且庵玖軋?jiān)定的人，這種說法一般是靠譜的，因?yàn)樗琼斨槟吕尸敺暹@件事就相當(dāng)于一個(gè)工作量證明;就好像說拿過奧運(yùn)短餐金牌的人都是短跑方面的高手一樣，這種說法也是靠譜的，雖然在現(xiàn)實(shí)生活中有很多人沒有拿過奧運(yùn)金牌也是高手，但是奧運(yùn)金牌這件事本身就是一個(gè)工作量證明，拿到奧運(yùn)金牌就像這個(gè)限制條件就相當(dāng)于構(gòu)建了一個(gè)可信的環(huán)境。
計(jì)算本身并不直接等于信任，計(jì)算只是創(chuàng)建了一個(gè)可信的環(huán)境，可信環(huán)境本身不是信任，但是在這個(gè)可信環(huán)境當(dāng)中執(zhí)行的智能合約是可信的，是符合我們凡是有約定就必然會(huì)執(zhí)行的定義的，所以當(dāng)我們說到信任的時(shí)候其實(shí)是說計(jì)算加上智能合約之和，畢竟光有計(jì)算沒有智能合約也無法構(gòu)成一個(gè)完整的區(qū)塊鏈。
在傳統(tǒng)的互聯(lián)網(wǎng)時(shí)代，智能合約就能實(shí)現(xiàn)自動(dòng)化的功能，但是在互聯(lián)網(wǎng)時(shí)代，數(shù)據(jù)由中心化組織掌控，業(yè)務(wù)由中心化組織設(shè)置，代碼不開源，算法隨時(shí)調(diào)整，使得這時(shí)的智能合約沒有真正可信的環(huán)境。但是區(qū)塊鏈的出現(xiàn)，正好給了智能合約這種可信的環(huán)境，讓智能合約變成真正意義上能大規(guī)模自動(dòng)執(zhí)行的自動(dòng)合約。
一個(gè)由計(jì)算所構(gòu)成的可信環(huán)境，加上在這個(gè)環(huán)境下不受人為控制的智能合約，兩者之和等于信任。
（蒙特卡洛）
