KeyFrame內部研究專用

What your auditor REALLY thinks but is afraid to tell you...

DeFi Security Summit - DSS·12月18日週三·44 min英文

三句話摘要

Web3 智能合約安全審計的圓桌論壇,討論項目在接受審計前應做的準備及常見安全誤區。 審計是暴露問題的工具,而非解決問題的保險;真正的安全源於項目方在設計、開發、測試各階段的主動投入,審計只是最後的品質檢查,無法修補根本性的準備缺失。 安全審計不是最終責任人

重點整理

重點
  • 1

    安全審計不是最終責任人

  • 2

    審計公司的職責是提供反饋,但項目方必須承擔安全責任。採納或忽視建議都是項目方的決策,審計通過不等於產品安全。

  • 3

    設計階段比代碼審計更關鍵

  • 4

    若設計層面存在明顯缺陷(如易受重放攻擊),代碼再優秀也無法救。應在設計時從攻擊者角度思考,而非依賴事後審計。

  • 5

    審計應盡早進行,而非事後

  • 6

    項目開發期間就應尋求安全建議,特別是長期項目。早期反饋能幫助修正設計,晚期審計只能找表面問題,無法重構。

  • 7

    測試覆蓋率是代碼品質的指標

  • 8

    若使用者故事涵蓋的功能都無測試,這是危險信號。應至少達到 100% 測試覆蓋,無法覆蓋的部分需文件說明原因。

實用技巧與重點

乾貨
  • 組織與工具:
  • Open Zeppelin:區塊鏈安全公司
  • Sigma Prime:以太坊協議安全評估,Lighthouse 維護者(支持以太坊 33% 流量)
  • Immunefi:漏洞賞金平台
  • DDOB W:反編譯工具開發商
  • Tayla Bits:傳統安全公司,與美國政府合作
  • 平台與資源:
  • Frameworks:security alliance.org(最佳實踐匯總網站)
  • Contract Wizard:合約代碼生成工具
  • Fuzz 測試、不變式測試工具
  • 具體問題案例:
  • 借貸協議:數千行 Solidity,幾乎無單元測試,基本功能測試(存取穩定幣)都失敗
  • 多重簽名風險:1/X 多重簽名反而增加攻擊面;8/11 多重簽名但 7 把密鑰存同一 AWS 實例
  • 設計缺陷:協議作為中間件但未考慮重放攻擊防護
  • 應做清單:
  • Mainnet 模擬測試
  • Actor 建模(誰與協議互動、特權等級)
  • 不變式開發與測試
  • 依賴管理與供應鏈監控
  • 已知局限性文件(如不支持非 ERC20 代幣)
  • Seal 911 聯絡(社交媒體被盜應對)

結論

結論

審計是暴露問題的工具,而非解決問題的保險;真正的安全源於項目方在設計、開發、測試各階段的主動投入,審計只是最後的品質檢查,無法修補根本性的準備缺失。

完整解析

詳細

Web3 安全審計不是簽署報告就安全,而是項目方與審計公司間的長期責任分工。這場論壇由五家頂級安全公司代表闡述一個核心觀點:審計是項目準備狀況的鏡像,不是安全的保險

問題的根源在於時間壓力與預算限制。Sigma Prime 的 Medi 分享了一個典型案例:某借貸協議提交審計時,提供了數千行 Solidity 代碼但幾乎沒有單元測試。他們按慣例在本地部署協議、執行基本的存取穩定幣操作,結果直接失敗。這表明項目方根本未進行最基礎的集成測試。類似情況屢見不鮮,暴露出開發團隊對「審計前準備」的誤解。

審計應該盡早進行,而非在部署前夕才倉促上馬。長期開發週期(如一年的協議)應每季進行安全諮詢,讓審計人員在設計階段提供反饋,而非等代碼凝固後才發現結構性缺陷。設計層面的問題(如重放攻擊防護缺失)無法通過編碼修補,只能重新設計。這就是為什麼項目方應在與投資者溝通、撰寫白皮書時就將安全納入考量。

常見的安全誤區包括多重簽名陷阱。許多項目假設 8/11 多重簽名很安全,卻忽略了 7 把密鑰可能存在同一個 AWS 實例上,或由不懂技術的董事會成員盲目簽署。真正的多重簽名安全需要簽名儀式與威脅建模:每位簽署人必須獨立持有密鑰,且難以被單一實體控制。次等的多重簽名不會帶來安全提升,反而增加複雜度。

依賴管理也被嚴重忽視。供應鏈攻擊曾一度被視為遠景風險,近年已多次發生。項目應識別所有外部依賴、監控其安全更新、並在集成新代幣(如 USDT)時進行文件記錄。當團隊人員流動時,這些文件能保護後來者免於重複犯錯。

審計公司無法承諾「安全」,只能說「基於現有反饋,已盡力提升安全水平」。時間限制是根本約束:給三週與給三個月的審計發現率差異巨大。若審計期間持續發現關鍵漏洞,這不代表審計人員不專業,而是項目方準備不足。責任在項目方決定何時上線,審計公司只提供訊息。

為填補行業知識空白,業界推出了 Frameworks(security alliance.org),一份涵蓋開發者、DevOps、社區經理等角色的 Markdown 最佳實踐指南。這試圖解決「應該做什麼」的困境,但最關鍵的仍是認知轉變:安全不是外部供應商的事,而是項目方的核心責任。

關鍵時刻

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