干貨|深入探索比特幣的安全模型
安全模型誤區
另外,每個區塊鏈系統都將創世塊硬編碼到了節點軟件中。你可能會覺得,“共享歷史”是一種社會契約——一旦某個區塊的歷史足夠悠久,網絡中的所有參與者之間都會達成共識,認為這個區塊永遠都不會被回滾。當開發者選定一個早期挖出的區塊并用它來創建檢查點時,更多是作為一種公認的完整性檢查,而非對歷史的客觀描述。
除了檢查點之外,節點如何實現自引導也是一個問題。目前,比特幣節點的自引導流程是檢查節點是否在本地存儲了之前從對等節點那里了解到的數據。如果沒有的話,節點將查詢一組被硬編碼到軟件中的“DNS種子”。這些種子負責維護一個連接良好的比特幣節點的列表,并將這個列表返回給你的節點。
正如我們可以從代碼中看到的那樣,BitcoinCore0.13目前使用由PieterWuille、MattCorallo、LukeDashjr、ChristianDecker、JeffGarzik和JonasSchnelli運行的DNS種子。任何人都可以使用PieterWuille的比特幣種子生成器軟件或?MattCorallo的軟件來運行DNS種子。但是,他們必須說服某個全節點實現的開發者將他們的DNS種子主機添加至對方的軟件。
比特幣全網未確認交易數量為352513筆:金色財經報道,數據顯示,目前比特幣全網未確認交易數量為352513筆,全網算力為338.14 EH/s,24小時交易速率為7.85交易/s,目前全網難度為48.01 T,預測下次難度下調1.11%至47.47 T,距離調整還剩10天8小時。[2023/5/9 14:50:29]
新節點的引導過程僅僅依賴6個DNS種子,這看似又是一個極端中心化的單點問題。但是別忘了,比特幣的安全模型只需要你連接到一個誠實的對等節點,就足以抵御女巫攻擊。
因此,一個新的節點只需能夠連接到一個沒有遭受攻擊的DNS種子即可,這個種子會返回誠實節點的IP地址。但是,為了防范所有DNS節點因某種原因全都無法訪問的情況,還有一個備用方案——一個被硬編碼到軟件中的可靠節點IP地址的列表,會隨著每個新版本發布而更新。
在圍繞這些初始化參數構建的安全模型下,全節點運營者不需要信任X個DNS種子或Y個BitcoinCore軟件開發者會向他們提供真實的數據,只需要相信有1/X的DNS節點沒有遭受攻擊,或1/Y的BitcoinCore軟件開發者會誠實地審查被硬編碼的對等節點更改的有效性即可。
天線寶寶本周或發布比特幣相關“大消息”:3月31日,天線寶寶(Teletubbies)官方推特發布了一條附加“比特幣”標簽的推文。推文稱:“天線寶寶可能向我們隱瞞什么?請繼續關注本周的大事#Bitcoin”。[2021/4/1 19:34:52]
沒有絕對安全性
從更深層次來看,你在運行一個全節點時,會在一定程度上信任你正在運行的硬件和軟件。
你可以采用多種方法將你的二進制文件的簽名與?vanderLaan的進行核對,以此驗證軟件是否可靠,但是很少會有人愿意惹這個麻煩。至于如何驗證硬件的可靠性,這是個棘手的問題。如果你需要一個安全的硬件解決方案,最接近的選擇是?ORWL。如果有人試圖篡改ORWL,會觸發它的“自毀”機制。
但是,由于CPU、RAM等重要硬件通常都是專有的,你永遠也無法100%確定它們不會遭到入侵。
比特幣的分權制衡
當你開始研究比特幣系統中不同參與者之間的關系時,會發現自己如墜五里霧中。
Quantum Economics創始人:比特幣上漲才剛剛開始:金色財經報道,Quantum Economics創始人Mati Greenspan表示,比特幣一周內上漲約29%,超過2.3萬美元,但這并不一定意味著市場“過熱”,并將走向2017年12月那樣的崩盤。他表示:“在我們看來,一切才剛剛開始。在確定可能的百分比增長方面,我們不應該使用任何舊的標準。如果需求繼續從目前的水平回升,而供應繼續受到限制,我們很有可能在未來幾天看到250%的漲幅,甚至更高。”[2020/12/18 15:37:45]
運行全節點的目的是保護你的金融主權。這就意味著,一旦你安裝并運行了特定版本的軟件,即表明你與該軟件以及其他所有網絡參與者都達成了一項協議——不僅你會遵守該軟件的規則,而且其他網絡參與者也必須遵守這些規則。
因此,如果人們想要對軟件的規則做出無法向后兼容的更改,你必須運行新版本的軟件來表示你明確同意這些規則更改。另一方面,如果是向后兼容的規則更改,即使你不同意,也可以在網絡中實行。
有人高度概括了比特幣內部的分權制衡:
金色晨訊 | Bakkt將于9月23日推出實物結算的比特幣期貨合約 Coinbase以5500萬美元收購Xapo托管業務:1.Coinbase漏洞導致約3500名用戶的個人信息以明文形式存儲在內部日志系統上。
2.Bakkt計劃將于9月23日推出實物結算的比特幣期貨合約。
3.澳大利亞稅務局警告投資者不要將大量退休基金投資于加密貨幣。
4.以太坊智能合約編程語言新版本Solidity0.5.11已發布。
5.澳大利亞證券交易所:分布式賬本結算系統開發工作正在進行 可能于2021年完成。
6.百度超級鏈XuperChain、XuperData通過國家工業信息安全發展研究中心評測鑒定所測評。
7.數名IBM員工正在申請區塊鏈DNS專利。
8.學習時報:推進數字貨幣發展必須在安全、可控、可管的前提下穩妥穩步推進。
9.Coinbase以5500萬美元收購Xapo托管業務。[2019/8/17]
比特幣治理的三大權力部門:
全節點
礦工
開發者
需要注意的是,全節點軟件不會自動更新,這是設計使然。自動更新會導致權力的天平向開發者傾斜,讓開發者可以在未經節點和礦工許可的情況下強制更改規則。
彭博智能商品策略師:比特幣可能會下跌至900美元:彭博智能商品策略師Mike McGlone表示,以亞馬遜公司和納斯達克綜合指數在千禧年交替時期的壯觀上漲和暴跌為參照,他認為比特幣可能會下跌至900美元。McGlone表示:“我做的研究越多,我就越是看跌,這與我們在九十年代后期看到的這些互聯網公司非常相似。”他表示沒有什么能夠阻止競爭對手推出無數比特幣的克隆產物。過去一年,可交易加密貨幣的數量猛增了120%。[2018/2/13]
可惜的是,雖然規則更改在技術層面上有可能是向后兼容的,但是多年來的經驗告訴我們足夠有創意的軟分叉也是可以實現違背舊版本規則的更改的。例如,VitalikButerin曾經提過這樣一個設想:通過軟分叉將比特幣的區塊時間從10分鐘縮短到2分鐘,這必然會加快比特幣的發行速度。
面對不喜歡的軟分叉,全節點有一張王牌:利用硬分叉與其他支持軟分叉的礦工劃清界限。這執行起來很難,而且引發了關于如何衡量共識和找到經濟比重高的節點等諸多問題。
從技術上來說,這種硬分叉可以通過將挖礦算法從雙SHA256改成另一種哈希函數來實現。一旦成功,所有SHA256ASIC礦機將無法用來挖比特幣。因此,節點運營者應該時刻警惕比特幣生態中發生的變化,并提醒礦工越權會有被取代的風險。
許多博弈論都會討論礦工操作及其對比特幣安全性的威脅,我在之前的文章中推測了挖礦生態可能會發生怎樣的變化。雖然比特幣挖礦的中心化程度不盡如人意,但是迄今為止依然運作良好。這是因為比特幣礦工投入了大量資金,他們不會冒著巨大的損失在一個受到所有人監視的系統中作惡。
SPV安全性
很多比特幣用戶使用輕量級客戶端而非全節點訪問網絡,因為前者需要消耗的資源要少得多,但依然能夠提供很強的安全性。
使用簡易支付驗證的客戶端會下載整條鏈上所有區塊的區塊頭的完整副本。這就意味著,自比特幣誕生以來,下載和存儲需求會隨時間的推移呈線性增長。詳情見比特幣白皮書的第8節。
中本聰在白皮書中寫道,SPV客戶端“無法自行驗證交易,但是通過把交易與區塊鏈關聯起來,它可以看到網絡中的節點已經接受了該交易,隨著越來越多區塊上鏈,則進一步證實網絡已經接受了該交易”。SPV假設經過X個區塊確認后的交易偽造成本極高。
SPV看似具備堪比全節點的安全性,但是它引入了額外的假設:只要一個區塊的區塊頭和工作量證明有效,它包含的所有交易也都是有效的。因為SPV客戶端不會驗證本文第1節中提到的所有共識規則,所以它們假設響應交易查詢請求的節點已經驗證過了共識規則。
另一個較小的安全性差異在于對等節點有可能向你隱瞞信息。如果你運行了一個全節點,對等節點可以向你隱瞞未確認的交易和區塊。但是,一旦你從對等節點那里獲得了一個區塊,就沒人可以向你隱瞞這個區塊中的任何交易。另一方面,如果你運行的是SPV客戶端,對等節點有可能向你提供區塊頭,然后隱瞞對應區塊中的交易信息。
SPV客戶端可以查詢某個地址的相關交易。盡管對等節點使用虛假交易來欺騙SPV客戶端會付出很高的代價,但是它們可以謊稱SPV客戶端用來查詢交易的布隆過濾器沒有結果。另外還要注意的一點是,由于布隆過濾器的缺陷,SPV在隱私性上遭受了嚴重破壞。
BitcoinJ在一篇文章中很好地闡述了SPV的安全性模型。關于未確認交易,他們指出:
在SPV模式下,只要你所連接的節點將某個交易轉發給你,你就只能相信這個交易是有效的。如果攻擊者能夠確保你所連接的節點都是他的,就可以向你發送一個完全無效的交易,而你會認可這個交易是有效的。
對于普通用戶來說,SPV的安全性已經“足夠高”了。盡管如此,我們還可以利用SPV欺詐證明對其進行改進。雖然人們已經就欺詐證明進行了一些討論,但是關于如何將它們構建到比特幣協議內的提案尚未實現。
比特幣網絡沒有127.0.0.1
如果你沒有運行全節點,那你至少要在一定程度上信任第三方,這會導致安全性模型產生差異。請注意,這不需要所有用戶和企業直接在BitcoinCore的RPCAPI上構建他們的軟件。
一些替代基礎設施配置包括但不限于:
1)使用安卓版比特幣錢包、GreenAddress?或?Stash?等移動錢包配置僅查詢你自己的全節點的錢包。
2)在SPV節點庫上構建應用并將這些應用設置成僅連接你自己的全節點。在BitcoinJ中,這可以通過定義你自己的?SeedPeer?并在初始化過程中將其傳遞給你的?PeerGroup?來實現。通過libbitcoin,你可以使用該示例定義與特定節點的網絡連接。
3)構建一個兼容BitcoinCore的JSON-RPCAPI的代理服務器。這個API不僅會向第三方服務發送一些調用,也會通過調用本地全節點自動驗證第三方服務返回的數據。BitGo的BitGoD軟件就是一個例子。這種混合模型可以達到兩全其美的效果:你可以使用第三方提供的高級功能,同時保留自己的金融主權。
全節點:為自由故
顯然,運行自己的全節點是最安全的方案,需要的假設也最少。構建一臺能夠運行可靠全節點的計算機只需幾百美元。你不妨算一下這筆賬,再決定是否值得付出這些來保護自己的金融主權。
感謝KristovAtlas、EricMartindale、AndrewMiller和KiaraRoble對本文的審閱和反饋。
Tags:比特幣SPVOINCOIN比特幣行情最新價格美元走勢SPV幣Pay Shop CoinMetahub Coin
DeFi數據 1.DeFi總市值:1370.19億美元 DeFi總市值數據來源:Coingecko2.
1900/1/1 0:00:00近日,阿里拍賣“數字版權”專區與國家版權貿易基地(上海)達成全面合作,雙方將基于區塊鏈技術,為國內外藝術家版權保護保駕護航,并推動各類數字資產的線上規范交易.
1900/1/1 0:00:00如果你想要入門閃電網絡編程,又不在乎所謂正確、最佳的做法,這篇文很適合你。換言之,這篇指南具有很強的?主觀性。如果你偏好O''Reilly式的權威文本,這篇文章可能不對你的胃口.
1900/1/1 0:00:00新程啟航星圖共繪 作為分布式存儲行業的引領者,星馳集團的發展動態一直備受業界關注,經過兩年的飛速成長,星馳集團的發展迎來了新的里程碑.
1900/1/1 0:00:00最新的一個比特幣升級——Taproot——將改變比特幣的工作模式,使之更上一層樓。它改變了交易的簽名方法,移除了不必要的信息暴露,還降低了一筆交易需要占用的整體數據量.
1900/1/1 0:00:00我們生活在一個多鏈的世界。Coinbase、Gemini、Binance、Kraken——這些只是中心化的側鏈,它們使用以太坊和比特幣等鏈進行資產注冊和結算.
1900/1/1 0:00:00