共識機制是區塊鏈的一個核心特徵，是保證區塊鏈系統在分佈式架構下的一致性方案。目前主流的也有好多種共識算法：POW、POS、DPOS、RCP、PBFT、DBFT 等等。網上已經充斥了很多對這些共識算法的簡單介紹，但基本流於表面而缺少深入的講解，從而讀者們也很難理解到這些共識機制背後的核心原理。而本文將以深入淺出的方式講解區塊鏈共識機制，但由於篇幅有限，因此，只會講解最重要的兩種區塊鏈的共識機制，即比特幣和以太坊的共識機制
比特幣共識機制
比特幣是區塊鏈的第一個應用，也是第一個實現了共識機制的，因此，要理解區塊鏈共識機制，自然也要先從比特幣共識機制開始。另外，雖然很多文章都提到比特幣的共識機制爲 POW（Proof of Work，工作量證明），但實際上，POW 只是整個比特幣共識機制中的一部分，雖然是核心的那部分，但卻不是全部。其實，比特幣的分佈式共識是由網絡節點的 4 種獨立過程相互作用而達成的：
- 每個全節點基於一份長長的判斷標準清單對每個交易進行獨立驗證
- 每個挖礦節點獨立將多個交易打包進新區塊，通過完成 POW 算法的驗算
- 每個節點獨立驗證新區塊並組裝進區塊鏈
- 每個節點獨立選擇最長鏈，即在 POW 機制下累計工作量最多的那條鏈
先說第一種過程，對交易的獨立驗證。每個節點收到每一個交易之後，都會先根據一份很長的判斷標準清單對該交易進行有效性校驗，包括但不限於校驗交易的語法和數據結構是否正確、輸入和輸出是否爲空、輸入總額是否小於輸出總額、每一個輸入所引用的輸出是否已經被消費，等等。如果該交易通過所有驗證，則可以說明該交易是有效的，那麼，該節點就會將該交易放入本地的交易池（或稱內存池），並將該交易廣播給其他相臨的節點。如果沒通過驗證，則會廢棄該交易，也不會將其廣播出去。其他節點接收到該交易後，也各自做同樣的獨立校驗，校驗爲交易有效之後，同樣也放入各節點自己的交易池，並繼續廣播給其他節點。所以，理論上來說，無效的交易一開始就會被廢棄，而有效的交易最終會到達整個網絡所有節點，並被每個全節點所保存，即全網達成了“該交易有效”的共識。
接着，再來聊聊第二種過程，瞭解有效的交易是如何被打包進區塊的。經過一段時間後，一般是 10 分鐘左右，每個節點的交易池裏會收集到很多有效但還未確認的交易，這些交易會組裝成一顆 Merkle Tree。關於 Merkle Tree 的結構，我們在之前的文章《014|從微觀到宏觀理解區塊鏈》已經講過，這裏就不贅述了。不過，組裝進 Merkle Tree 的第一筆交易是比較特殊的，這是一筆創幣交易，也叫 Coinbase 交易，新的比特幣就是從該筆交易產生的。這筆交易是由節點自己創建的，並將挖礦獎勵支付到礦工自己的地址，挖礦獎勵包括新創建的比特幣和打包進該區塊所有交易的手續費總額。組裝好 Merkle Tree 之後，就得到 Merkle Root，再結合區塊頭的其他 5 個字段——Version、Pre Block、Times、Difficulty、Nonce，總共 6 個字段合在一起經過兩次 SHA256 計算得到區塊哈希值。一個有效的區塊要求其哈希值必須小於 Difficulty 難度值，寫作本文時的難度要求哈希值至少已經有 18 個 0 開頭。挖礦其實就是通過修改參數的值而不斷計算區塊哈希值，直到計算出符合難度要求的哈希值。一般是通過修改 Nonce 值來計算區塊哈希值，其他 5 個字段基本是不變的。而由於哈希函數的特性，難度值越大，理論上計算出符合要求的哈希值所需的計算量就越大。舉個簡單例子，比如你扔三個骰子，如果難度要求總和小於18，那是非常容易達到的，基本扔個一兩次就能滿足要求了；而如果加大難度，要求總和小於9，那從概率上來說相對就沒那麼容易了，可能要扔個十幾次甚至幾十次才能達到；而如果要求總和等於 3，那隻能扔出三個 1 才行，這誰都知道要達到的概率是很低的，也許扔個一兩百次纔可能出現。因此，從統計學來說，一定的難度值可以推算出概率上對應所需的計算次數，也就是“工作量”，所以，只要你達到了難度要求，也就間接證明你付出了對應的工作量，這就是工作量證明。
當某個節點計算出符合難度要求的區塊哈希時，即說明該礦工挖礦成功了，該節點就會將此區塊組裝到本地的區塊鏈，同時也將此區塊廣播給其他節點。然後，就進入第三種過程了。當其他節點收到此區塊時，也會各自獨立驗證該區塊是否有效。和獨立驗證交易一樣，也存在一份驗證標準清單，包括但不限於校驗引用的上一個區塊是否是否正確、難度值是否符合標準、區塊哈希是否真的符合難度要求、Coinbase 交易中的挖礦獎勵是否多於應得的、整個區塊的每筆交易是否都是有效的，等等。其中，難度值是有標準的計算公式的，每個節點都會根據標準公式獨立計算實際的難度值，所以，礦工如果不按照標準而自己設置一個較低的難度，在其他節點是無法通過的。同樣，挖礦獎勵也是有標準公式的，所以，如果礦工給自己獎勵過多的比特幣，在其他節點也是同樣無法通過的。每個節點驗證該區塊爲有效之後，也會各自將該區塊組裝進它們本地的區塊鏈，並繼續將該區塊廣播給其他節點。
由於所有節點同時在挖同一個區塊，就有可能會出現多個節點同時挖出了同個區塊，並都將各自挖到的區塊廣播到其他節點。假設有兩個節點同時挖出了新區塊，分別爲區塊 N1 和 N2，它們的上一個區塊都是 P。有些節點會先收到 N1，它們會將 N1 先組裝進它們本地的區塊鏈，也稱爲主鏈。但之後不久，這些節點也會收到 N2，這時候，它們會將 N2 放入備選鏈。而其他節點則先收到 N2 再收到 N1，則 N2 在它們的主鏈上，而 N1 在它們的備選鏈上。這時候，整個區塊鏈暫時就分成了兩個分叉，而要打破這種局面，就要看下一個生成的區塊是基於 N1 還是 N2 了。如果下一個區塊是基於 N1，自然，N1 的這條鏈就變成了最長鏈，也是累計工作量最多的鏈。那麼，那些將 N2 鏈設爲主鏈的節點就會根據實際情況自己選擇將 N1 鏈改爲主鏈，而 N2 將成爲孤塊而被廢棄。
以上就是比特幣共識機制的核心內容了，說白了其實就是根據一些所有節點都認可的標準對每個交易和區塊的創建和校驗進行獨立驗證，當大多數節點都認可並寫入自己的區塊鏈的時候，就自動形成了分佈式共識。所有區塊鏈基本都是這個邏輯，不同區塊鏈主要在於制定的標準不同，比特幣主要就是基於 POW 機制，這種機制實現簡單，但它會造成大量的能源浪費，由於所有節點同時競爭挖礦同一個區塊，而基本只有一個節點能勝出，那其他未勝出的節點所消耗的算力能源就白費了。另外，每次交易確認（即出塊時間）大概 10 分鐘，一筆交易一般要有 6 次確認纔算安全，那基本就要 1 個小時了，這共識達成的時間太長了。
以太坊共識機制
以太坊的共識機制也是基於 POW 的，但與比特幣相比，主要有兩點不同：一是挖礦時間控制在 10 ~ 19 秒之間，出塊時間比比特幣快了很多；二是對於孤塊也有挖礦獎勵。在比特幣中，孤塊（即上文的 N2 區塊）是會被丟棄的，挖出了孤塊的礦工是得不到任何獎勵的。但在以太坊中，孤塊是能被打包進區塊裏的，如果後續的區塊將前面產生的孤塊也打包進區塊裏，那這個孤塊就變成了叔塊，那麼，挖到這個叔塊的礦工就能得到獎勵，而將叔塊打包進區塊的礦工也能得到額外的獎勵，但每個區塊最多隻能包含兩個叔塊，而且也不能包含太久的孤塊，最多隻支持到 7 層的祖先孤塊。由於以太坊的出塊時間短很多，那自然更容易出現臨時分叉而產生孤塊，而且這麼短的時間內，每個區塊也很難能夠在全網充分傳播，那對於網速慢的礦工來說，就非常吃虧了。所以，爲了平衡各方利益，以太坊才設計了叔塊機制。寫作本文時，叔塊率在 16.9% 左右。
不過，以太坊正在計劃從 POW 機制切換爲 POS（Proof of Stack，權益證明）機制，其新的共識機制名爲 Casper，其存在兩個不同實現的版本，分別是：
- Casper the Friendly Finality Gadget（FFG）
- Casper the Friendly GHOST: Correct-by-Construction（CBC）
Casper FFG 是由 Vitalik 主導的，側重於通過逐步迭代實現，慢慢過渡到 POS 機制。而 Casper CBC 則是由 Vlad Zamfir 主導的，不同於傳統的協議設計方式，即先定義完整的協議，CBC 協議在開始階段只是部分確定的，其餘部分協議以證明能夠滿足所需/必需屬性的方式得到。不過，也只是兩種不同的方法，關於 POS 的核心理念還是一致的。相對來說，FFG 比較容易理解，也很大可能是即將第一個部署到以太坊的 Casper 版本，所以下面的篇幅主要講解 FFG。
FFG 版本的 Casper 是一種混合 POW / POS 的共識機制，該機制下的每次出塊依然還是採用 POW 挖礦機制，但每 100 個區塊會增加一個 POS 檢查點（checkpoint），通過驗證人（validator）來評估區塊的最終有效性。創世區塊是一個檢查點，區塊高度爲 100 的倍數的區塊也是檢查點，將這些檢查點連起來就組成了一條檢查點鏈（checkpoint chain）。檢查點一般會有兩種狀態：justified 和 finalized，finalized 則表示已經確定爲最終有效的，該狀態的檢查點至少已經存在一個子檢查點，justified 則表示該檢查點是已經被證明合理的，finalized 的檢查點一定是 justified 的，但反過來則不一定。而一個檢查點是否有效，是通過多個驗證人投票得出的結果。下面，我們就來簡單聊聊這個過程。
首先，要成爲驗證人，是需要投入保證金的，即抵押一定量的以太幣作爲權益證明，纔有資格成爲驗證人。投入保證金是通過廣播一條 deposit 消息進行操作的，只要這條消息是有效的並被打包進區塊中，那就能加入驗證人集合（validator set），成爲其中一個驗證人。另外，如果要退出驗證人集合，則可以再廣播一條 withdraw 消息。不過，需要注意，一旦退出後，該驗證人的公鑰將被永久禁止再次加入驗證人集合。
接着，成爲驗證人之後，就可以開始投票選舉檢查點了，通過廣播一條 vote 消息到網絡中。vote 消息主要包含五個信息：兩個檢查點 s 和 t，以及這兩個檢查點的高度 h(s) 和 h(t)，以及驗證人的公鑰 ν。要求 s 必須是 t 的祖先，一般來說，t 就是最新的檢查點，而 s 是上一個已經確定爲最終有效的檢查點。另外，還要求驗證人的公鑰 v 必須在驗證人集合中找得到，否則都認爲該投票是無效的。當超過 2/3 的驗證人（實際上是 2/3 的總保證金）都投給了 (s, t) 這對檢查點時，那 s 就是 finalized 的，t 則是 justified 的。而且，那些投注了 (s, t) 的驗證人還會得到貨幣獎勵，得到的獎勵是和抵押的保證金成比例的，就是說抵押的保證金越多，得到的獎勵越多。這個獎勵也可以理解爲抵押保證金的利息。
另外，Casper 設置了兩條戒律：
- 驗證人不能發佈兩個 h(t) 相同的投票，即如果存在兩個投票：<ν, s1, t1, h(s1), h(t1)> 和 <ν,s2,t2,h(s2),h(t2)>，那麼 h(t1) = h(t2) 是不允許的；
- 如果 h(s1) < h(s2) < h(t2) < h(t1)，則第一個投票的跨度已經涵蓋了第二個投票，這也是不允許的。
如果驗證人違反了上面的戒律，則會對驗證人進行懲罰，沒收他抵押的保證金。
最後，Casper 對分叉鏈的選擇不同於 POW 機制下選擇累計工作量最多的那條鏈，Casper 對分叉鏈選擇的規則就是選擇 justified 檢查點高度最大的鏈，原文是：
- FOLLOW THE CHAIN CONTAINING THE JUSTIFIED CHECKPOINT OF THE GREATEST HEIGHT.
很明顯，以太坊的共識機制和比特幣相比複雜得多，主要在於兩點引起的：一是大大縮短了出塊時間，二是引入了 POS 機制。在 POW 機制下將出塊時間縮短到十幾秒，雖然加快了性能，但其實減低了安全性，因爲會引入很多其他問題，比如新區塊難以在這麼短的時間內擴散到全網，比如分叉鏈出現的概率更大，爲了解決這些問題，就需要設計更多共識協議來提高安全性。引入 POS 機制變成 POW + POS 的混合機制，那這種複雜度不是 1 + 1 = 2 這麼簡單的
什麼是區塊鏈共識機制？
共識機制是區塊鏈是核心的組成要素之一，它決定了區塊鏈的業務吞吐量、交易速度、不可篡改性、准入門檻等等，是最爲關鍵的技術要素之一。
要理解區塊鏈共識機制，首先就需要理解區塊鏈共識機制到底解決了什麼問題。
共識機制主要解決了兩個問題：
- 誰有權利；
- 作弊問題。
上一次我們構造了一箇中心化記賬的場景，在這個場景下，記賬問題其實可以簡化爲大家信任中心記賬者即可。
然而在分佈式記賬的場景下，問題更爲複雜。首先，大家面臨的最大問題是誰有權利記賬，其次是如何避免記賬者作弊。畢竟，誰都有權利記賬，也就意味着誰都有可能作弊。
以上兩部分共同構成了區塊鏈共識機制。
PoW 工作量證明的補充：解決雙花攻擊
上面給出了一個結論，我們說作弊的收益往往小於誠實計算的收益。這一點其實對應到區塊鏈領域有個著名的問題：雙花攻擊（double-spending） 。
雙花攻擊是指一個代幣被花費了兩次，這在任意的區塊鏈系統中是不被允許的。如果避免了雙花問題，基本就能避免上述作弊中收益過大的問題，因爲攻擊者首先要竊取到你的私鑰，同時又能控制了你的計算資源（算力）。
爲了方便分析，我們回到上一篇中廣播交易的那一節。那一節中我介紹了廣播的內容分爲兩種，第一種是 Transaction，第二種是區塊，也就是信封。
第一種又被稱爲未確認的 Transaction，第二種信封中所有的交易被稱作已確認的 Transaction。
所有記賬節點都會遵循以下兩條規則：
規則一：一個代幣如果已經被花費，那麼會被標記成已花費，如果再次接收到這個代幣被花費的請求，那麼記賬節點會拒絕打包這筆交易；
規則二：如果同時接收到兩個信封，這兩個信封中裝的兩筆交易出現了一個代幣被花費了兩次的情況，這種情況也就是我們所說的分叉（Fork），那麼選擇挖礦難度比較大的那個信封。
規則一避免了未確認的交易出現雙花，規則二基本避免已經確認的交易中（信封中）的雙花問題。
假設作弊者的計算資源（算力）佔整個系統的 30%，那麼連續兩次獲得記賬權的概率是 9%，看起來作弊的可能性還是挺高的，如果是連續 6 次獲得記賬權呢？概率直降到萬分之七。
在比特幣中，這個 6 也就是 6 次確認，表示連續 6 個塊過去了，如果我的交易沒有被雙花的話，那麼它被篡改的可能性將越來越小，最後變得幾乎不可能被篡改。這也是區塊鏈不可被篡改說法的由來。
試想，如果任何作弊者花了大量的成本獲取了系統 30% 的計算資源（算力），最後只有萬分之七的概率獲得篡改的可能性，比起作弊，還不如誠實記賬的收益高。
本文總結
本文介紹了共識機制，並且分析了比特幣的共識機制和以太坊的共識機制的區別，並且分析了pow共識機制是如何解決雙花問題的