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

Cosmos聯合創始人:一個密碼學漏洞引發的幣安跨鏈橋攻擊_OSM:cosmos幣創始人

Author:

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

原文作者:Cosmos聯合創始人EthanBuchman

關于幣安黑客事件的一些想法。Binance是Cosmos軟件的最大用戶,他們運營著一個價值數百億美元的平臺,但沒有對核心軟件做出有意義的貢獻或參與。從這里發生的事情中,我們可以學到很多。

你可能看到了samczsun的優秀推文貼展示了這個問題。https://twitter.com/samczsun/status/1578167198203289600?讓我們嘗試補充一些有關情況的詳細信息。

一個官方防御補丁已發布在這里:https://forum.cosmos.network/t/cosmos-sdk-security-advisory-dragonfruit/7614

Cosmos通過撥款2萬枚ATOM推出鏈間安全性激勵測試網的提案,計劃于11月推出:10月21日消息,Cosmos 社區以超 96% 的支持率通過了撥款 2 萬枚 ATOM 以推出鏈間安全性(Interchain Security)激勵測試網的提案。該測試網計劃于 11 月推出,2 萬枚 ATOM 的撥款將用于激勵驗證者參與測試網,其中 1 萬枚將分配給參與測試的驗證者,剩余 1 萬枚將分配給發現漏洞或開發工具和提供監控解決方案的驗證者。[2022/10/21 16:34:41]

友情提醒:如果你發現Cosmos軟件存在潛在漏洞,請遵循我們負責任的披露流程:

https://github.com/cosmos/cosmos-sdk/blob/main/SECURITY.md

問題的癥結在于黑客能夠偽造一個默克爾證明,這不應該是可實現的-默克爾證明應該是高度安全的。區塊鏈輕客戶端建立在默克爾證明之上,因此正確處理它們很重要。

Cosmos Hub Theta版升級即將于區塊高度10085397啟動:4月11日消息,在3月份成功完成Theta測試網升級后,Cosmos預備于4月12日區塊高度達到10085397時進行主網升級。Theta升級是實現跨鏈賬戶的第一步,它能夠使CosmosHub充當主鏈(跨鏈賬戶注冊鏈)。

升級后,其他啟用跨鏈賬戶的區塊鏈將能夠執行兩項重要操作:1.在CosmosHub上創建和控制賬戶;2.執行CosmosHub原生事務。[2022/4/11 14:17:59]

默克爾證明是數據存儲中存在某些鍵值對的密碼學證明,我們可以稱之為“包含證明”。很多區塊鏈將其數據存儲在一棵默克爾樹中,以便可以生成證明某些數據包含在樹中的證明。

默克爾證明在IBC中被大量使用,例如,一個區塊鏈可以證明它有一個指向另一個區塊鏈的數據包。當然,如果你可以證明某些數據在樹中,但實際上并沒有,那將是一個大問題。而這就是在Binance身上發生的事。

COS今日上線韓國交易平臺Bithumb:韓國交易平臺Bithumb Korea今日發布公告,將上線數字內容公鏈 Contentos(COS),并開通COS/KRW交易對。[2020/3/11]

Cosmos鏈使用一種稱為IAVL的默克爾樹,它位于IAVL存儲庫中。它附有一首關于默克爾樹有多棒的詩。IAVL是一個自定義的默克爾化平衡二叉搜索樹,它類似于以太坊的帕特里夏樹。

https://github.com/cosmos/iavl/blob/master/POEM

每個區塊鏈開發人員在接觸這些結構的架構和算法時,都不得不陷入默克爾樹的瘋狂之中。

IAVL存儲庫公開了一個API,用于使用一個“RangeProof”對象構建和驗證證明。一個范圍證明用于證明某些范圍的key在默克爾樹中并列存在。

分析 | SparkPool成Cosmos最受歡迎的驗證全節點:據LongHash消息,LongHash從3組數據,6 個維度解析Cosmos驗證節點,發現Cosmos的網絡治理還是存在比較嚴重的中心化,而SparkPool則成為了最受歡迎的驗證節點。SparkPool擁有最多的委托人311個,并且在24小時內增加了37個委托人,成為實際最受歡迎的驗證節點。SparkPool的Voting Power排在第12位,比較靠前,其傭金是0%,委托人會享受到網絡的最大分紅,而Minimum Self-delegation則顯示它是唯一一個承諾抵押數和實際抵押數幾乎一致的節點,看來真的是誠意滿滿,才吸引了這么多委托人的支持。[2019/5/20]

一個范圍證明還可用于證明單個鍵值對,或證明某個鍵不在樹中。

動態 | 美聯社:三星Galaxy S10冷錢包將支持COSM:據美聯社報道,Cosmochain被選為三星智能手機Galaxy S10的首個DAPP合作伙伴。三星Galaxy S10將支持其DAPP COSMEE的代幣COSM,將成為冷錢包Galaxy Keystore中包含的首批代幣之一。據悉,COSMEE是一個基于區塊鏈的美容平臺,用戶可以通過移動設備查看化妝品。當用戶上傳評論時,他們會根據其他用戶的評估獲得COSM獎勵。此前有消息稱,三星Galaxy S10或將提供加密貨幣錢包。[2019/2/20]

IAVL存儲庫將RangeProof對象用于所有三種證明。但事實證明RangeProof的內部工作存在一個嚴重漏洞。

一個證明應該由一個子葉節點和一系列內部節點組成,這些節點勾勒出從子葉到根的路徑,并具有足夠的信息來計算樹的merkle根哈希并驗證子葉實際上是樹的一部分。

由于這是一棵二叉樹,所以每個內部節點都可以有一個左分支和右分支。但是在證明中,你是在樹中跟蹤路徑,因此內部節點應該只包含其左分支或右分支哈希。另一個是由證明中其他節點的哈希構造的。

這就是IAVLRangeProof的代碼遇到問題的地方。IAVLRangeProof允許填充InnerNode中的Left和Right字段。而這不應該發生。

攻擊者基本上利用了將信息粘貼到Right字段中的優勢,它們從未經過驗證,也從未影響哈希計算,從而使驗證者相信某些子葉是樹的一部分。因此,他們成功地偽造了一個默克爾證明。

值得注意的是,這個問題取決于攻擊者能否將子葉添加到單個證明中,因為RangeProof允許你一次證明多個子葉。因此,即使你的協議只希望一次證明一個key,使用RangeProof也會為攻擊者打開攻擊面。

所以使用RangeProof并不是一個好主意。但是我們也可以提出一個簡單的防御措施——如果任何內部節點同時填充了Left和Right字段,則預先拒絕證明。這樣做應該可以解決這個問題。

雖然RangeProof是一個核心Cosmos存儲庫(IAVL)的一部分,但它實際上并未用于Cosmos堆棧內的區塊鏈協議中。IAVL樹本身被所有CosmosSDK鏈使用,但RangeProofs并沒有。這是理解的關鍵!

相反,對于IBC中的默克爾證明,開發者按照IBC標準設定的更嚴格的流程開發了一個新規范。該規范稱為「ICS23」,它位于IBC規范存儲庫中:https://github.com/cosmos/ibc中。

那什么是ICS23?這是支持多種默克爾樹的默克爾證明的通用標準。ICS23定義了一種用于序列化和驗證默克爾證明的通用格式。

IBC沒有使用IAVL樹的內置RangeProof系統,而是使用ICS23標準來生成和驗證IAVL樹的默克爾證明。而ICS23代碼中并沒有這個漏洞。

這不僅僅是使用不同的代碼,并因此僥幸躲過一劫的問題。這代表了一種根本不同的軟件工程方法。

ICS23遵循更嚴格的設計流程,旨在最大限度地減少攻擊面,同時仍然是通用的,這是一項艱巨的任務!作為其中的一部分,它明確地拒絕了rangeproofs,ICS23中并沒有rangeproofs。

因此,該漏洞本身在ICS23規范中是不可接受的,這是好的,IBC的目標是使跨鏈通信更加安全。

當然,IBC規范和協議可能并不完善,并將繼續改進。作為一個復雜的協議和軟件實現,它甚至可能存在我們社區必須應對的尚未被發現的漏洞,安全需要一個社區。

我們都必須認真對待安全。如果發現潛在漏洞,請負責任地披露:https://github.com/cosmos/cosmos-sdk/blob/main/SECURITY.md。

如果你可以為改進軟件和協議做出貢獻,我們邀請您這樣做!

總的來說,這次事件是一個機會,它提醒了大家在軟件開發生命周期中加強安全實踐的重要性,傳播一些關于IBC是什么及其工作方式的一些認識,并邀請整個生態來幫助改進IBC。

跨鏈橋黑客對我們的行業來說是一個真正的問題,如果不認真致力于更高的安全性和標準流程,它們就不會變得更好。讓IBC成為一個光輝的例子。

這里還有一個關于使用開源軟件的重要教訓:遵循最佳實踐,保持最新狀態,并向上游貢獻資源!很高興看到binance成為更負責任和協作的生態參與者!

Tags:COSOSMCOSMOSMOCOSHI幣COSMIKcosmos幣創始人3X Short Cosmos Token

幣安幣
金色Web3.0日報 | 數字藏品國際周指數持續下跌至36.4點_EFI:3WEB幣

DeFi數據 1.DeFi代幣總市值:444.78億美元 DeFi總市值數據來源:coingecko2.過去24小時去中心化交易所的交易量49.

1900/1/1 0:00:00
為Web3打工的年輕人:高薪、遠程 愜意又危險_WEB3:區塊鏈技術通俗講解

作者:李秋涵 5月份離職后,4個月時間里張磊已經去過西藏、昆明、大理、上海、武漢、成都6個地方。每到一個地方,他會短租一個房子生活一段時間。最近,他駐扎在廣東佛山,一個月租金1500元.

1900/1/1 0:00:00
深度長文:Web3時代 品牌應該如何把握新機遇?(上篇)_WEB:無聊猿幣今日價格

最近看了很多講Web3怎么助力品牌營銷的長文,收獲頗豐。但分享給還在一線做品牌的小伙伴,收到的反饋卻是:還是看不懂,你就直接告訴我咋搞,怎么搞,有沒有什么成功案例可以參考?效果好不好?這倒是提醒.

1900/1/1 0:00:00
何以成功?談BNB Chain的生態特性_AIN:DelChain

優質項目為什么搬家到選擇BNBChain股票在長期的運作中能夠表現出一定的特性或規律,就像是一個人的性格一樣,為此我們將其稱之為「股性」.

1900/1/1 0:00:00
下一個引爆加密貨幣牛市的敘事可能是什么?_比特幣:以太坊交易犯法嗎

作者:Matti,下文由DeFi之道編譯當我們已經開始些許適應熊市節奏的時候,我注意到有些人已經按捺不住想快速跳轉到下一個市場階段了.

1900/1/1 0:00:00
BNB CrossChain Bridge 被黑簡析_HASH:dash幣前景怎么樣

By:?Kong 據慢霧區情報,2022年10月7日,BNBChian跨鏈橋BSCTokenHub遭遇攻擊。黑客利用跨鏈橋漏洞分兩次共獲取200萬枚BNB,超5.7億美元.

1900/1/1 0:00:00
ads