如何理解比特幣挖礦的工作量證明

BCH開發(fā)者awemany發(fā)布了一篇白皮書——《Storm——Using weak proof-of-work for instant confirmations on Bitcoin Cash》（《風暴——使用弱工作量證明實現(xiàn)比特幣現(xiàn)金交易即時確認》）

為理解《風暴》，我重讀了弱區(qū)塊白皮書。

先來理解下比特幣挖礦工作量證明。

一個挖礦的過程是計算一個隨機數(shù)，誰先算出這個符合條件的數(shù)，這個條件叫“目標值”，就成功挖到一個區(qū)塊，就可以拿到區(qū)塊獎勵和交易手續(xù)費了?？紤]到交易安全性，比特幣系統(tǒng)設(shè)定全網(wǎng)平均10分鐘就會有人算對一次，如果這個平均時間比10分鐘快，那系統(tǒng)就會加大計算的難度，反之就減少。

為了衡量挖礦出塊時間，系統(tǒng)定義了一個叫“難度”的值。“難度值”和“目標值”是可以通過計算公式相互計算的。

為了給出弱區(qū)塊的定義，我們先將比特幣通過POW挖出符合“目標值”的區(qū)塊叫“強區(qū)塊”。請記住“目標值”和“強區(qū)塊”這兩個概念。

對應的，我們定義一個“弱目標值”，即定義一種PoW計算難度更低的“低難度值”，對應的也就可以計算出一個低目標值，就叫“弱目標值”。比如“低難度值”只有前面的“難度值”的四分之一，也可以是十分之一，這就看系統(tǒng)的多方衡量考慮。當?shù)V工計算的隨機數(shù)符合了這個“低難度值”的條件下計算出來的“弱目標值”時，這個礦工就挖到了一個叫“弱區(qū)塊”的區(qū)塊。

這種“弱區(qū)塊”的出塊速度就要比“強區(qū)塊”快很多，比如快4倍，或10倍，依據(jù)系統(tǒng)設(shè)定的“低難度值”是原“難度值”的多少而定。

弱區(qū)塊和強區(qū)塊類似，也包含類似的數(shù)據(jù)結(jié)構(gòu)，也有前散列值、隨機數(shù)、根散列值、coinbase信息，和大量的交易交易。這種弱區(qū)塊書寫成“Δ-區(qū)塊”。

由弱區(qū)塊組成的鏈就稱為子鏈，這是依附在強區(qū)塊鏈上的。當有礦工挖到一個強區(qū)塊時，子鏈就關(guān)閉了。然后系統(tǒng)再開啟一個子鏈，等著依附到下一個強區(qū)塊上。

當有礦工挖到強區(qū)塊后，依附在上面的子鏈就會被打包進強區(qū)塊。關(guān)閉子鏈后，這個強區(qū)塊的具體數(shù)據(jù)結(jié)構(gòu)應該和現(xiàn)有的區(qū)塊數(shù)據(jù)結(jié)構(gòu)完全一樣。

有了弱區(qū)塊和子鏈后，廣播強區(qū)塊的過程就可以被優(yōu)化。在強區(qū)塊被挖出之前，Δ-區(qū)塊已經(jīng)在礦工層面達成共識了，所有礦工已經(jīng)同步了弱區(qū)塊。當一個礦工挖出強區(qū)塊后，再向全網(wǎng)廣播強區(qū)塊時，就只需要廣播該強區(qū)塊的所有Δ-區(qū)塊哈希值，整個強區(qū)塊的數(shù)據(jù)結(jié)構(gòu)就不需要廣播了。這可以大大降低區(qū)塊廣播過程的數(shù)據(jù)量，降低強區(qū)塊被孤立的風險。

弱區(qū)塊沒有區(qū)塊獎勵，只有強區(qū)塊才有。但弱區(qū)塊有交易手續(xù)費，所以礦工也可以通過挖弱區(qū)塊獲得收益。

挖到強區(qū)塊的礦工，是無法拿到弱區(qū)塊里的交易手續(xù)費的。每一個弱區(qū)塊被挖出來后，該礦工會在弱區(qū)塊里構(gòu)建一筆“弱coinbase交易tx”，將該弱區(qū)塊里的所有礦工費收集在這筆“tx”里。但這筆tx在強區(qū)塊被挖出前是無效的，只有等到強區(qū)塊被挖出后，子鏈被關(guān)閉時，由強區(qū)塊礦工來分配所有的交易手續(xù)費。

這多考驗礦工人性，如果沒有硬分叉，我很難相信弱區(qū)塊能夠形成協(xié)議共識。雖然Bitcoin unlimited的開發(fā)者始終認為弱區(qū)塊是不需要硬分叉來部署。不過，這只是理論上不需要，工程上最好是設(shè)計成硬分叉。

比特幣牽涉到的利益關(guān)系極其復雜，對比特幣協(xié)議的進化需要多種領(lǐng)域的知識，包括經(jīng)濟學、計算機科學、數(shù)學 ，甚至現(xiàn)在還牽扯進來了各種政治類智慧。