在比特幣網絡中，不是每個節(jié)點都有能力儲存完整的區(qū)塊鏈數據，受限于存儲空間的的限制，很多節(jié)點是以SPV(Simplified Payment Verification簡單支付驗證)錢包接入比特幣網絡，通過簡單支付驗證可以在不必存儲完整區(qū)塊鏈下對交易進行驗證，本文將分析區(qū)塊結構Merkle樹及如何進行交易驗證。

　　區(qū)塊結構

　　在工作量證明中出現過一個區(qū)塊信息截圖：

　　細心的同學一定已經在里面發(fā)現了很多未講的其他信息，如：時間戳，版本號，交易次數，二進制哈希樹根(Merkle根)等。

　　我們來看看一個區(qū)塊結構到底是怎樣的：

　　如上圖(下文稱：區(qū)塊結構圖)所示：每個數據區(qū)塊包含區(qū)塊頭和區(qū)塊體。

　　區(qū)塊頭封裝了當前版本號、前一區(qū)塊哈希值、當前區(qū)塊PoW要求的隨機數(Nonce)、時間戳、以及Merkle根信息。

　　區(qū)塊體則包括當前區(qū)塊經過驗證的、 區(qū)塊創(chuàng)建過程中生成的所有交易記錄。這些記錄通過 Merkle樹的哈希過程生成唯一的Merkle根并記入區(qū)塊頭.

　　區(qū)塊哈希值實際上并不包含在區(qū)塊的數據結構里，其實區(qū)塊打包時只有區(qū)塊頭被用于計算哈希(從網絡被接收時由每個節(jié)點計算出來)，常說的區(qū)塊哈希值實際是區(qū)塊頭哈希值，它可以用來唯一、明確地標識一個區(qū)塊。

　　區(qū)塊頭是80字節(jié)，而平均每個交易至少是250字節(jié)，而且平均每個區(qū)塊包含2000個交易。因此，包含完整交易的區(qū)塊比區(qū)塊頭的4千倍還要大。

　　SPV節(jié)點只下載區(qū)塊頭，不下載包含在每個區(qū)塊中的交易信息。這樣的不含交易信息的區(qū)塊鏈，大小只有完整區(qū)塊鏈的幾千分之1，那SPV節(jié)點是如何驗證交易的呢?

　　哈希驗證

　　上面先留一個引子，先來回顧下哈希函數，記賬原理我們知道原始信息任何微小的變化都會哈希完全不同的哈希值。

　　簡單文件驗證

　　我們通常用哈希來檢驗下載的文件是否完整，我經?？吹竭@樣的下載頁面：

　　可以看到下載鏈接后面提供了一個MD5(MD5也是一種Hash算法)，這樣我們可以在下載之后對文件計算MD5，如果MD5與提供的MD5相等，說明文件有沒有被損壞，這個驗證過程相信大家都能理解。

　　多點文件驗證(哈希列表)

　　現在復雜度提高一點，在P2P網絡中下載時，會把大文件切成小文件，同時從多個機器上下載數據，這個時候怎么驗證數據呢?

　　以BT下載為例，在下載真正的數據之前，我們會先下載一個哈希列表的(每個下小塊計算出一個哈希)，如果有一個小塊數據在傳輸過程中損壞了，那我只要重新下載這一個數據塊就行了，這時有一個問題就出現了，那么多的哈希，怎么保證它們本身(哈希列表中的哈希值)都是正確地呢?

　　答案是把每個小塊數據的哈希值拼到一起，然后對這個長字符串在作一次哈希運算，得到哈希列表的根哈希。只要根哈希校對比一樣就說明驗哈希列表是正確的，再通過哈希列表校驗小數據塊，如果所有的小數據塊驗證通過則說明大文件沒有被損壞。

　　Merkle樹

　　驗證交易的過程和文件驗證很相似，可以人為每個交易是一個小數據塊，但比特幣使用Merkle樹的方式進行驗證，相對于哈希列表，Merkle樹是一種哈希二叉樹，它的明顯的一個好處是可以單獨拿出一個分支來(作為一個小樹)對部分數據進行校驗，更加高效。

　　我們回看下上面的區(qū)塊結構圖，區(qū)塊體就包含這樣一個Merkle樹,Merkle樹被用來歸納一個區(qū)塊中的所有交易。

　　每個葉子節(jié)點是每個交易信息的哈希，往上對相鄰的兩個哈希合并成字符串再哈希，繼續(xù)類似的操作直到只剩下頂部的一個節(jié)點，即Merkle根，存入區(qū)塊頭。

　　因為Merkle樹是二叉樹，所以它需要偶數個葉子節(jié)點。如果僅有奇數個交易需要歸納，那最后的交易就會被復制一份以構成偶數個葉子節(jié)點，這種偶數個葉子節(jié)點的樹也被稱為平衡樹。

　　簡化支付驗證

　　SPV節(jié)點不保存所有交易也不會下載整個區(qū)塊，僅僅保存區(qū)塊頭，我們來看看它是如何對交易數據進行驗證的。

　　假如要驗證區(qū)塊結構圖中交易6，SPV節(jié)點會通過向相鄰節(jié)點索要(通過Merkleblock消息)包括從交易6哈希值沿Merkle樹上溯至區(qū)塊頭根哈希處的哈希序列 (即哈希節(jié)點6, 5, 56, 78, 5678, 1234 1~8 - 稱為認證路徑) 來確認交易的存在性和正確性。(在N個交易組成的區(qū)塊中確認任一交易只需要計算log2(N)個字節(jié)的哈希值，非?？焖俑咝?

　　大家明白了嗎?