買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > AAVE > Info

ETH:Ronin 黑客計中計 你聽說過扭曲攻擊漏洞嗎_nbs幣前景

Author:

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

據慢霧安全團隊情報,2023 年 3 月 13 日,Ethereum 鏈上的借貸項目 Euler Finance 遭到攻擊,攻擊者獲利約 2 億美元。

黑客在攻擊完 Euler 后,為了混淆視聽逃避追查,轉了 100 ETH 給盜取了 Ronin 6.25 億多美金的黑客拉撒路。拉撒路順水推舟將計就計,隨即給 Euler 黑客發了一條鏈上加密消息,并回禮了 2 枚 ETH:

消息內容是提示 Euler Exploiter 用 eth-ecies 解密這條消息。

按道理說在公開的環境下,如果 Ronin Exploiter 只是想加密通訊,使?公鑰加密是最簡單的?案。

    公鑰加密:

C = {rG, M + rQ} = {C1, C2}

    私鑰解密:

M = M + r(dG) ? d(rG) = C2 ? d(C1)

其中密? C,公鑰 Q,私鑰 d,隨機數 r,消息 M。協議很簡單,加密過程不需要?到的私鑰,不存在私鑰泄露的路徑。

使? eth-ecies 加密是因為?便還是另有所圖?隨后很快就有?指出 eth-ecies 存在安全漏洞,Ronin Exploiter 是想竊取 Euler Exploiter 的私鑰。

Solana生態開發平臺Ironforge完成260萬美元Pre-Seed輪融資:6月13日消息,無服務器Solana生態開發平臺Ironforge宣布完成260萬美元Pre-Seed輪融資,Reciprocal Ventures領投,Hash3、6thMan Ventures、Alchemy、Monoceros Ventures和Portage Ventures參投。

Ironforge為Solana開發人員提供了一系列功能,比如索引帳戶數據的低成本檢索、RPC智能路由和故障轉移、自動解析、開發者自定義緩存控件等功能。[2023/6/13 21:34:26]

是否真的如此?且讓我們先分析?下 eth-ecies 存在的是怎么樣的?個漏洞。

經過分析,我們發現 eth-ecies 使?了 "elliptic": "^6.4.0",這是個 Javascript 橢圓曲線庫,這個版本的庫存在多個安全漏洞,其中?個就是扭曲曲線攻擊漏洞(twist attacks),這個漏洞的成因是在計算 ECDH 共享密鑰時沒有驗證對?的公鑰是否在曲線上,攻擊者可通過構造??群曲線上的公鑰,誘導受害者計算共享密鑰,從?破解出受害者私鑰。

但是這個漏洞的利?難度是很?的,需要有?常契合的場景才能發起攻擊,Ronin Exploiter 是否有機會發起扭曲攻擊呢?

ECDH 算法是基于橢圓曲線加密的密鑰交換算法。它與傳統的 Diffie-Hellman (DH) 算法類似,但是使?的是橢圓曲線上的數學運算來實現密鑰交換,從?提供更?的安全性。

波場TRON首個官方預言機項目JustLink已正式上線:據官方消息顯示,JUST基金會已于2020年10月30日正式上線去中心化預言機項目JustLink。JustLink是運行在波場TRON網絡上的第一個去中心化預言機項目,作用就是以安全的方式向鏈上的智能合約提供現實世界中產生的真實數據,包括比如借貸價格、穩定幣匯率、金融衍生品價格、預測市場數據等。

波場TRON創始人兼BitTorrent CEO孫宇晨對此表示:“JustLink就是波場版的Chainlink,JustLink的誕生將會是波場生態的一個重大轉折點,波場上的Defi應用也將因為JustLink實現新一輪的大爆發,這對整個波場生態都是極大的利好和再次盤活,JustLink將是對整個Defi生態產生影響的跨時代變革產品。”[2020/10/30 11:15:41]

下?是 ECDH 算法的步驟:

1. ?成橢圓曲線:在密鑰交換之前,通信雙?需要選擇?個橢圓曲線,該曲線必須滿??些數學特性,例如離散對數問題。

2. ?成私鑰和公鑰:每個通信?都需要?成?對私鑰和公鑰。私鑰是?個隨機數,?于計算公鑰。公鑰是?個點,它在橢圓曲線上,并由私鑰計算得出。

3. 交換公鑰:通信雙?將??的公鑰發送給對?。

4. 計算共享密鑰:通信雙?使?對?發送的公鑰和??的私鑰計算出?個共享密鑰。這個共享密鑰可以?于加密通信中的數據,保證通信的機密性。

為了?便描述下? Alice 和 Bob 分別代表上?雙?,G 為基點,假設:

Alice 的私鑰是 a,則 Alice 公鑰是 A = aG;

動態 | YouTube明星PewDiePie在最新視頻中宣傳TRON,并帶動DLive注冊數增長:據SludgeFeed報道,獨立內容創作者、YouTube明星PewDiePie在最近的YouTube視頻中宣傳了TRON、BitTorrent和DLive,并促使超過1億的粉絲注冊了DLive。[2020/1/14]

Bob 的私鑰中 b,則 Bob 公鑰是 B = bG。

核?知識點在共享密鑰計算?法,根據群的乘法交換律,他們只要獲取到對?的公鑰就可以計算出共享密鑰:

                                               S = aB = a(bG) = b(aG) = bA

如果 Alice 想要刺探 Bob 的私鑰,她可以選擇?個階數 q ?常?(點的數量?常少)的曲線點 H(這個點不是對應任何特定私鑰的公鑰,但是 Bob 并不知道),由于群是循環群,Bob 在計算 S′  = bH 時,他得到的 S′  將在這些少量點群以內。Alice 不知道 Bob 的私鑰 b,但可以通過窮舉得到滿? S′ = xH 的 x,此時 b ≡ x  mod q 。顯然 x 很?,最?為 q。

聲音 | Byron Berry:對區塊鏈創新的規模和復雜性充滿信心:據coincryptorama報道,近日,Coreventus首席執行官Byron Berry表示,區塊鏈、加密貨幣、大麻和電子競技是資本市場關注的焦點。加密貨幣和區塊鏈市場資金流入方面有點平靜,但對區塊鏈創新的規模和復雜性充滿信心。[2018/12/14]

需要多少個扭曲點呢?這取決于每?次選擇的階數 q,需要階數相乘能超過私鑰的最?值,即滿?:

如果我每次選擇的 q ??點,那么需要交互的次數 n 就可以少?點,但 q 越?意味著窮舉的難度越?,所以這?需要根據 Alice 的運算性能做?個取舍。

上?我們分析了 ECDH 算法的?險和攻擊原理,我們再回來看 eth-ecies 這個庫,實際上它使?的只是?個類似 ECDH 的算法,它在構造共享私鑰時使?的是臨時密鑰,根本不需要?到加密?的私鑰,所以并不會對加密?構成?險。

那么有沒有可能 Ronin Exploiter 是想利?社會?程學引導 Euler Exploiter 使?其它有問題的?具呢??如我們熟知的 PGP 加密協議?

動態 | Bitfury與Final Frontier合作為機構提供區塊鏈金融服務:據cryptoninjas報道,Bitfury集團宣布已收購了一家專注于區塊鏈行業的金融服務公司Final Frontier的少數股權。作為合作伙伴,兩家公司將開發和提供一系列機構級金融產品和服務。[2018/11/14]

巧的很,我們很快就發現被?泛使?的開源庫 openpgpjs 最新版本 v5.7.0 還在使?了低版本的 "@openpgp/elliptic": "^6.5.1" ,更巧的是,它?持基于 Curve25519 的 ECDH 協議,故事本應該進??潮,但經過分析發現,openpgpjs 的 ECDH 協議在實現時,和 Ecies 協議?樣引?了臨時密鑰,即使加密?導?了私鑰,也僅僅?于消息簽名,?不會?于構造共享密鑰。

故事結束了,我覺得 Ronin Exploiter 使?低版本 elliptic 存在的漏洞去隱秘的竊取 Euler Exploiter 私鑰的可能性不?,?于那條鏈上消息,可能真的是為了共商?計,更進?步的圖謀不軌需要更加?超的社會?程學?段了,但 Euler Exploiter 已經警覺。

上?提到了扭曲攻擊的原理,實際?程實現上仍然有?個問題需要解決:

1. 如何構造扭曲的點?

2. 當 Bob ?共享密鑰 S' 加密消息時,它并不會把 S' 傳輸給 Alice,因為根據協議 Bob 認為 Alice 是已經知道這個密鑰的,那么 Alice 如何獲取 S' 呢?

這?以 Curve25519 曲線為例,它的曲線?程是:

我們隨意改變其中的?個參數,得到?條新的曲線,?如:

使? sagemath 數學軟件來表示:

p = 2**255-19 E = EllipticCurve(GF(p), [0,48666,0,1,0])然后我們計算它的階數,并對這個階數進?因式分解:

Grp = E.abelian_group() G = Grp.gens() Gorder = G.order() print( "{0} = {1}".format(Gorder, factor(Gorder)) )計算結果:

...= 2 * 3049 * 14821 * 19442993 * 32947377140686418620740736789682514948650410565397852612808537選擇 19442993 這個??適中的數,?中國剩余定理創建?個含有 19442993 個元素的?群: 

x = crt([1,0], [19442993, Gorder//19442993]) P1 = x * G到這?我們就得到了第?個扭曲的點,把它當作公鑰發送給 Bob,Bob 就可以計算第?個共享密鑰:

最終得到的結果可表示為:

使?中國剩余定理即可計算出私鑰 b:

x = crt([ x1, x2, x3, x4, x5, x6, x7, x8, x9], [ 19442993, 3645143, 184879577, 5110460161, 15272631587, 208137522259, 64927105657, 60824497, 213156431]) print(x == b) print(hex(x))總結本?我們通過?個不同常理的對話開始研究了橢圓曲線加密算法中的扭曲曲線攻擊,分析了漏洞的存在的原因,雖然漏洞利?場景有限,但不失為?個很有價值的漏洞,希望能對?家的學習研究有所啟發。

最后,感謝領先的?站式數字資產?托管服務商 Safeheron 提供的專業技術建議。

參考資料:

.https://etherscan.io/tx/0xcf0b3487dc443f1ef92b4fe27ff7f89e07588cdc0e2b37d50adb8158c697cea6

. https://github.com/LimelabsTech/eth-ecies

. GitHub - openpgpjs/openpgpjs: OpenPGP implementation for JavaScript

. Elliptic curve constructor - Elliptic curves

By: Johan

來源:DeFi之道

DeFi之道

個人專欄

閱讀更多

金色財經 善歐巴

金色早8點

白話區塊鏈

歐科云鏈

Odaily星球日報

Arcane Labs

MarsBit

深潮TechFlow

BTCStudy

鏈得得

Tags:BSPNBSRONETHBSPNetworknbs幣前景StrongHands Financeethereumuniswap

AAVE
ETH:一文詳解LSD賽道潛力協議ether.fi Arthur Hayes為何看好?_The Reaper Coin

原文作者:Leo,BlockBeats以太坊上海升級結束,啟用了質押提款功能,用戶質押的 ETH 可以贖回,意味著 ETH 質押將成為主流敘事,也徹底為 LSD 賽道鋪平道路.

1900/1/1 0:00:00
INT:探討如何構建十億用戶的Web3社交圖譜_TER

如何利用區塊鏈和智能合約技術構建出十億用戶的 Web3 社交圖譜?隨著埃隆 - 馬斯克最近接管了 Twitter,關于從大型社交網絡遷移到獨立或開放的替代方案的討論已經越來越多.

1900/1/1 0:00:00
DEFI:一文速覽PancakeSwap V3版本新功能_Uniswap

原文作者:Ignas,DeFi 研究員原文編譯:Leo,BlockBeatsPancakeSwap 剛剛推出了新的 V3 版本,也是 Uniswap V3 的一個分叉.

1900/1/1 0:00:00
OKS:大模型帶動智能化發展 仿生機器人賽道的未來和機會_looks幣為什么價格一直跌

隨著傳感技術、運動控制和計算機仿真與機器人技術的深度融合,機器人對于復雜外界環境的感知能力大幅提升,其處理實際問題的自主性、穩定性、可靠性也大幅提升.

1900/1/1 0:00:00
區塊鏈:DeFi 危機四伏 無信任橋如何維護用戶安全?_DEF

來源:CoinTelegraph編譯:Dali@Web3CN.Pro跨鏈橋允許去中心化金融(DeFi)用戶在多個區塊鏈上使用相同的代幣.

1900/1/1 0:00:00
BLO:金色觀察 | 詳解EIP-4844:如何將L2交易成本降低10倍_NBS

文/francesco,加密研究員;譯/金色財經xiaozou設想一下Arbitrum、Optimism和各L2上的交易成本將降低10倍。怎么做到的?答案就是EIP-4844.

1900/1/1 0:00:00
ads