Blockchain
證明區塊鏈收斂到最長鏈
是否有數學證明表明區塊鏈收斂到最長的鏈?在我看來,分散的一組節點和交易信號最終將如何在工作量證明/權益證明/等下匯聚到一條最長的鏈上,這似乎並不明顯。
謝謝!!!
如果沒有進一步的限定或假設,則不存在此類證據,因為該陳述不正確。工作量證明充其量只會讓礦工不收斂代價高昂,但如果礦工不考慮自己的財務狀況,只是想建構其他節點一直不同意的多個鏈分支,那麼絕對沒有什麼可以阻止的他們。當然,任何人都可以成為礦工,從而阻止這種攻擊——但這又變成了經濟論據,而不是無條件的證明。
接下來,要求“一條最長的鏈”,這取決於你如何解釋,這甚至不是工作量證明的目標。PoW 旨在使節點對生成塊的不確定性根據頂部塊的數量變為零,但這並不意味著最新塊。很可能在尖端總是有多個競爭塊,但節點很少不同意該尖端的第 N 個(例如,第 6 個)祖先是什麼。可以把它想像成一棵不斷生長的樹,舊樹枝被砍掉,而靠近尖端的樹枝越來越多。請注意,這在比特幣的參數化實踐中很少見(超過 1 個區塊深度的分叉僅每隔幾個月發生一次),但其他參數的情況很可能會有所不同。
然而,即使有上述兩個條件,我也不相信存在普遍的證據。困難在於表達條件以捕捉諸如經濟假設之類的東西。如果你離現實更遠,確實有證據表明,如果大多數算力是“誠實的”(因為他們總是在他們所知道的最好的區塊鏈提示之上工作),並且每一方都能看到每個區塊立即生成,則需要切換分支的機率確實接近 0,因為頂部已經建構了更多塊;這個證明甚至在比特幣白皮書中。在以後的工作中可能會有一些普遍假設的證明,包括允許在礦工聽到彼此的區塊之前進行(有界)通信延遲的證明,儘管我現在沒有任何參考資料。