比特幣:一文深入探索比特幣為其全節點運營者提供的安全模型_COIN

作者:JamesonLopp翻譯&校對:閔敏&阿劍

人們在討論不同密碼學貨幣的共識機制時經常會產生爭議，主要是因為他們對這些密碼學貨幣用來保護賬本歷史數據的安全模型缺乏了解。雖然所有共識模型都是在防范各種理論上的攻擊，但是了解這些模型的目的非常重要。安全模型可以分為兩個部分：假設和保證。如果用作輸入的假設成立，則安全模型輸出的保證也應成立。讓我們來深入探索比特幣為其全節點運營者提供的安全模型。求真

“用戶間信任需求最小化是比特幣的優勢之一。我個人甚至認為這是比特幣最大的優勢。”——PieterWuille分布式賬本旨在提供有序的事件記錄，因為在分布式系統中你不能單純地信任時間戳。新的參與者剛加入一個區塊鏈網絡時，會從軟件硬編碼的創世塊開始下載所有可獲得的區塊，然后鑒別整條區塊鏈的有效性。比特幣安全模型最重要的假設之一是絕大多數礦工都是誠實的——他們在努力保護區塊鏈的安全性，而不是試圖破壞它。實際上，縱觀比特幣的發展史，得益于有效的礦工激勵機制，這個假設至今未被打破，雖然已經有人懷疑它能否長期保持。有了這個假設作為前提，全節點運營者完全可以確信：除礦工之外沒人能增發比特幣，而且比特幣的供應量會嚴格按照發行計劃表增加。沒有私鑰就無法花費對應的比特幣。沒有人可以重復花費同一筆比特幣。在比特幣區塊鏈強有力的保證下，全節點運營者還可以確信以下兩點：任何比特幣區塊都是在其時間戳的大約兩小時內創建的。他們正在同步的是“真實的”區塊鏈歷史。從技術層面來講，比特幣區塊需要經過大量檢查：所有區塊都遵守共識規則：每個區塊都與其父塊相連每個區塊都達到目標難度值，并且有充足的工作量證明區塊時間戳位于與上一最新區塊之間的時間窗口內默克爾根與區塊所記載的交易相匹配區塊大小不超過上限每個區塊的第一筆交易是coinbase交易Coinbase輸出不超過區塊獎勵區塊內包含的簽名操作不超過許可范圍所有交易都遵守共識規則：輸入值和輸出值都是合理的交易只花費還未被花費過的輸出所有即將花費的輸入都有有效簽名coinbase交易創建后的100個區塊內，該coinbase交易的輸出無法花費當某筆交易仍處在區塊確認的窗口期，其輸出就不能花費篇幅有限，其余規則不作贅述熱力學安全性

一巨鯨將2.5萬枚stETH存入Aave，借出3500萬枚USDT轉入Binance:金色財經報道，據Lookonchain監測數據，過去24小時內，一巨鯨將2.5萬枚stETH (約合4300萬美元) 存入Aave，后借出3500萬枚USDT并轉入Binance。[2023/6/12 21:31:21]

區塊內的交易一經確認無法回滾，除非有人花費大量能源重寫這條鏈。只要沒有攻擊者擁有全網50%以上的算力，且誠實的節點可以快速通信，發生交易回滾的概率就會隨著交易確認次數呈指數級下降。其它類型的攻擊雖然沒有這么高的能耗需求，但是實施起來很難。

-來源：YonatanSompolinsky1和AvivZohar撰寫的Bitcoin’sSecurityModelRevisited-從比特幣礦工當前的累積工作量來看，攻擊者需要計算出將近10^26個哈希值，才能從創世塊開始構建出一條累積工作量證明更多的鏈。全節點會將這條鏈視為“合法”的鏈。

Hodlnaut司法管理人：Holdnaut幾位最大債權人希望將公司清算而非重組:金色財經報道，根據破產的加密借貸平臺Hodlnaut司法管理人發布的一份法庭文件，Holdnaut的幾位最大債權人表示，他們希望將公司清算，而不是進行重組。反對重組的債權人包括Algorand基金會和目前正在清算中的 Samtrade Custodian Limited，這些債權人的債權價值約為1.7億美元。

2022年8月份，Hodlnaut在新加坡向高等法院提交了一份申請，尋求債權人保護，使法律索賠和訴訟程序能夠暫時暫停，避免以低價強制出售代幣，以便可以穩定財務狀況，專注于重組和恢復計劃。[2023/4/26 14:26:36]

-來源：http://bitcoin.sipa.be-我們來計算一下51%攻擊的成本：一臺螞蟻礦機S9的功耗是0.1J/GH。10^26hash*0.1J/10^9hash=10^15J10^15J=2,777,777,778kw/h*$0.10kw/h=$277,777,778撰寫本文時，一個區塊必須達到253,618,246,641的目標難度值，這大約需要：253,618,246,641*2^48/65535=1.09*10^21hash1.09*10^21hash*0.1J/10^9hash=1.09*10^11J1.09*10^11J=30,278kw/h*$0.10kw/h=$3,028因此，我們可以說比特幣具有熱力學安全性。你可以調整上述計算中的一些變量來降低成本，但我們可以肯定的是，僅重寫整條區塊鏈就需要價值數百萬美元的電力。然而，在最壞的情況下，擁有如此強大算力的攻擊者能夠將交易回滾至2014年——我們很快就會深入探究其原因。另外請注意，購買和運行礦機所需的成本并未考慮在內。抗女巫攻擊

SBF已抵達巴哈馬機場接受美國引渡:12月22日消息，巴哈馬時間12月21日18:30（北京時間12月22日7:30）左右，前FTX首席執行官Sam Bankman-Fried（SBF）已抵達巴哈馬私人機場，將飛往美國面臨一連串的刑事指控。

SBF預計將被美國當局拘留，并被送往紐約，聯邦檢察官上周在那里公布了一項涉及八項罪名的起訴書。如果所有指控都被定罪，他可能會面臨數十年的牢獄之災。一旦回到美國，他可能會在數小時內被提審，他的律師可能會提出申請讓他獲準保釋。目前還不清楚SBF將在哪個美國機場降落。（彭博社）[2022/12/22 22:00:09]

由于比特幣協議認為累積工作量證明最多的鏈才是合法的鏈，新加入網絡的對等節點只需與另一個誠實的對等節點建立連接，就可以找到合法的鏈。這也被稱為抗女巫攻擊，這意味著攻擊者無法通過運行多個不誠實的對等節點來向某個對等節點提供虛假信息。

上圖顯示了一個近乎最糟糕的情況：你的節點遭受了大規模女巫攻擊，但是依然與一個誠實的節點保持連接，就可以通過這個節點連接至真正的區塊鏈。只要有一個誠實的對等節點將真實的區塊鏈數據傳輸給你的全節點，你的節點就會識破那些試圖欺騙你的女巫攻擊者，然后將它們忽略。實時共識

路透社：馬斯克就440億美元的交易反訴Twitter:金色財經消息，據路透社報道，埃隆·馬斯克在放棄以440億美元收購推特的法律戰中反訴推特，并補充說該訴訟是秘密提出的。雖然這份文件是密封的，但修訂后的版本可能很快就會公布。

報道稱，該訴訟是在周五提起的，而就在幾小時前，法院下令于10月17日開始為期五天的庭審，以決定馬斯克是否可以退出該交易。

7月8日，馬斯克在與Twitter就虛假賬戶的比例發生分歧后，申請退出收購該公司的交易。在5月份的一份文件中，推特估計其5%的賬戶是虛假的。隨后，在4月底接受馬斯克的收購要約后，Twitter于7月12日起訴馬斯克，迫使他以約440億美元的價格收購該平臺。（theblock）[2022/7/30 2:48:16]

當你的節點同步至區塊鏈頂端時，你就會發現比特幣協議通過其它一些有趣的屬性來維護全網共識。《比特幣和其它密碼學貨幣的研究視角及挑戰》的作者指出，以下特性對密碼學貨幣的穩定性來說至關重要：最終共識。在任何時候，所有遵守規則的節點都要就最終的“合法”區塊鏈的最新一個區塊達成共識。指數級收斂。深度為n的分叉的概率是O(2?n)。這使得用戶堅信他們的交易可以在“k次確認”后得到永久結算。活性。新區塊會不斷生成，支付適當交易費的有效交易會在合理時間內被打包上鏈。正確性。在累積工作量證明最多的鏈上，所有區塊內包含的交易都是有效的。公平性。擁有全網總算力X%的礦工可以挖出大約X%的區塊。論文作者指出，比特幣看起來具備上述特性，至少是在假設大部分礦工都保持誠實的前提下。這就是區塊獎勵和工作量證明機制想要達到的目的。還有許多其它算法可以用來維護分布式系統中的共識，例如：權益證明幣齡證明質押證明燃燒證明活動量證明耗時證明聯合共識實用型拜占庭容錯上述算法創建了不同的安全模型——與工作量證明最明顯的區別在于，基于這些算法的系統都是以消耗內部資源而非外部資源來達成共識的。受其影響，這些系統對網絡中驗證者的激勵措施和信任需求各不相同，極大地改變了安全模型。安全模型誤區

億萬富翁Bill Miller：比特幣是抵御金融災難的“保險”:金色財經報道，5月24日，Miller在播客“Richer, Wiser, Happier”的一集節目中表示支持比特幣，認為它是陷入沖突的人仍然可以獲取金融產品的一種手段。他以2021年8月美國撤軍后阿富汗金融基礎設施的崩潰為例，當美國從阿富汗撤軍時，西聯匯款停止向阿富汗匯款，也不再從阿富汗接受匯款，但如果你有比特幣，你就沒事。你的比特幣就在那里。如果你有手機，你可以發送給世界上任何一個人。

Miller表示，比特幣如何發揮保險作用的例子并不“必須是全有或全無”，并指出了比特幣在新冠疫情大流行早期階段的表現和美聯儲對它的反應。當被問及他是否仍持有比特幣時，Miller證實他的資金約“40% - 50%”投資于亞馬遜股票，他持有的比特幣“與亞馬遜股票大致相同”，并補充說他的凈資產的80%分配在這兩種資產之間。（cointelegraphcn）[2022/5/27 3:45:17]

一個常見的誤區是，比特幣有一個明確定義的安全模型。事實上，無論是過去還是現在，比特幣協議都沒有一個正式定義的規范或安全模型。我們能做的最好的事情就是研究系統參與者的動機和行為，以便更好地理解和描述比特幣的安全模型。盡管如此，經常有人誤解了比特幣協議的一些特性。一些區塊鏈存在很嚴重的隱患，因為開發者在節點軟件中增加了專斷設定的已簽名檢查點，表示“開發人員已經確認區塊X位于正確的那條鏈上”。這是一個極端中心化的單點問題。值得一提的是，比特幣有13個被硬編碼的檢查點，但是這些檢查點并沒有像被專斷設定的檢查點那樣改變安全模型。最后一個檢查點被添加到了BitcoinCore0.9.3內，區塊高度是295000。這個區塊的難度值是6,119,726,089，所需電力成本約為：6,119,726,089*2^48/65535=2.62*10^19hash2.62*10^19hash*0.1J/10^9hash=2.62*10^9J2.62*10^9J=728kw/h*$0.10kw/h=$73因此，如果女巫攻擊者將一個新加入的節點圍住，幾乎不需要任何成本就可以在較低的區塊高度創建較短的區塊鏈，但是不能超過檢查點。如果女巫攻擊者將一個節點從同步超過區塊高度295,000的網絡分離出來，就能以每個區塊73美元的成本開始提供虛假區塊，至少是在發生難度調整之前。但是，受害節點同步的區塊鏈越長，攻擊者創建一條累積工作量證明更多的鏈所需的成本越高。GregMaxwell和PieterWuille都表示，他們希望某天能完全移除檢查點。BitcoinCore的維護負責人WladimirvanderLaan指出，對于那些想要了解比特幣安全模型的人來說，檢查點經常使人感到困惑。可以說，位于區塊高度295,000的檢查點意味著，全節點“相信”BitcoinCore開發者所說的2014年4月9日之前的區塊都是有效的。但是，全節點依然會檢查每個區塊頭里的默克爾哈希值，也就是說，交易歷史的有效性依然受到工作量證明的保護。首次同步歷史區塊鏈時，這些舊的檢查點可以改善性能，盡管libsecp256k1的引入讓性能差異變得不那么明顯。檢查點存在的目的主要有三個：防止節點的內存被有效但低工作量證明的區塊頭占滿。跳過早期區塊內的簽名。估量同步進度。在撰寫這篇文章時，GregMaxwell提出使用累積工作量證明檢查來代替檢查點。一旦節點成功同步了某條包含超過5.4*10^24次哈希計算工作量的鏈，累積工作量證明較少的那條鏈就會被拒絕。這恰好與2014年9月創建的區塊320,000的工作量大致相符，這時單個區塊的難度值約為27,000,000,000。

-來源：Blockchain.info-當難度值為27,000,000,000時，挖礦需要計算大約27,000,000,000*2^48/65535=1.16*10^20次哈希函數。1.16*10^20hash*0.1J/10^9hash=1.16*10^10J1.16*10^10J=3,222kw/h*$0.10kw/h=$322因此，根據提議進行修改后，如果女巫攻擊者將一個需要從頭開始同步的全新節點完全包圍起來，就可以從任一區塊開始向這個節點發送虛假的區塊數據，而且幾乎不需要成本。如果女巫攻擊者將一個已經同步超過區塊320,000的節點完全包圍起來，那么從區塊320,000開始向該節點發送每個虛假區塊的成本是322美元。簡而言之，如果一個實體可以完全控制你的節點的網絡連接，無論是采用哪種方式對節點的初始同步進行檢查，攻擊成本都相對較低；如果你的節點的網絡連接不受任何實體的控制，就可以輕而易舉地忽略來自攻擊者的區塊。原地址:https://blog.lopp.net/bitcoins-security-model-a-deep-dive/

Tags：比特幣區塊鏈COINCOI比特幣交易所app下載到底什么是區塊鏈KuCoin Tokenkucoin交易所怎么樣

幣贏交易所