比特幣:最重鏈規則的缺陷：“公共祖先區塊”的“王儲之爭”

編者按：本文來自Conflux中文社區，作者Conflux研究組，Odaily星球日報經授權轉載。上一期《最重鏈規則的優勢與隱患》，我們介紹了最重鏈規則在縮短確認時間這件事情上的強大潛力。但其中我們也提到了，在最重鏈規則判斷一個區塊是否被確認時，前提條件之一是這個區塊是“公共祖先”。在樹圖結構中，我們不要求待確認區塊是公共祖先，但要求待確認區塊所在epoch中的主鏈區塊是公共祖先。以太坊采用了最重鏈規則的一個變種，我們就將以太坊當做最重鏈規則一個實際部署的例子。在以太坊中，我們可以看到，多數區塊都進入了主鏈，然后只需等待幾分鐘甚至更短的時間，所有新生成的誠實區塊都會出現在這個區塊的子樹中。也就是說，這個區塊成為了公共祖先。然后所有新的誠實區塊齊心協力增加它的子樹權重。使得占有少數算力的攻擊者無法再“扶植”一個兄弟作為競爭者。公共祖先區塊積累了足夠的優勢后，這個區塊就被確認了。在Conflux的實驗中，在沒有攻擊的情況下，每個區塊可以在十秒左右內就成為公共祖先，或者進入到公共祖先的epoch中。如果出塊速度很快的話，再過很短的時間就可以確認了。看似一切都很美好，然而，一些攻擊策略可以阻止新的區塊成為“公共祖先”。也就是說，對于已經成為公共祖先、已經確認的區塊，攻擊者是沒有能力逆轉的。然而，攻擊者有能力讓誠實的節點對下一個公共祖先區塊是誰，達不成統一意見，從而使誠實節點陷入曠日持久的“王儲之爭”。之后任何一個新生成的區塊都無法得到全體誠實節點的確認。這種不以雙花已確認交易為目的，以阻止新的交易被確認為目的的攻擊，我們稱為“存活性攻擊”。到目前為止，被公開討論的比較多的有一種存活性工具策略，我們稱之為“平衡攻擊”。平衡攻擊的思想很簡單，就是攻擊者在最后一個公共祖先區塊下面，“扶植”兩個勢均力敵的孩子，即嘗試維護2個大小相同的子樹。攻擊者通過對區塊網絡傳輸的影響，讓差不多一半的算力貢獻在其中一棵子樹上，另一半算力貢獻在另一棵子樹上。如果兩棵子樹上的算力很接近但不完全相等，攻擊者可以使用自己的算力來平衡這種差距，最終實現兩棵子樹上的算力均等。而被分成兩部分的誠實算力，就變成了對立的兩個陣營。兩棵大小差不多的子樹，以相同的平均速度增長子樹權重。在攻擊者的刻意影響下，每個區塊生成以后，會在很短的時間內被自己陣營的節點看到，但是需要過一段時間才能被另一個陣營的節點看到，每一個陣營都覺得自己的子樹權重略微大一些，然后在自己陣營的子樹上繼續貢獻算力。這就是攻擊者制造的一個困局。如果攻擊者只平衡兩棵子樹的算力和網絡，不進行“藏塊”的操作，誠實節點還是有能力打破這個困局的。因為挖礦的過程總有一些隨機性，其中一個陣營在一段時間內挖出的區塊會多一些。然而，假設網絡中平均有n個區塊處于正在廣播、但還沒有傳遍所有節點的狀態，誠實節點自己打破這個困局需要的時間是n平方。在給定的網絡延遲下，每加快一倍的出塊速度，n相應地也會翻倍，而誠實節點自行打破困局的時間就會成平方量級上升。而如果攻擊者還會在每個分支上挖一些塊藏起來，那么每次誠實節點即將打破困局的時候，攻擊者可以“主動干預”，放出一些藏在弱勢分支上的區塊，來繼續維持平衡。通過一些分析可以得到，在出塊速度足夠快的時候，哪怕算力很小的攻擊者，都有一定的概率讓誠實節點永遠無法打破這個困局。而作為共識機制的設計者，這個問題應當怎么解決？很簡單，像比特幣那樣，讓出塊速度慢下來，讓n的數值減小。如果將一個塊傳遍全網需要10秒，出塊時間是10分鐘，在攻擊者沒有進行“藏塊”操作的時候，一個新的誠實區塊在生成時，有59/60的概率，網絡中是沒有其他區塊在傳輸的，所有誠實節點的本地樹圖結構是一致的，不存在誠實節點在兩個陣營里的情況。即使攻擊者有更強的攻擊能力，也會發現在出塊速度慢的情況下，需要自己“干預”的次數大大增加，而自己的算力已經力不從心了。我們構建了一個理論的模型。在這個模型里，誠實節點的算力為平均每秒n個區塊，所有的誠實節點被分成兩個小組，兩個小組的算力都是均等的。小組內的區塊傳播是沒有延遲了，小組間的區塊傳播有一個延遲d秒。這樣，每個小組內收到的區塊都一樣，兩個小組看到的區塊并不完全一樣。在開始的時候，兩個小組選擇了同一個父親區塊下不同的兩個孩子區塊作為主鏈區塊，并在它們的下面貢獻權重，兩個孩子區塊的初始權重相同。如果在某一時刻，其中一個小組所選擇的孩子區塊在自己的本地視圖內也不占優，也就是這個小組根據最重鏈規則要“倒戈”的時候，攻擊者需要放出一些區塊避免這件事情，從而維持兩個小組不能為誰是下一個“公共祖先”達成一致。如果攻擊者不能放出區塊，那么則攻擊失敗。如果攻擊者希望攻擊永遠不失敗的概率大于0，那么攻擊者需要滿足一個最低的算力要求。下圖展示了在不同的d*n的情況下最低的算力需求。可以看到，在d*n的取值非常小的時候，要求的最近算力接近每秒n個區塊，也就是全體好人的區塊生成速率。此時，對平衡攻擊的要求不比雙花攻擊低。當d*n的取值非常大的時候，要求的算力趨近于0。如果我們將出塊速度降的足夠低，使d*n的取值低于0.1,那么攻擊者就很難以較低的算力發起這種攻擊了(比特幣不是最重鏈規則，但我們可以用比特幣的參數舉個例子。在比特幣中，d*n大約是0.02。)然而，將攻擊出塊速度慢了下來，又違背了我們的初衷——造一個確認時間極短的PoW公鏈。這就出現了一個兩難的選擇。出塊速度快：已經確認的區塊沒有安全性危險。沒人攻擊時確認速度非常快，有人攻擊時永遠無法確認。出塊速度慢：同樣可以保證安全性，也可以保證在有人攻擊時能夠在一段時間后確認交易，但是即使沒有人攻擊，確認時間也會非常慢。到目前為止，最重鏈規則的“瑕”幾乎完全掩蓋了最重鏈規則的“玉”。那么在這個困局中，我們是否有辦法實現二者兼得，既有出塊速度慢的安全，又有出塊速度快的效率呢？我們將在接下來的幾期內容中，為大家揭曉答案。

澳本聰：比特幣系統里最重要一件事就是競爭:澳本聰（Craig Wright）近日撰文《運行比特幣節點的權利》（The Right to Run a Node），他指出「你無權運行比特幣節點」和「你有權嘗試運行比特幣節點」不是同一回事，這就像在一個社會中每個人都擁有追求幸福的權利，但你并不一定能獲得幸福。雖然這種所謂「平等崇拜」的神話讓每個人都感覺良好，但卻貶低實際成就，企圖讓失敗者、或產生更少價值的人自我膨脹。

澳本聰指出，比特幣是按照資本主義規則和激勵機制設計的，這套系統里最重要一件事就是競爭，運行比特幣協議軟件并保持完整區塊鏈記錄的ASIC礦工只有靠競爭才能創建區塊，他進一步表示：“比特幣節點必須要具有競爭力，因為沒有競爭，人們就沒有動機投資比特幣系統。比特幣網絡上的任何節點都可以被替換，換句話說，就算你今天是頭部公司，并不意味著你明天仍會是頭部公司。”（coingeek）[2020/6/8]

聲音 | 比特幣早期開發者：比特幣價格將是最重要的問題 而不是交易量:據U.Today消息，比特幣早期開發者Gavin Andresen對中本聰(Satoshi Nakamoto)區塊鏈未來交易量和價格的看法提出了質疑。中本聰在比特幣白皮書中稱，他只能預測比特幣(BTC)被采用的兩種情況，“20年后，要么交易量非常大，要么沒有”。 Gavin Andresen表示，比特幣(Bitcoin)的價格將是最重要的問題，而不是交易量。他表示，這個價格可能真的很高。Andresen預測，比特幣在2021 -2030年可能會非常昂貴，只有“黃金信徒”才把它當作一種“小眾幣”來使用。[2020/1/27]

分析 | 寬松貨幣政策可能是影響BTC價格的最重要宏觀經濟因素:據福布斯消息，數字資產研究公司Delphi Digital的一份新報告描述了全球經濟的當前趨勢，這可能導致比特幣價格的“完美風暴”。 根據Delphi Digital的最新報告，寬松貨幣政策等因素，以及近期可能出現的經濟衰退，使得圍繞比特幣的“數字黃金”說法比以往任何時候都更有意義。然而，如果全球經濟陷入衰退，比特幣的價格究竟會發生什么也不得而知。報告中表示，寬松的貨幣政策可能是影響比特幣價格的最重要的宏觀經濟因素。報告還稱:“貨幣貶值風險的上升，尤其是儲備貨幣貶值風險的上升，是一個較長期的催化劑，應該會推動比特幣和黃金一同走高。” Delphi Digital表示，比特幣在2019年的積極價格表現，是因為在全球主要法定貨幣在經濟低迷期間進一步貶值的情況下，這種加密資產有望充當“數字黃金”。[2019/8/2]

聲音 | Deribit創始人John：數字資產交易平臺最重要的是風險管理:金色財經現場報道，3月21日，Deribit創始人John Antonius Jansen在由金色財經和Deribit主辦的金色私享會S1暨金色沙龍北京站第八期圓桌論壇上表示， 現在金融衍生品的杠桿達到了100倍，而且既做多，也做空。特別是數字資產的交易全年無休，具有更高的杠桿效應。同時，他還指出，數字資產交易平臺最重要的就是風險管理，可以保證客戶的資金安全。[2019/3/21]

Tags：比特幣SENBIT數字資產比特幣價格最低是哪一年Sensoriumbitvenus交易所下載數字資產管理

DYDX