針對CasperFFG共識協議的安全性問題,以太坊聯合創始人Vitalik撰文表示:
“,無論哪種情況,51%攻擊對于社區來說都是一個歡樂的時刻,因為想要造成1天或1周的破壞,攻擊者被消耗的ETH將是以年總產量為代價的,這反過來會增加ETH的價值,從而使未來的攻擊變得更為昂貴。”
以下是譯文:
對共識系統執行51%攻擊的成本雖然很大,但它并非是無限的,因此51%攻擊的風險始終存在。此外,如果攻擊成功,想要在“協議內”實現恢復是非常困難的,而且往往是不可能的。在工作量證明系統中,成功的51%攻擊是有利可圖的,因此攻擊可無限循環進行,而針對ASIC工作量證明系統的攻擊,可變得更便宜。而在權益證明系統中,成功的51%攻擊可阻止新的存款。
Euler Finance黑客向Euler另一個地址再次歸還7738枚ETH,已累計返還1.51億美元:金色財經報道,據PeckShield監測,除今日早些時候Euler Finance攻擊者通過0x8765開頭和0xa1b4開頭的地址向Euler部署者賬戶返還15476.1枚ETH和1070萬枚Dai外,該攻擊者還通過0xc4e04的地址向Euler部署者賬戶歸還了7738.05枚ETH。黑客今日共計返還23214.15枚ETH和1070萬枚Dai,約合4100萬美元。此外,0xa1b44已將2000萬枚DAI轉移到一個中間地址0x0d1b...843,該地址將300萬枚DAI轉移到Euler:Multisig 2地址。
截止目前,Euler Finance攻擊者已經向Euler返還了8.49萬枚ETH(約1.51億美元)以及約1490萬枚DAI。[2023/3/28 13:30:21]
這些事實告訴我們,必須要有一個連貫的策略來應對51%攻擊,使得鏈能夠恢復正常運行。這種策略不會經常使用,它的存在也許足以阻止攻擊,因此其存在是需要的。正如我們將看到的,基于存款的PoS在一定程度上是高度安全的,因為任何51%攻擊,都會給攻擊者帶來極高的經濟損失。
比特幣全網未確認交易51,088筆:金色財經報道,據btc.com數據顯示,目前比特幣全網未確認交易數為51,088筆,24小時交易速率為3.97 txs/s。目前全網難度為17.60 T,預測下次難度上調7.61%%至18.94 T,距離調整還剩4 天 19 小時。[2020/11/25 22:00:14]
最終確定性逆轉攻擊
最終確定性逆轉是目前為止被談論最多的一類51%攻擊,而在PoS系統中,這是最容易被處理的一種攻擊。
很容易處理的原因是,它正是CasperFFG的“經濟最終確定性”機制的設計初衷:BFT最終確定性的整個要點是,要最終確定兩個沖突的區塊,必須有一個a≥1/3?|V|相交驗證者集(|V|作為活躍驗證者集的大小)簽署了兩條互相矛盾的消息,因此可在兩條鏈上進行罰沒操作。
當前加密貨幣總市值約為3516.71億美元:據金色財經數據顯示,全球加密貨幣總市值約為3516.71億美元。加密貨幣市場中占比排名第一的是BTC,市值約合2174.57億美元,當前市值占比為61.84%;
ETH排名第二,市值約合455.62億美元,當前市值占比為12.96%;
XRP排名第三,市值約合126.88億美元,當前市值占比為3.61%。[2020/8/24]
注意,客戶端實現的分叉選擇規則會阻止逆轉已完成的區塊。因此,如果在上面的場景中,上面的鏈是在下面的鏈之前完成,那么在線客戶端都將停留在上面的鏈上。只有離線客戶端在返回在線狀態時才會看到兩個供選擇的鏈。因此,離線客戶端需要聯系社區,以詢問哪條鏈是合法的。我們稱之為一個次要的附加協議負擔:在線節點有一個自然而然的正確選擇,只有少數幾個節點需要詢問已經達成的共識。
更困難的情況是兩條鏈同時完成:除非攻擊者能夠嚴重操縱網絡,一次成功的攻擊需控制超過1/3?|V|,至少1/2?|V|,甚至可能需要2/3?|V|,使它不太可能。此外,客戶端在一個區塊完成后會等待1分鐘,然后才將該區塊中的交易顯示為已完成,這將使得此類攻擊在實際執行雙花攻擊時的用處大大降低。然而,這種雙終結性攻擊仍然可用來造成混亂。
聲音 | 外媒:ETH利益相關者或推動對ETC的51%攻擊:據bitcoinexchangeguide報道,Matt Odell在推特上推測,以太坊(ETH)的利益相關者可能是ETC遭51%攻擊背后的驅動力。1月16日即將到來的君士坦丁堡硬分叉將把網絡通脹率降低到0.5%至1%左右。而在使獎勵減少的硬分叉之前對ETC做出攻擊可能會阻止礦工遷移到ETC。[2019/1/9]
從這種攻擊中恢復的最簡單方法:用戶選擇支持LMDGHOST分叉規則的鏈,只考慮未被罰沒的驗證者。然而,在一種邊界情況下,鏈A贏得了LMDGHOST分叉選擇規則,但鏈B稍早完成,這就會出現無法確定哪條鏈應占主導地位的情況。
因此,一個愿意且能夠同時完成兩個鏈的攻擊者,可要求社區聚集在一起,任意選擇一條鏈或另一條鏈),盡管代價對攻擊者而言是非常高的。
無論哪種情況,攻擊者被罰沒的驗證者都應該≥1/3?|V|,這將導致數百萬以太幣的懲罰。因此,攻擊者可能會中斷交易,并要求社區進行商議,以及讓用戶手動更新其客戶端,但代價會是極高的,這使得此類攻擊的發生非常困難,而且非常罕見。
加密貨幣的商業挖礦可能將比特幣推向51%攻擊:在加密貨幣開采逐漸走向規模效益的商業模式下,或許會出現某個人控制了某一特定加密貨幣的大部分開采資源,加密貨幣的安全性立即受到威脅,并可能導致51%的攻擊。[2018/4/16]
驗證者審查攻擊
另一種更困難的51%攻擊是審查攻擊。交易審查并不是一個大問題,因為我們假設最終會有一個友好的驗證者會將任何給定的交易打包到一個區塊中。相反,我們更關注的是驗證者的審查。驗證者的審查可能會有很多原因,而最可能的兩個原因是審查那些拒絕合作的驗證者,以及阻攔攻擊。
審查是更為棘手的,因為沒有“罰沒條件”可以檢測到它:審查的本質是,不包含你想要包含信息的行為。事實上,從不在線的任何驗證者或客戶端的角度來看,A審查B,和B不與A交談是不可區分的,了解有關此的更多信息,請參閱https://vitalik.ca/general/2017/07/16/triangle_of_harm.html
然而,在線節點是可以檢測到審查行為的,因此,我們面臨的挑戰是處理“邊界條件”,并確定何時審查是足夠糟糕的,以至于協議外干預及處理不可避免出現邊界條件的挑戰,是值得的。
讓我們區分兩個案例:首先是,審查集大于1/3?|V|,也就是說,介于1/2和2/3的驗證者正在審查另一部分,并在這些驗證者無法包含其消息的地方建立一條鏈。因為少于2/3的驗證者在同一條鏈上,沒有區塊會被最終確定,在攻擊者的鏈上,攻擊者沒有損失任何金錢,但受害者會損失他們大部分的存款。
受害者唯一的求助渠道是一個“少數派軟分叉”,然后將審查鏈列入黑名單,并繼續在自己的鏈上工作。這種“少數派軟分叉”可自動化進行:如果一條鏈不接受你的證明,在fork選擇中會自動取消其優先級,最終它將不再顯示為主導。
攻擊者將無法加入兩條鏈,因為在每個epoch周期中,每個驗證者只能選擇一條鏈參與,否則它們將遭到罰沒。最終,兩條分叉鏈都將完成一個區塊并恢復正常,在少數鏈上,攻擊者將損失其存款的很大一部分。
一個聰明的少數派群體,甚至可等到攻擊者的鏈證明一個新區塊,然后,少數派可開始建立他們自己的鏈,如果他們這樣做了,攻擊者在不承受NO_SURROUND罰沒條件的情況下,將無法加入少數派的鏈。
而如果攻擊者沒有加入少數派鏈,他們將損失約一半的存款。
現在,讓我們考慮第二個案例,這個案例會比較溫和。攻擊者需控制2/3?|V|的驗證者集,并審查剩余<1/3?|V|的驗證者集,或者攻擊者執行上述攻擊,但方式要更為溫和。在這種情況下,有兩種解決方案。首先,可嘗試協調外部代幣持有者加入和解封驗證者。如果攻擊鏈拒絕了他們的存款,那么這個事實將對所有人都是可見的,并將崩潰成與前一個案例相同的場景。第二,仍然可協調少數派軟分叉,阻止攻擊者使用上述技術加入少數鏈。
請注意,這兩種技術,都依賴于誠實的少數人之間某種形式的協調,以確定值得拉黑的鏈是什么。人們可簡單地依靠社區層來實現這一點,即使社區層做出不利于攻擊者的決定,也會使得期望中的攻擊代價變得高昂。
另外,我們可想象創造工具來協助協調。一個簡單的例子是這里提出的99%容錯共識提議:https://vitalik.ca/general/2018/08/07/99_fault_tolerant.html,其可以在網絡延遲相當低的在線節點之間創建共識。
總結
在最終確定性逆轉攻擊的情況下,我們已經知道攻擊者可能會遭到罰沒,因此攻擊可能會是非常昂貴的。而試圖控制區塊的創建,以便在攻擊后在哪條鏈上繼續進行額外的協議協調攻擊,其代價會更加高昂。相比之下,審查攻擊會更具挑戰性,因為如果社區沒有反應,它們會“默認”成功并造成傷害,而這種攻擊可通過協議外的“少數派軟分叉”共識解決,該“少數派軟分叉”巧妙地使用了NO_SURROUND罰沒條件,將注意力集中在攻擊者無法合法加入的鏈上。
無論哪種情況,51%攻擊對于社區來說都是一個歡樂的時刻,因為想要造成1天或1周的破壞,攻擊者被消耗的ETH將是以年總產量為代價的,這反過來會增加ETH的價值,從而使未來的攻擊變得更為昂貴。此外,這可以通過軟分叉或分叉選擇規則功能來解決,而不需要硬分叉來手動取出攻擊者的幣。
作者:騰訊新聞《潛望》劉鵬編者注:原標題為《潛望|創始人趕走了另一個創始人比特大陸內部究竟發生了什么?》 來源:騰訊新聞吳忌寒和詹克團 導致本次“政變”的直接原因.
1900/1/1 0:00:0001 學者稱巨鯨操縱2017年大牛市,知名投資人反駁稱其毫無行業經驗BloombergCrypto報道,美國的兩位學者說Bitfinex的一個“巨鯨”很可能操縱了2017年的牛市.
1900/1/1 0:00:00作者:RyanSeanAdams 來源:Unitimes BTC的貨幣政策被高估了。準確地說,BTC的貨幣政策被一些人高估了。當然,也被很多人低估了,但也許不是因為人們認為的原因.
1900/1/1 0:00:00文|互鏈脈搏·金走車 10月25日晚消息,中共中央局10月24日下午就區塊鏈技術發展現狀和趨勢進行第十八次集體學習.
1900/1/1 0:00:00本文來源:證券日報 作者:邢萌 開欄語:10月24日下午,習近平總書記在中共中央局第十八次集體學習時強調,要把區塊鏈作為核心技術自主創新的重要突破口,明確主攻方向,加大投入力度.
1900/1/1 0:00:00作者|慕容垂 出品|白話區塊鏈 不久前,白話區塊鏈發文稱全球有2%的人真正了解區塊鏈。按照全球70億人口計算,那么,全球真的有1.4億人參與數字貨幣和區塊鏈嗎?今天,我們不妨用一些數據粗略地估算.
1900/1/1 0:00:00