KeyFrame內部研究專用

OpSec Fundamentals Web3: Hands-On Tools and Recom. for Everyday Security - DeFi Security Summit 2025

DeFi Security Summit - DSS·11月20日週四·46 min英文

三句話摘要

Web3 安全研究員 Sven(@dshogaki)在研討會分享加密貨幣用戶的個人 OPSEC(作業安全)實務框架與工具。 Web3 安全研究員最容易忽略自身的 OPSEC:分離設備與瀏覽器 Profile、在硬體錢包上驗證每筆交易、用 Danger Zone 開文件、定期撤銷 token 授權,這四個習慣能擋住絕大多數針對個人的攻擊。 安全必須分層,單一防護不夠。 OPSEC 涵蓋實體(隱私濾鏡、鎖螢幕)、設備(瀏覽器 Profile 分離、專用簽名機)、網路(VPN、私人 RPC)、應用(密碼管理器、2FA)與行為(驗證優先)五層,缺任何一層都是弱點。

重點整理

重點
  • 1

    安全必須分層,單一防護不夠。 OPSEC 涵蓋實體(隱私濾鏡、鎖螢幕)、設備(瀏覽器 Profile 分離、專用簽名機)、網路(VPN、私人 RPC)、應用(密碼管理器、2FA)與行為(驗證優先)五層,缺任何一層都是弱點。

  • 2

    「不信任 UI,信任設備」是簽名鐵律。 Bybit 事件的根本教訓是:多位簽名者相信了被竄改的前端顯示,而沒有比對硬體錢包螢幕上的原始交易資料,才讓攻擊者得逞。任何高價值交易都必須在硬體錢包顯示面板上逐字確認。

  • 3

    開發者執行客戶程式碼要在隔離環境。 跑 Foundry 測試、審計外部 repo、打開合約 PDF 都是潛在攻擊入口。Docker 容器提供最低成本隔離;Qubes OS 則為每個進程啟動獨立 VM,達到 OS 層級完全隔離。

  • 4

    無限 token 授權是沉默炸彈。 多數 DeFi 應用預設申請無限授權,即使已停用協議,授權仍存在。revoke.cash 可視覺化顯示全部授權與風險金額,應定期執行稽核並撤銷。

實用技巧與重點

乾貨
  • 數字 / 比例:
  • 70% 個人加密損失來自釣魚 + 社交工程 + 惡意授權
  • 惡意 Solidity VS Code 擴充套件有 550,000 次安裝,仍竊取本機 secrets
  • 個人多簽建議配置:2-of-3(兩支硬體錢包 + 一個熱錢包)
  • 工具 / 平台 / 模型:
  • revoke.cash — 查詢與撤銷 token 授權
  • Danger Zone(需 Docker)— 將不可信 PDF/Office 文件轉為純視覺 PDF,去除惡意程式碼
  • Docker / VirtualBox / Parallels — 容器與 VM 隔離
  • Qubes OS — 每個進程獨立 VM 的作業系統
  • Tails OS — 專為隱私打造的 Linux,適合低價二線簽名機
  • Safe(原 Gnosis Safe)— 多簽錢包,網址 app.safe.global
  • Railgun — 使用 ZK-SNARKs 的鏈上隱私協議,支援 ERC-20 私人轉帳與 swap
  • cast(Foundry 工具)— 命令列解碼交易:`cast 4byte-decode <calldata>`
  • Tenderly — 整合在 Safe UI 中做交易模擬
  • YubiKey / Authy / Google Authenticator — 硬體金鑰與 TOTP 替代 SMS 2FA
  • Sepolia Faucet(sepoliafaucet.com)— 測試網水龍頭
  • 步驟 / 方法:
  • 瀏覽器分三個 Profile:日常 / 工作 / 加密 DeFi
  • 不可信文件處理流程:收到 PDF → 用 Danger Zone 開啟 → 輸出純視覺 PDF → 安全閱讀
  • Safe 多簽建立:連線錢包 → app.safe.global → 選網路 → 新增簽名者地址 + 別名 → 設門檻(如 2/3)→ 支付 gas 或「Pay Later」
  • 交易驗證流程:Safe 提案 → 在硬體錢包顯示面板核對 operation 參數(0 = regular call,1 = delegate call)→ 用 cast 解碼 calldata → Tenderly 模擬 → 才簽名
  • RPC 隱私選項:VPN → Tor → 付費私人 RPC 提供商 → 自建節點(最高控制)
  • 掃 QR Code 原則:永遠先驗證顯示的 URL,或直接手動輸入已知網址
  • 真實案例:
  • Bybit 駭客:Safe 前端開發者被惡意 PDF 感染 → 私鑰外洩 → 攻擊者在前端注入惡意 JavaScript → 多位簽名者信任 UI 而非設備 → delegate call 竄改 Safe 實作地址 → 資金損失
  • Curve Finance:DNS 被劫持 → 前端注入 JavaScript,將 `to` 參數替換為攻擊者地址,SSL 憑證完全正常,難以察覺

結論

結論

Web3 安全研究員最容易忽略自身的 OPSEC:分離設備與瀏覽器 Profile、在硬體錢包上驗證每筆交易、用 Danger Zone 開文件、定期撤銷 token 授權,這四個習慣能擋住絕大多數針對個人的攻擊。

完整解析

詳細

Web3 安全研究圈存在一個隱性矛盾:這些人能審計數千萬美元的智能合約,卻可能用同一個瀏覽器視窗同時刷 Twitter 和簽署鏈上交易。講者 Sven 在這場研討會工作坊中直指這個盲點——加密社群是高度被針對的攻擊目標,而 70% 的個人資產損失並非來自鏈上漏洞,而是釣魚攻擊、社交工程與惡意 token 授權。他從自身超過三年的 Web3 安全研究與 Sherlock 的審計工作出發,系統性地梳理了個人 OPSEC 的每一層防線。

整個框架分為五層:實體安全($10 隱私濾鏡、螢幕鎖定、鏡頭蓋)、設備隔離(瀏覽器 Profile 分離、高價值多簽使用專屬簽名機)、網路保護(VPN 選擇邏輯、私人 RPC、Tor)、應用層(密碼管理器、硬體金鑰 2FA 取代 SMS)以及行為層(驗證優先、帶外驗證、永遠確認 QR code 指向的真實 URL)。Sven 特別強調,安全的本質不是「完全防止」被攻擊,而是「讓攻擊者的成本不斷升高」——每一層防禦都在提高攻擊難度。

具體工具示範方面,他現場演示了三個核心工具。第一是 revoke.cash,輸入錢包地址即可看到全部 token 授權清單、被授權合約與風險金額,多數 DeFi 應用預設申請無限授權,需要定期主動撤銷。第二是 Danger Zone,利用 Docker 將可疑 PDF 或 Office 文件轉換為純截圖式 PDF,原理是在隔離容器內讀取文件後截圖再 OCR 輸出,即使文件內嵌惡意程式碼也無法執行——這直接對應 Bybit 事件中開發者被 PDF 感染的攻擊路徑。第三是 Safe 多簽錢包的完整建立流程:從 app.safe.global 創建錢包、加入多位簽名者、設定 2/3 門檻,再透過 WalletConnect 連接到任意 DeFi 應用提案交易,並用 `cast 4byte-decode` 從命令列解碼 calldata,搭配 Tenderly 模擬確認後才執行。他特別點出 Bybit 事件的技術細節:Safe 交易中 operation 參數若為 1(delegate call)而非 0(regular call),代表交易將修改合約實作地址——這是簽名者本可在硬體錢包顯示面板上發現的異常。

最後 Sven 強調三個行動建議:定期稽核自己的 OPSEC 設定(如同稽核程式碼)、把個人行動計畫具體化(例如「本週設定多簽」、「撤銷閒置授權」、「安裝 Danger Zone」),以及持續追蹤新型攻擊向量——因為惡意 VS Code 擴充套件、假職缺社交工程、DNS 劫持等手法每天都在演進,知識本身也需要定期更新。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「Web3 安全」的內容

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️
8 min
Web3 安全英文8月14日

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️

Zach Humphries

  • 機構支撐的積極意義:價格操縱常被視為負面,但Ripple掌握大量XRP供應與escrow,在熊市期間提高價格下限,實際上替零售投資者鎖定了低風險的積累區間,這不是剝削而是市場穩定機制。
  • 歷史模式驗證:2024年7月至11月XRP在50美分附近橫盤整理,低點觸及42美分(wick),高點65美分;隨後11月5日至12月5日單月上漲456%,年底到2025年初累計漲幅534%,這個歷史周期正在1美元價位重演。
  • 比特幣聯動邏輯:講者在4-5月就預測「如果比特幣跌至60k以下,XRP會跌至1美元或更低」,此預測精準應驗,反映出熊市中兩者的明確連動關係。
Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady
72 min
Web3 安全英文PODCAST8月5日

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Zero Knowledge

  • 反向 Linux 架構:Commonware 刻意暴露棧各層級控制,讓開發者自訂執行環境、共識機制、密碼學實現,而非像 Cosmos SDK 只允許應用層以上定制。2-3 個月能組裝一條定製鏈,代價是額外深度但回報是長期維護成本降低及效能優化彈性。
  • 容錯假設的典範轉移:Alpine Glow(Solana 2025)實現單輪投票定終的關鍵是將容錯預算分離為獨立的 Byzantine 和 Crash 容限。傳統系統把 33% 當一個整體預算;新模型允許 20% 惡意加 20% 崩潰,打破了 PBFT 理論界線,釋放單輪設計空間。
  • Minimet 與 Multimet 的遞進:Minimet 是 5F+1 設定下的乾淨構造,實現更短視圖延遲;Multimet(剛發布)進一步允許並行 mini-commits 且驗證者可推翻領導者審查,使用者交易在全球分布式網路達到 200-300 毫秒端到端定終。
Private Information Retrieval (PIR) with Alex Hoover
64 min
Web3 安全英文PODCAST7月29日

Private Information Retrieval (PIR) with Alex Hoover

Zero Knowledge

  • PIR 保護的是訪問模式,不是資料本身
  • PIR 與加密不同,它關注的是隱藏「客戶端查詢了什麼」,而非「資料是否加密」。在公開資料庫(如區塊鏈)上,客戶端可以在不洩露查詢對象給伺服器的情況下檢索特定條目,解決了輕量級客戶端的隱私和防審查問題。
  • 客戶端預處理方案是突破瓶頸的關鍵