以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > Fil > Info

Calibra首席研究員:LibraBFT算法尚存在安全與活性漏洞,Twins系統可嘗試解決_CAL

Author:

Time:1900/1/1 0:00:00

寫在前面:原文作者是LibraCalibra數字貨幣錢包項目的首席研究員DahliaMalkhi,在這篇文章中,她介紹了Calibra團隊最新研發的Twins拜占庭容錯系統檢測方法,以用于檢測LibraBFT算法的相關安全及活性漏洞。

以下是譯文:

使用拜占庭容錯算法設計分布式協議并非是一件易事。

BFT模型是一個分布式系統,其中故障節點可以任意的、完全無約束的方式運行。然而,當拜占庭節點的偏離行為不可檢測時,它們很可能成功地破壞了BFT協議。也就是說,最強大的拜占庭攻擊實際是來自內部:攻擊者發送具有正確格式的消息,并且它們與其他節點的交互似乎也遵循了協議。

Grayscale:SEC對現貨比特幣ETF發行人的“不公平歧視”違反了證券交易法:金色財經報道,Grayscale聲稱,SEC對現貨比特幣ETF發行人的“不公平歧視”違反了證券交易法。灰度認為現貨和期貨比特幣ETF帶來類似的風險,應該同等對待。此外,灰度認為,現貨和比特幣期貨ETF的定價都是基于相同的基礎現貨市場,這也是它們應該受到平等對待的另一個原因。[2023/7/5 22:17:55]

實際上,在對BFT協議的幾種已知攻擊中中,拜占庭節點以簡單的方式偏離了正確的行為:它們表現為模棱兩可、省略消息,以及刪除內部狀態變量等。

Calibra的Twins解決方案

利用這種洞察力,Calibra開發了Twins,一種用于BFT測試的“重要”方法。

Twins系統地生成有趣的拜占庭行為,這些行為可以被有效地枚舉和測試,它放棄了對協議的無趣偏離,例如發送格式錯誤的消息或發送不合理的消息,而誠實的接收者很容易拒絕這些消息。

直播|劉玉柱:Acala 波卡生態金融中心:金色財經 · 直播主辦的金點Trend《以太坊之外的DeFi,香嗎? 》11:00準時開播!本場嘉賓來自Acala 的核心開放貢獻者劉玉柱 分享“Acala 波卡生態金融中心”,請掃碼移步收聽![2020/8/31]

最重要的是,沒必要去開發攻擊邏輯來使用Twins測試。節點執行未經修改的正確代碼來攻擊系統。Twins測試人員只是通過部署攻擊節點的兩個實例,而不是一個實例來“錯誤配置”系統。兩個實例使用相同的標識,因此,對于系統的其余部分節點而言,“孿生”節點顯示為單個“行為不正常”的節點。

關于有趣的拜占庭行為

為了演示如何覆蓋有趣的拜占庭行為,讓我們設計一個簡單的服務:一個只有一個條目的鍵-值存儲。我們希望鍵-值存儲能夠容忍n=3f+1臺服務器中的f臺拜占庭式服務器,這與解決共識所需的數量相同。

ChangeNOW與P2P交易平臺LocalCryptos集成:加密貨幣交易所ChangeNOW宣布與非托管P2P加密市場LocalCryptos的集成。從現在起,LocalCryptos用戶可以在其內置的非托管加密錢包內交換加密貨幣。據悉,LocalCryptos具有內置的非托管網絡錢包,支持多種加密貨幣。(Beincrypto)[2020/8/12]

為了簡化任務,我們將讓客戶端在請求更新存儲值時簽署更新。因此,拜占庭服務器將無法編造非法值,因為它無法偽造客戶端的簽名,但它可能會用過時的值響應查詢,或者它根本不會響應。

存儲協議:客戶端更新存儲值的協議有兩個階段:第一階段,客戶端為獲取最新version在3f+1臺服務器中查詢2f+1臺服務器。在第二階段,客戶端請求3f+1服務器中的2f+1臺服務器,將存儲值更新至versionv+1。

動態 | LocalBitcoins刪除Cash-for-Crypto交易選項:據Coindesk消息,點對點交易所LocalBitcoins已經取消了允許用戶親自購買或出售加密貨幣以獲取現金的選項。6月2月,LocalBitcoins用戶指出該平臺上不再提供該選項,但Reddit評論表明該限制可能僅限于美國。[2019/6/3]

讓我們看一個例子。假設有四臺服務器{A,B,C,D},其中C是拜占庭式的。第一個客戶端連接到網絡,向{A,B,C}查詢當前version(為0)。客戶端存儲version=1的第一個值,并從{A,B,C}接收確認。第二個客戶端查詢{B,C,D}以獲得當前version。我們說C是拜占庭式的,它可能說謊并返回version0,隱藏version1。這樣就是沒問題的,因為B服務器會返回version1。

聲音 | Grayscale Investments:比特幣是黃金更好的替代品:據新浪財經網消息,數字貨幣集團(Digital Currency Group)的子公司Grayscale Investments發起了一場頗具煽動性的廣告宣傳活動,稱比特幣是黃金更好的替代品。該活動宣傳比特幣是一種更好的價值儲存方式,稱它更安全、無國界。而且,事實證明,黃金投資者們也在觀望。5月7日,也就是該廣告發布6天后,Grayscale比特幣信托基金成為場外交易市場中交易最活躍的股票。[2019/5/12]

查詢協議:現在我們需要處理服務器的查詢問題。問題是,當客戶端查詢服務器時,它可能會捕獲未完成的更新。例如,假設到目前為止,version2只寫到{A,C}。查詢{A,C,D}的客戶端將從C獲得包含version2的響應。但是,如果客戶端查詢{B,C,D},由于C是拜占庭式的,并且它可能會隱藏version2,則僅返回version1。更糟糕的是,C可能會來回切換,使用version2來響應某些客戶端,而對其他客戶端則保持隱藏狀態。

為了解決這個問題,我們將在查詢協議中使用兩個階段:第一階段,客戶端為當前version查詢2f+1臺服務器,第二階段將最高的version寫回給2f+1臺服務器。這樣,假設客戶端查詢{A,C,D},并返回version2。那它就將version2寫回給2f+1臺服務器,比如{A,C,D},從而保證version2的更新已經完成。

注:由于解決鍵-值存儲一直不是我們的重點,我們掩蓋了上面的某些細節。另外,作為補充說明,在n=3f+1的情況下,解決鍵-值存儲問題不需要客戶端簽名,請參閱此處的示例解決方案。

有趣場景的系統生成

注意我們在設計鍵-值存儲時所做的一些事情:

我們創建了一些簡單的場景,每個場景都有少量的服務器和少量的交換步驟;

在每個交換步驟中,我們選擇f臺服務器來進行排除:第一個客戶端從階段1和階段2中排除{D},第二個客戶端從階段1中排除{A},依此類推;

我們允許拜占庭服務器C返回到舊狀態并用舊值響應;

將上述內容放入一個結構化的場景中,我們通過拜占庭式服務器創建了以下一系列的交換,分區和“內部狀態遺忘”:

Exchange1:client-1phase-1with{A,B,C};

Exchange2:client-1phase-2with{A,B,C};

Exchange3:client-2phase-1with{B,C,D};

Exchange4(partial):client-2phase-2with{A,C}(andcrash);

Exchange5:client-3with{B,C,D},Chasitsinternalstateerased.

Twins系統地生成類似上面的場景,并通過拜占庭節點的孿生實例模擬遺忘等行為。重要的是,對于相當小的場景,Twins可以有效地枚舉上述場景,以暴露協議漏洞。

總結

使用拜占庭容錯算法設計分布式協議并不容易。數十年來,研究人員一直在努力應對令人擔憂的安全與活性漏洞,在某些情況下,這些漏洞需要花上數十年的時間才能夠被人發現。

Twins是一種新的BFT測試方法,它覆蓋了很多拜占庭式攻擊,關于該方案的具體設計,讀者可以看原論文。

Twins:White-GloveApproachforBFTTesting:https://arxiv.org/pdf/2004.10617.pdf

Tags:CALVERSVERIONethicalAniverseShinobiVersecfcion66

Fil
觀點 | Hudson Jameson:以太坊的EIP機制要優于比特幣的BIP_比特幣

協議改進提案對加密貨幣的健康和發展至關重要,自比特幣和以太坊的生態系統誕生以來,圍繞這兩種加密貨幣的改進提案一直源源不斷被提出,成為該領域的標桿.

1900/1/1 0:00:00
量化寬松開啟的零利率時代,對比特幣意味著什么?_比特幣

文|內參君 自今年3月初以來,美聯儲(FederalReserve)已將利率降至零,重啟量化寬松,并推出了2萬億的刺激計劃和2.3萬億美元的貸款計劃,導致美國財政開支猛增.

1900/1/1 0:00:00
龍白滔:DC/EP vs Libra,全球數字貨幣競爭正式拉開序幕_LIBRA

編者按 數字經濟獨立研究員、數字資產研究院學術與技術委員會常務副主任龍白滔博士在2萬字中展示了高級別的數字貨幣討論——從經濟學的視角來考察數字貨幣問題:全球性利益失衡和矛盾加劇以及技術的發展.

1900/1/1 0:00:00
科普 | 為什么 DeFi 需要利率掉期_區塊鏈

本文解釋了利率掉期的重要性,尤其是對于目前的DeFi領域。我們將闡述以下兩點:第一,利率掉期是對未來的浮動利率的“平均”預期,可通過掉期利率來判斷市場情況;第二,中心化掉期市場的規模和重要性.

1900/1/1 0:00:00
In Code We Trust:讀比特幣減半代碼_比特幣

比特幣減半的代碼前后一共十來行,簡潔地令人發指。減半的代碼如此簡潔,減半事件如此矚目。每四年的奧運會都會推遲或者取消,但是減半永遠都會如期進行.

1900/1/1 0:00:00
加密貨幣衍生品崛起,我們與 10 位衍生品頂級玩家探討交易市場機遇_加密貨幣

FTX創始人、skew創始人與Deribit首席商務官等10位衍生品領域大佬共話2020加密貨幣市場發展機遇。如果2019年是加密貨幣衍生品崛起之年,那么今年就是它高歌猛進的又一個年頭.

1900/1/1 0:00:00
ads