Back to Blog

重回 CashioApp 安全事件

Code Auditing
May 16, 2022
5 min read

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

Sign up for the latest updates
~$598萬損失:Aztec、Raydium等|BlockSec週報
Security Insights

~$598萬損失:Aztec、Raydium等|BlockSec週報

本週區塊鏈安全報告涵蓋2026年6月8日至15日,分析以太坊和Solana上4起重大事件,總損失約598萬美元。重點事件包括:Aztec Connect因缺少輸入驗證導致rollup證明路徑與L1結算狀態不一致;Raydium因舊版AMM v3程式缺少驗證,攻擊者操縱LP代幣贖回計算並清空四個池。兩個漏洞均存在多年後才被利用。報告涵蓋輸入驗證缺失、整數溢出及治理攻擊等類型。

Zcash Orchard 健全性漏洞分析 | BlockSec 週報
Security Insights

Zcash Orchard 健全性漏洞分析 | BlockSec 週報

2026年6月1日當週,Zcash Orchard隱私池電路被公開披露存在嚴重健全性漏洞。該漏洞由halo2 ECC標量乘法組件缺少等式約束引起,可能導致透過雙重支付在Orchard池中無法被偵測地偽造ZEC。此漏洞自2022年5月Orchard啟用以來已存在逾四年,由研究員Taylor Hornby使用Anthropic Opus 4.8模型進行AI輔助安全審計時發現,並透過緊急網路升級(NU6.2)修補。本報告涵蓋技術根本原因、AI輔助發現過程、緊急應對時間軸及對ZKP生態系統的影響。

通訊 - 2026年5月
Security Insights

通訊 - 2026年5月

2026年5月,DeFi生態發生三起重大安全事件。Echo Protocol因管理員密鑰外洩遭惡意增發eBTC,損失約7,670萬美元;StablR因多簽治理漏洞被非法發行穩定幣,損失約1,280萬美元;Verus-Ethereum Bridge因類型驗證失敗導致攻擊,損失約1,170萬美元。

Best Security Auditor for Web3

Validate design, code, and business logic before launch. Aligned with the highest industry security standards.

BlockSec Audit