By:?Johan
據慢霧安全團隊情報,2023年3月13日,Ethereum鏈上的借貸項目EulerFinance遭到攻擊,攻擊者獲利約2億美元。
黑客在攻擊完Euler后,為了混淆視聽逃避追查,轉了100ETH給盜取了Ronin6.25億多美金的黑客拉撒路。拉撒路順水推舟將計就計,隨即給Euler黑客發了一條鏈上加密消息,并回禮了2枚ETH:
消息內容是提示EulerExploiter用eth-ecies解密這條消息。
質疑
按道理說在公開的環境下,如果RoninExploiter只是想加密通訊,使?公鑰加密是最簡單的?案。
??公鑰加密:
C={rG,M+rQ}={C1,C2}
????私鑰解密:
M=M+r(dG)?d(rG)=C2?d(C1)
元宇宙開發公司 Virtualtech Frontier 完成種子輪融資:1月18日消息,元宇宙開發公司 Virtualtech Frontier 完成種子輪融資,Blockchain Founders Fund 參投,融資金額未披露。本輪融資將用于發展團隊、支持營銷活動和進一步開發他們的平臺 Mitoworld.io。Mitoworld.io 旨在允許社區輕松創建和共享他們自己的元宇宙。[2023/1/18 11:19:26]
其中密??C,公鑰?Q,私鑰?d,隨機數?r,消息?M。協議很簡單,加密過程不需要?到的私鑰,不存在私鑰泄露的路徑。
使?eth-ecies加密是因為?便還是另有所圖?隨后很快就有?指出eth-ecies存在安全漏洞,RoninExploiter是想竊取EulerExploiter的私鑰。
是否真的如此?且讓我們先分析?下eth-ecies存在的是怎么樣的?個漏洞。
扭曲攻擊漏洞
經過分析,我們發現eth-ecies使?了?"elliptic":"^6.4.0",這是個Javascript橢圓曲線庫,這個版本的庫存在多個安全漏洞,其中?個就是扭曲曲線攻擊漏洞(twistattacks),這個漏洞的成因是在計算ECDH共享密鑰時沒有驗證對?的公鑰是否在曲線上,攻擊者可通過構造??群曲線上的公鑰,誘導受害者計算共享密鑰,從?破解出受害者私鑰。
DA Davidson將Stronghold Digital的目標股價下調40%至25美元:金色財經報道,投資銀行DA Davidson在一份報告中表示,由于當前運營進展慢于預期以及整個行業的供應鏈挑戰,將比特幣礦商Stronghold Digital(SDIG)的目標股價下調40%至25美元。
DA Davidson預計該礦商的算力將在2022年達到6.4EH/s,低于之前估計的7.4EH/s和14.4EH/s,從2023年起達到12.6EH/s。市場數據顯示,自10月20日開始交易以來,Stronghold Digital的股價已下跌約66%。(CoinDesk)[2022/3/30 14:25:40]
但是這個漏洞的利?難度是很?的,需要有?常契合的場景才能發起攻擊,RoninExploiter是否有機會發起扭曲攻擊呢?
ECDH算法?險
ECDH算法是基于橢圓曲線加密的密鑰交換算法。它與傳統的Diffie-Hellman(DH)算法類似,但是使?的是橢圓曲線上的數學運算來實現密鑰交換,從?提供更?的安全性。
波場TRON官方太陽幣SUN已被CoinMarketCap收錄,鎖倉量排名第三:據最新消息,波場TRON官方首個挖礦項目太陽幣SUN已被加密貨幣信息門戶網站CoinMarketCap(簡稱CMC)收錄。據CoinMarketCap數據顯示,截至2020年10月4日12點,鎖倉量達到325,625,439美元,僅次于uniswap和curve,排名第三。據悉,太陽幣SUN的定位是波場上的比特幣,零VC投資,零私募投資,零預挖,零團隊預留,完全依靠社區與開源智能合約。太陽幣SUN已于9月16日開啟正式挖礦,太陽幣SUN挖礦請遵守官網的指示公告,支持TronLink、imtoken、Tokenpocket、Bitpie等錢包。[2020/10/4]
下?是ECDH算法的步驟:
1.?成橢圓曲線:在密鑰交換之前,通信雙?需要選擇?個橢圓曲線,該曲線必須滿??些數學特性,例如離散對數問題。
2.?成私鑰和公鑰:每個通信?都需要?成?對私鑰和公鑰。私鑰是?個隨機數,?于計算公鑰。公鑰是?個點,它在橢圓曲線上,并由私鑰計算得出。
賽迪發布全球公有鏈指數:波場TRON全球排名居第二:據中國電子信息產業發展研究院(賽迪研究院)發布的第18期賽迪全球公有鏈技術評估指數顯示,波場TRON在全球37條公有鏈中綜合排名居第二,其中,波場TRON總指數達135.9,波場TRON的應用性也是位列所有公鏈中排名第二。
波場TRON以推動互聯網去中心化為己任,致力于為去中心化互聯網搭建基礎設施,旗下的TRON協議是全球最大的基于區塊鏈的去中心化應用操作系統協議之一,為協議上的去中心化應用運行提供高吞吐,高擴展,高可靠性的底層公鏈支持。
賽迪全球公有鏈技術評估工作自2018年初開始實施,由賽迪(青島)區塊鏈研究院有限公司組織實施,賽迪智庫信息化與軟件產業研究所、賽迪智庫網絡安全研究所、中國軟件評測中心、《網絡空間安全》雜志等共同參與。[2020/6/19]
3.交換公鑰:通信雙?將??的公鑰發送給對?。
4.計算共享密鑰:通信雙?使?對?發送的公鑰和??的私鑰計算出?個共享密鑰。這個共享密鑰可以?于加密通信中的數據,保證通信的機密性。
為了?便描述下?Alice和Bob分別代表上?雙?,G為基點,假設:
現場 | Certik CEO Ronghui Gu:形式驗證方法是實現計算機系統安全和隱私的可靠的方法:金色財經現場報道,NEO DevCon 2019開發者大會今日在西雅圖舉行,Certik CEO Ronghui Gu 做了以“建設可信的區塊鏈生態”主題演講。Ronghui Gu 表示,區塊鏈目前是十分脆弱的,有許多執行上的漏洞。攻擊區塊鏈的受益也是巨大的,據統計截止到2017年已經有6.3億美元的區塊鏈資產被黑客盜取。智能合約對黑客開源,一旦執行很難去修改, 我們應該去避免區塊鏈編程上的漏洞。程序的測試可以用于展示漏洞存在,但是它不能夠去顯示漏洞不存在。而形式驗證的方法是目前唯一可靠的方法去實現計算機系統的安全和隱私,形式驗證在數學上證明代碼滿足規范。[2019/2/17]
Alice的私鑰是a,則Alice公鑰是A=aG;
Bob的私鑰中b,則Bob公鑰是B=bG。
核?知識點在共享密鑰計算?法,根據群的乘法交換律,他們只要獲取到對?的公鑰就可以計算出共享密鑰:
????????????????????????S=aB=a(bG)=b(aG)=bA
如果Alice想要刺探Bob的私鑰,她可以選擇?個階數?q??常?的曲線點?H,由于群是循環群,Bob在計算?S′?=bH?時,他得到的?S′?將在這些少量點群以內。Alice不知道Bob的私鑰?b,但可以通過窮舉得到滿??S′=xH?的?x,此時?b≡x?modq?。顯然?x?很?,最?為?q。
需要多少個扭曲點呢?這取決于每?次選擇的階數?q,需要階數相乘能超過私鑰的最?值,即滿?:
如果我每次選擇的?q???點,那么需要交互的次數?n?就可以少?點,但?q?越?意味著窮舉的難度越?,所以這?需要根據Alice的運算性能做?個取舍。
事件結論
上?我們分析了ECDH算法的?險和攻擊原理,我們再回來看eth-ecies這個庫,實際上它使?的只是?個類似ECDH的算法,它在構造共享私鑰時使?的是臨時密鑰,根本不需要?到加密?的私鑰,所以并不會對加密?構成?險。
那么有沒有可能RoninExploiter是想利?社會?程學引導EulerExploiter使?其它有問題的?具呢??如我們熟知的PGP加密協議?
巧的很,我們很快就發現被?泛使?的開源庫openpgpjs最新版本v5.7.0?還在使?了低版本的?"={1}".format(Gorder,factor(Gorder)))
計算結果:
...=?2?*?3049?*?14821?*?19442993?*?32947377140686418620740736789682514948650410565397852612808537
選擇19442993這個??適中的數,?中國剩余定理創建?個含有19442993個元素的?群:?
x=crt(,)P1=x*G
到這?我們就得到了第?個扭曲的點,把它當作公鑰發送給Bob,Bob就可以計算第?個共享密鑰:
最終得到的結果可表示為:
使?中國剩余定理即可計算出私鑰?b:
x=crt(,)print(x==b)print(hex(x))
總結
本?我們通過?個不同常理的對話開始研究了橢圓曲線加密算法中的扭曲曲線攻擊,分析了漏洞的存在的原因,雖然漏洞利?場景有限,但不失為?個很有價值的漏洞,希望能對?家的學習研究有所啟發。
最后,感謝領先的?站式數字資產?托管服務商Safeheron提供的專業技術建議。
參考資料:
.https://etherscan.io/tx/0xcf0b3487dc443f1ef92b4fe27ff7f89e07588cdc0e2b37d50adb8158c697cea6
.https://github.com/LimelabsTech/eth-ecies
.GitHub-openpgpjs/openpgpjs:OpenPGPimplementationforJavaScript
.Ellipticcurveconstructor-Ellipticcurves
原文作者:DeFiMadeHere原文編譯:深潮TechFlow作者列出了幾個提供ARB流動性的DEX,包括KyberNetwork、TraderJoe、Uniswap和Camelot.
1900/1/1 0:00:00本文來自decrypt,原文作者:AndréBeganski3月25日,NFT投資者BrandonRiley意外發現自己以77ETH價格購買的CryptoPunk?被他不小心發送到銷毀地址后化為.
1900/1/1 0:00:00金色財經報道,據外媒報道,OpenAI已在意大利下線ChatGPT,此前意大利數據保護局Garante在3月31日暫時禁止了該聊天機器人,并對其涉嫌違反隱私規則展開了調查.
1900/1/1 0:00:00颯姐前幾天為大家分析過某幣圈大佬及其旗下公司,涉嫌違反美國1933年《證券法》和1934年《證券交易法》,向美國公眾發行和售賣未受美國證監會規管的非法證券加密資產.
1900/1/1 0:00:00原文標題:《Etherscan:TheMasterofBlockExplorers》 作者:Launchy Etherscan是一個幫助用戶瀏覽以太坊區塊鏈的工具,更常被稱為區塊鏈瀏覽器.
1900/1/1 0:00:007:00-12:00關鍵詞:Arbitrum、Camelot、Coinbase、ARB1.Arbitrum橋接參與用戶量突破60萬.
1900/1/1 0:00:00