返回部落格

重回 CashioApp 安全事件

Code Auditing
2022年5月16日
閱讀約 5 分鐘

2022 年 3 月 23 日 16:20:08 (UTC+8),CashioApp 遭到攻擊,抵押品代幣帳戶被掏空,損失約 5,200 萬美元。此次駭客攻擊之所以能夠成功,是因為針對輸入帳戶的檢查不足,導致攻擊者無需任何抵押即可鑄造 200 億枚 $CASH 代幣。以下我們將說明相關技術細節。

概要

該事件是由 Brrr 程式中的一個錯誤所導致,該程式旨在透過 Saber LP Arrows 的抵押品來處理 $CASH 代幣的鑄造與銷毀。具體而言,使用者可以透過存入 Arrow LP 代幣來「列印」 $CASH,即鑄造 $CASH。請注意,Arrow LP 代幣接收 Saber LP 代幣 作為底層代幣。用於鑄造 $CASHprint_cash 指令會接收一系列帳戶,包括 Bank 帳戶和 Collateral 帳戶。這些帳戶用於記錄和追蹤允許用於鑄造 $CASH 的抵押品(即 Arrow LP 代幣)。按照設計,這兩個帳戶應僅由管理員初始化並授權。然而,該程式未能檢查 Bank 帳戶的有效性。因此,攻擊者可以偽造一系列虛假帳戶(包括 Bank 帳戶)並將其輸入 print_cash 指令,從而幾乎免費地(唯一成本是交易手續費)列印出 $CASH

詳細資訊

讓我們從下方 print_cash 指令所使用的帳戶開始分析。

屬性 common(第 75 行)是一個結構體,其型別為程式中的 BrrrCommon。在 BrrrCommon 中,bank 帳戶和 collateral 帳戶是由管理員初始化並授權的。crate_token$CASH 代幣的帳戶,儲存有關 $CASH 的資訊,例如 crate_mint 的公鑰(第 107 行)、管理員角色的公鑰等。crate_collateral_tokens 是一個金庫帳戶,用於持有從使用者處轉移的抵押代幣。由於抵押品應為 Arrow LP 代幣(即 Saber 的 LP 代幣),使用者必須輸入 saber_swap 的相關帳戶。BrrrCommon 結構體中的最後兩個屬性是指令中所使用目標程式的程式 ID。請注意,PrintCash 結構體中的最後四個屬性是使用者的系統帳戶(同時也是交易簽署人)、使用者的抵押品帳戶、接收鑄造後 $CASH 的使用者 $CASH 代幣帳戶,以及擁有鑄造 $CASH 權限的帳戶公鑰。

攻擊交易

在了解上述帳戶的功能後,我們開始分析攻擊交易:0x4fgL…z2K5。此攻擊是由攻擊者地址發起的(位於 0x6D7f),PrintCash 指令中的輸入帳戶列表如下所示。

上述的 Account #1 (0x5aha) 對應於 Bank 帳戶。我們注意到這與 CashioApp 官方網站上提供的地址 (0xEm1P) 不同,這意味著對 Bank 帳戶的驗證是不充分的!

驗證

讓我們仔細觀察程式碼中對 BrrrCommon 結構體的驗證,以了解繞過機制是如何運作的。

對輸入 Bank 帳戶唯一的檢查是確保輸入的 Collateral 帳戶與 Bank 帳戶相關聯(第 12 行)。然而,透過同時提供虛假的 Collateral 帳戶,這很容易被繞過。此外,為了避免支付真實的抵押資產,攻擊者還提供了虛假的 saber_swap 帳戶。請注意,攻擊者的目標是存入沒有價值的抵押資產來列印有價值的 $CASH 代幣,因此攻擊者提供的 crate_tokencrate_mint 必須是真實地址。換句話說,對 Bank 帳戶檢查不足,使得攻擊者能夠偽造一系列虛假帳戶,從而利用沒有價值的抵押品來「列印」 $CASH

修復方案

修復方法是添加 assert_keys_eq!(self.bank.crate_mint, self.crate_mint) 語句。該語句確保了 Bank 帳戶的 crate_mint$CASH 正確的 crate_mint。然而,它是如何確保 Bank 帳戶有效的呢?讓我們看看 NewBank 結構體(在 bankman 程式中)和 NewCrate 結構體(在 crate_token 程式中)來尋找答案。

事實上,Bank 帳戶是一個 PDA,其種子包含 crate_token 的位址。同時,crate_token 也是一個 PDA,其種子包含 crate_mint 的位址。這確保了如果輸入的 crate_mint 有效,那麼 Bank 帳戶就是有效的。如果沒有正確的 crate_mint,攻擊者就無法鑄造 $CASH,也無法發動攻擊。

關於 BlockSec

BlockSec 是一家開創性的區塊鏈安全公司,由一群全球傑出的安全專家於 2021 年成立。公司致力於提升新興 Web3 世界的安全性和可用性,以促進其大規模採用。為此,BlockSec 提供智慧合約與 EVM 鏈安全審計服務、用於安全開發及防範威脅的 Phalcon 平台、用於資金追蹤與調查的 MetaSleuth 平台,以及協助 Web3 構建者在加密世界中高效航行的 MetaSuites 擴展程式。

迄今為止,公司已服務超過 300 家知名客戶,如 MetaMask、Uniswap Foundation、Compound、Forta 和 PancakeSwap,並從 Matrix Partners、Vitalbridge Capital 和分佈資本 (Fenbushi Capital) 等知名投資者處獲得了兩輪數千萬美元的融資。

官方網站:https://blocksec.com/

官方 Twitter 帳號:https://twitter.com/BlockSecTeam

訂閱最新動態
超越智能合約:Web3中的網域與DNS營運安全
Security Insights

超越智能合約:Web3中的網域與DNS營運安全

合約審計止步於合約本身。我們針對 DefiLlama TVL 前 100 名背後的 100 個網域,執行了八項基於 SEAL 的 DNS 與註冊商檢查——共 800 項檢查,僅有一個網域全數通過。以下是大多數專案缺失的四項關鍵控制,以及它們在用戶入口點的重要性。

Web3攻擊面:滲透測試概覽

Web3攻擊面:滲透測試概覽

加密機構保留所有傳統攻擊面,並疊加資金處理鏈。本文為測試人員提供系統的實用抽象:四組件模型——應用、授權與簽名、區塊鏈互動、基礎設施,說明各組件職責、代表性實現及繼承的攻擊面。並將web3特有範疇分為五大攻擊面:生產與自動化運維、簽名意圖、審批與提款鏈、資金邏輯、鏈上交易與已部署合約。

損失約2,300萬美元:Cosmos EVM、Moonwell 遭利用 | BlockSec Weekly
Security Insights

損失約2,300萬美元:Cosmos EVM、Moonwell 遭利用 | BlockSec Weekly

報告期間(2026/08/22 - 2026/08/30)內,共涵蓋5起區塊鏈安全事件,損失約2,270萬美元;Tectonic遭抽走約7,400萬至1.195億美元,其中大部分因Cronos回滾至攻擊前狀態而消除。重點事件為橫跨六條鏈的Cosmos EVM漏洞系列(實際損失約570萬美元),於TAC Chain追蹤發現,一個共享餘額同步漏洞串聯下溢與上溢攻擊,抽乾質押池。報告亦分析Moonwell的抵押品計算與預言機價格操縱組合攻擊、Tectonic針對低流動性抵押品的預言機價格與憑證代幣匯率操縱組合攻擊、Ajna清算業務邏輯漏洞,以及Solana上的Rain Card合約漏洞系列,涉及Ed25519簽名驗證繞過(Avici、Tria等)。

Web3 最佳安全審計方

在上線之前驗證設計、程式碼與業務邏輯,對標業內最高安全標準。

BlockSec 審計