發現最安全錢包ZenGo問題 防御特權用戶攻擊細節分析（獨家）_MPC

ZenGo是一個使用多方計算（MPC）技術的安全Web 3錢包。

最近，CertiK的SkyFall團隊對眾多移動錢包進行了徹底的審計和研究，發現ZenGo的MPC解決方案提供了比普通移動錢包更強大的安全防御措施——ZenGo的錢包用戶，尤其是那些高價值的錢包用戶可以防御來自高級攻擊者的直接攻擊：例如利用零日漏洞或高級惡意軟件在用戶設備上獲得root權限。

該威脅是最新出現且僅被CertiK團隊發現，因此MPC錢包開發者請務必注意攻擊細節！

防御特權攻擊者是具有挑戰性的。我們在報告結果中提出了一個新的攻擊方式，與針對ZenGo中的MPC方法攻擊向量。于是我們立即向ZenGo報告了這個安全問題，同時ZenGo也迅速做出了回應并修復了該問題。

本文我們將深入探討該發現的技術細節，并分享我們是如何與ZenGo合作以提高MPC錢包的整體安全性的。 

基于我們對ZenGo安全設計的徹底審查和他們對問題的專業回應，CertiK認為ZenGo可以被稱為目前市場上安全度較高的錢包解決方案。

多方計算（MPC），有時也被稱為安全多方計算（SMPC），是密碼學的一個領域。它允許多方聯合簽署交易，同時確保每一方的密鑰不被泄露。

因為MPC技術可以在多方之間分配密鑰從而消除任何單點故障，因此可以讓用戶更好地保護Web 3私鑰，這種方法也通常被稱為 "閾值簽名"，目前已被許多Web 3托管人和錢包開發者采用以保護Web 3資產。其中，ZenGo是最廣為人知且使用率最高的MPC錢包開發商之一。 

Chingari：代幣 GARI 未發現黑客攻擊，價格下跌或為市場因素:7月5日消息，印度短視頻社交應用Chingari發推表示，經過全面評估后，代幣GARI方面沒有發現任何黑客行為，到目前為止看起來像是一個市場事件，Chingari一直與交易所保持聯系并評估情況。注：昨夜Chingari代幣GARI一度暴跌逾80%，截至發文時24小時跌幅仍為68.9%。[2022/7/5 1:51:23]

如下圖所示，該錢包并不是由一個傳統的私鑰來控制簽署交易，而是由多個私鑰分片參與交易簽署過程，并產生一個最終簽名從而進行驗證。

產生簽名的普通MPC設計

通過本次研究，我們已認識到與MPC方法相關的挑戰和潛在的安全風險對于Web 3資產保護的重要性。于是我們想要通過探索和解決這些挑戰來更好地保護Web3用戶。

 因此我們可以想一下這個問題：與傳統的加密錢包相比，為什么MPC錢包可以提供更高的安全性？它又是如何做到的？

在評估了不同Web 3錢包的設計后，我們研究了MPC的Web 3錢包——我們評估了市場上最受推崇的MPC錢包之一，同時也是頭部的自我托管MPC錢包——ZenGo。

本次評估我們采用了與之前研究概述中相同的威脅模型：“如果你的設備被植入了惡意軟件，那么該錢包還能保護你的資產嗎？”

ZenGo安全架構概述

如上圖所示，ZenGo錢包具備獨特的安全設計，安全架構和恢復過程比傳統的錢包更富有層次。ZenGo提供的安全功能包括但不限于：

X2Y2：在質押減半中發現設置質押獎勵合約的初始參數時出現錯誤:3月18日消息，NFT交易平臺X2Y2表示在質押減半中發現設置質押獎勵合約的初始參數時出現了錯誤。

X2Y2稱，質押減半在 14408224區塊開始，APR從 ~1000%下降到 ~160%，遠低于預期的500%，調查該問題后，團隊發現了在設置質押獎勵合約的初始參數時出現錯誤。

由于參數錯誤，在前30天分配了 2 億總獎勵的 56%，而不是最初計劃的18%，X2Y2表示這也可能是迄今為止所經歷的強烈拋售壓力背后的主要驅動因素。[2022/3/18 14:04:56]

雙方簽名方案：ZenGo的MPC設計實現了雙方簽名方案。每個用戶在生成交易簽名時都涉及兩個密鑰分片：一個存儲在ZenGo的服務器上（主密鑰①），另一個存儲在用戶的設備上（主密鑰②）。ZenGo和用戶均不知道對方持有的密鑰是什么。

基于TEE的保護：此外，為了防止 "中間人 "和 “APP劫持"的攻擊，ZenGo應用程序使用了TEE（可信執行環境）解決方案，并用TEE專用密鑰簽署HTTPS的通信內容來請求相關API。這個基于TEE的設備密鑰是在用戶設置設備時在TEE內產生的，即使是操作系統本身也無法提取。

有了這些安全功能，攻擊者就不能再從內存或存儲文件中竊取用戶的私鑰并控制ZenGo用戶的資產。ZenGo還利用TEE來保護服務器和客戶端之間的互動不能夠被篡改。這也意味著“中間人”和 "APP劫持"攻擊被有效阻止和防御了。

我們的審計證實，ZenGo確實有一個安全的設計和實現可以抵御這些攻擊，并且這已是我們所接觸過的被審計錢包中具備最高安全水準的設計。

ZenGo的安全設計和實現成功地防御了包括來自特權的攻擊及上述攻擊。然而處理所有類型的特權攻擊也并不是易事，特別是考慮到攻擊者可以讀取（以及在某些情況下寫入）任意內存。

靈蹤安全已審計ChainSwap項目智能合約 暫未發現風險:據官方消息，靈蹤安全近期審計了ChainSwap項目的智能合約，所審計的TOKEN，Factory和LBP合約為該項目通證發行、跨鏈映射通證發行以及Uniswap上發布通證交易的LBP機制。經靈蹤安全審計（細節請參看審計報告）暫未發現風險。[2021/4/25 20:55:42]

通過審計整個錢包，我們能夠發現ZenGo中的一個實現問題那就是：該錢包允許我們作為特權攻擊者從而繞過某些保護。

不過在討論細節之前，讓我們先回顧一下ZenGo錢包的安全機制。

因此我們可以想一下這個問題：與傳統的加密錢包相比，為什么MPC錢包可以提供更高的安全性？它又是如何做到的？

一個經典的Web 3錢包只需要一個私鑰。然而用戶總是有一定可能會透露私鑰或助記詞的。因此他們可能會丟失私鑰，然后眼睜睜看著攻擊者占有資產。

MPC錢包的工作方式則不同。該錢包沒有單一的私鑰，用戶現在只持有一份私鑰分片，對其余的私鑰分片一無所知。從這個角度看，攻擊者即使獲得了用戶那一份的個人密鑰，也不能直接轉移資金。而為了進一步保護用戶，ZenGo使用了多種手段來加強他們的安全設計：不僅僅是上述的雙方簽名方案和基于TEE的設備保護，還有基于面部掃描的生物識別認證及額外密鑰加密等。

在用戶注冊和賬號恢復過程中，ZenGo采用了以下保護措施來保護用戶資產。 

用戶識別保護： 雙方簽名方案要求只有當用戶與另一方（ZenGo的設定為服務器方）交互，才能動用他們的資金。為了能夠識別用戶和存儲在服務器上的相關密鑰份額，ZenGo需要用戶的電子郵件以便注冊賬戶。

為了避免電子郵件被黑，ZenGo使用了面部掃描技術（FaceTec的Zoom），將生物識別信息與用戶賬戶綁定。在注冊與電子郵件驗證后的賬號恢復過程中，用戶需要“刷臉”來進行認證。

彭博社策略師：BTC處于價格發現階段，還不是價值存儲:彭博社策略師Mike McGlone發推表示，BTC處于價格發現階段，還不是價值存儲。BTC有望成為數字黃金，但在2020年仍距離成為數字黃金很遠。BTC當前市值僅剛超過3000億美元，相較于黃金的10萬億美元市值仍很渺小。[2020/11/21 21:35:39]

應用程序-服務器通信保護： 為了確保ZenGo服務器與合法用戶的設備進行互動，ZenGo在注冊和賬號恢復過程中在TEE環境中生成并注冊了一個非對稱密鑰。ZenGo應用程序和服務器之間的所有交互都需要由這個特定的密鑰簽署。因為它受到硬件支持的安全解決方案的保護，因此攻擊者不能直接讀取這個密鑰，而該密鑰也很難被濫用。

ZenGo用戶注冊和賬號恢復過程

用戶密鑰共享保護： 讓用戶存儲和備份其密鑰分片是有風險的，因為這或將危及到ZenGo提供的所有安全措施。而為了解決這個安全問題，ZenGo在注冊過程中生成了一個加密密鑰。加密密鑰對用戶的密鑰共享進行加密，并將密碼文本存儲在其服務器上。

但是，加密密鑰不與ZenGo共享，而是強制與用戶的Google Drive或iCloud進行同步。只有在用戶通過電子郵件驗證和基于服務器的生物識別認證后，才能將加密的密鑰共享并進一步解密。其中基于服務器的生物識別認證（FaceTec人臉識別）幾乎不可能被常規的2D/3D人臉重建“蒙騙”。

MixBytes完成Pickle?Finance策略審計，未發現重大或關鍵問題:流動性挖礦項目Pickle?Finance官方發推稱，MixBytes已經發布關于Pickle?Finance所有策略的審計報告。未發現重大或關鍵問題。[2020/11/5 11:43:05]

ZenGo的交易過程

為了簽署一項交易，ZenGo應用程序與ZenGo服務器進行了一系列的交互。在交互過程中，ZenGo使用其開源的雙方簽名解決方案和用戶密鑰分片來生成雙方簽名。然后，ZenGo服務器再進一步完成簽名并廣播交易。這個過程中的所有請求都有時間戳和TEE中的簽名以保持信息的完整性和不可重放性。

正如我們之前所討論的，ZenGo的安全設計中涉及許多加密密鑰，每一個密鑰都有不同的職責。在下面的表格中，我們顯示了ZenGo使用了哪些密鑰以及它們是如何被保護的。

通過這個表格，我們可以看到，在客戶端有三個密鑰被使用：主密鑰②，設備密鑰和加密密鑰。攻擊者需要同時獲得主密鑰②和設備密鑰，以便與ZenGo服務器互動，竊取用戶資金。

正如前面交易細節部分所介紹的，主密鑰②在內存中作為文本參與雙方簽名的生成，它允許攻擊者讀取進程內存并提取主密鑰②。而作為一種一定程度上的解決方案，所有對ZenGo服務器的交易請求都需要由設備密鑰簽署，而設備密鑰是不能被讀取或提取的。這個過程是在TEE中完成的，攻擊者無法控制。

然而，盡管ZenGo的安全設計考慮到了許多方面，CertiK的SkyFall團隊仍然在其中發現了一個漏洞。在對ZenGo應用程序中所有API進行細節審計后，我們注意到某些API允許攻擊者欺騙ZenGo服務器，并輕松生成一個新的設備密鑰，以便在其他設備上使用。

這種由設備密鑰注冊的API缺乏必要的安全保護措施：攻擊者可以在其他設備上生成一個新的NIST P-256橢圓曲線密鑰，然后攻擊者可以利用設備密鑰注冊API，并注冊新生成的密鑰對，假裝新的用戶設備并請求交易。

我們將這種攻擊命名為設備分叉攻擊。

如上文所述，攻擊者需要擁有ZenGo用戶的主密鑰②和有效的設備密鑰來竊取其資產。

主密鑰②：主密鑰②是一個固定的密鑰，在內存中作為明文使用，以便參與雙方的簽名過程。由于雙方簽名算法的復雜性和獨特性，這個過程不能在TEE中完成。因此，一個有特權權限的攻擊者可以簡單地轉儲進程內存或劫持某些系統API來提取主密鑰②。下方截圖顯示了我們在iOS平臺上能夠提取到的主密鑰②。

設備密鑰：在注冊或賬號恢復過程中，TEE中的用戶設備上會生成一個有效的設備密鑰作為對前述明文提取威脅的解決方案。設備密鑰并不能被有特權權限的攻擊者讀取，然而，攻擊者可以使用相同的設備密鑰注冊API，從而來注冊另一對密鑰并使用它。

設備密鑰注冊API只有一個非常基礎的認證機制：攻擊者可以使用一個普通的明文本地存儲的JWT 令牌和提取到的主密鑰②進行API身份認證。根據設計，該API涉及到的服務器代碼也應該經過Face tec生物識別認證。然而在實踐中，由于邏輯缺陷，代碼未能執行此環節。 

在我們的模擬攻擊中，我們模擬了一個具備特權權限的攻擊者，并持續監控受害者的設備。一旦ZenGo應用程序被啟動，我們便立即從內存中提取主密鑰②，并從本地數據庫中讀取API令牌。而這些信息足以讓攻擊者盜取用戶的全部資金！

一旦有了API令牌，我們就會生成一個新的設備密鑰，并調用設備密鑰注冊API從而在ZenGo服務器上注冊設備密鑰。隨后，我們構建了所有的API請求，與ZenGo服務器交互來發起交易。對于MPC錢包來說，生成雙方簽名是一個非常獨特并且復雜的過程。不過好在ZenGo的開發過程始終秉承著開源精神，我們才能夠編譯官方ZenGo應用程序中使用的雙方簽名庫并在本地運行。

上圖中展示了我們是如何提取主密鑰②并代表受害者注冊一個新的設備密鑰的。隨后我們利用這兩個密鑰向“攻擊者的賬戶”發送了0.00222 ETH。這整個過程只用了幾秒鐘，并且受害者也會完全意識不到。

為了解決這個問題，ZenGo在服務器端為設備注冊實施了FaceTec生物識別認證。服務器API級別的解決措施消除了這種攻擊的可能性，且不需要更新客戶端代碼。

在CertiK對ZenGo的評估中，我們徹底檢查并審計了其為保護用戶資產所采取的所有安全措施。這些措施包括雙方簽名方案、基于TEE的設備保護以及用來注冊和恢復賬號的生物識別。 

盡管ZenGo有著較高的安全意識，并采取了諸多措施用來提高自己的安全性，CertiK還是在ZenGo的實施中發現了一個關鍵的可被利用的API訪問認證風險。該漏洞可以讓持有特權的攻擊者繞過現有的安全措施，并在用戶的設備被破壞時竊取用戶的資金。

ZenGo及時解決了該問題并部署了一個補丁，CeritK隨后也進行了徹底的進一步審計并確定該補丁已修復報告中提到的風險。

隨著補丁的部署，我們相信ZenGo在日后可以有效地預防特權用戶非法訪問用戶資金。防御特權攻擊者是一項艱巨的任務，而ZenGo的安全實踐向我們展示了全面保護用戶的安全方法。該錢包的做法超過了目前市場上絕大多數常規錢包。 

我們很榮幸能夠與ZenGo合作，并很榮幸能夠與ZenGo在保護Web 3用戶安全方面做出共同努力并解決安全挑戰。同時也感謝ZenGo對我們發現漏洞的及時回應與高效的漏洞補丁出臺行動。

作為安全行業的從業者，我們很高興看到一個頂級Web 3錢包公司如此重視安全，對用戶和用戶的資金具備如此高的責任心。希望在未來的安全道路中，我們可為更多項目提升安全性，為其用戶賦予“安心”。

CertiK中文社區

企業專欄

閱讀更多

金色財經 善歐巴

Chainlink預言機

白話區塊鏈

金色早8點

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

MarsBit

Arcane Labs

Tags：ENGZENMPCAPIGENGARethylbenzeneSMPC價格Metapioneers

中幣下載