今日 KeyFrame

DeFi Security Summit - DSS

• Web 3安全必須同時涵蓋Web 2基礎。許多Web 3協議遺漏了密鑰管理等基本Web 2安全實踐，導致被攻擊。Polygon採用類比策略推廣安全習慣——把助記詞類比為密碼，讓用戶自然理解保護的重要性，而不是用陌生的Web 3術語。
• 大型協議的安全焦點需要雙軌並進。組織安全包含員工培訓、密鑰管理、通訊渠道防護等；技術安全則涵蓋審計、內部安全審查、漏洞賞金計畫。兩個領域缺一不可。
• 未來一年應優先強化Web 2防禦。國家級駭客組織對Web 2漏洞熟悉，但對Web 3仍不熟悉，而當前攻擊者池中針對Web 2的威脅遠超Web 3，應按照威脅分佈調配防禦資源。

DeFi Security Summit - DSS

• Slitter與Echidna的功能定位差異：Slitter作為靜態分析器主要對標已知漏洞，執行快速（秒級反應），適合集成進CI/CD流程中每個拉取請求；Echidna則著重檢查代碼中的不變性和邏輯錯誤，需要開發團隊主動建立Invariant規則，代表更高層級的安全驗證。
• 工具的實際價值驗證：獨立學術研究顯示若開發者採用Slitter，可預防約1.15億美元的損失，證明工具在實務中的有效性不容小覷。
• 開發流程中融入安全思維的必要性：採用基於不變性開發範式的團隊普遍擁有更好的安全態勢和更高的成熟度，這代表安全不應是事後審查，而應從設計階段就納入開發思維。

DeFi Security Summit - DSS

• 安全評估 vs 審計的本質區別：傳統審計針對明確的國際標準（ISO 9001、ISO 27001）進行合規檢查，而區塊鏈行業還無公開標準，所以Sigma Prime進行的是「時間受限的安全評估」——投入時間越多發現bug越多，這點必須清楚溝通避免期望錯位。
• Lighthouse 的戰略地位與社區承諾：作為占以太坊 35% 市場份額的共識層關鍵基礎設施，Sigma Prime 團隊五年來深耕以太坊研究，對社區做出永不商業化的明確承諾，這是為防止企業組織對共識層的控制。
• 客戶前期投入決定評估效率：優秀的安全評估應該是項目方已完成充分內部審查、提供詳細文檔與代碼註釋；否則評估團隊浪費時間理解代碼就等於客戶浪費金錢，理想報告應無重大驚喜。

經營男不難

• 計劃書必須通過上對下的充分溝通與互動才能生效，不僅要求高階制定，更要求全體員工參與書寫工作計劃，形成縱向的整體規劃架構。計劃的執行成敗關鍵在於善用行事曆等工具，將抽象的年度目標逐月展開、再轉換成具體的每日執行清單，這樣才能確保不遺漏任何工作且避免延誤。觀察一個人是否值得信賴，應從時間管理習慣與自我學習的主動性兩個指標切入，而非私生活或其他因素。

經營男不難

• 東方企業接班難題根植於文化差異：西方社會從小培養兒童自主理財與責任承擔，東方則過度呵護導致依賴；這直接影響二代承接企業的能力與心態。成功的接班案例（如上品請去、展城照明）共同特徵是一代與二代並行參加CEO班等專業培訓課程，透過外部講師的介入而非親子教學，避免衝突並建立經營理念共識。二代在職位安排上應採漸進策略，先以特助身份參與各部門歷練，同時需要對長辈展現尊重與耐心，證明能力後方能逐步取得權限。股權與經營權設計必須釐清：二代需掌握51%以上股權以確保控制權（所有權層面），但可將日常經營權交給專業經理人，二代則專注學習與監督。

DeFi Security Summit - DSS

• 模糊測試器性能本質隨機且高度波動——同一個漏洞的發現時間可能相差 100 到 1000 倍，從幾分鐘到一整天，種子選擇和運行環境（多核 vs 單核）都會影響結果。
• 測量方法論至關重要——不能用平均時間衡量，應對比中位數與標準差、嘗試多個種子值、進行長時間運行、尋找獨特錯誤而非重複計算、最後用統計檢驗確保結果統計顯著。
• Uniswap V2 實驗揭示漏洞難度差異——12 個注入漏洞中，漏洞 6、7、8、9 容易被發現，其他則困難，且不同漏洞的分布方差也不同，反映不同代碼結構對模糊測試的影響。

DeFi Security Summit - DSS

• DeFi的「無信任」性實際上不代表「可信任」——去中心化承諾依然依賴智能合約的安全性和開發者的誠信，任何人都能編寫合約，包括詐騙者，導致地毯拉扯（rug pull）、隱藏鑄造和強制轉帳等多種詐騙方式。
• 符號執行通過系統化探索所有執行路徑來發現隱藏後門——用符號輸入替代具體值，收集路徑約束條件，再用SMT求解器找出觸發詐騙功能的具體輸入值，使隱匿的惡意代碼無所遁形。
• 兩類高風險操作可被精確檢測——無限制鑄造會導致代幣通脹和價格下跌，未授權轉帳允許特權用戶直接竊取他人資金，這些都能透過設置適當的約束條件被符號執行識別出來。

DeFi Security Summit - DSS

• 閃電貸的攻擊機制：無抵押貸款在單筆交易內執行，攻擊者通常先操縱某個市場價格，再利用依賴該市場作為預言機的其他協議，最後完成還款，整個流程在一筆交易內完成。
• 現有自動化方案的侷限：Bernhard Mueller 在 2020 年的嘗試只能處理套利案例，Clockwork Finance 純屬學術研究無法實際應用，Vanguard 工具已不可用，市場上缺乏有效的生產級工具。
• Quantum 工具的核心方法：預先定義協議操作序列與利潤函數，用多元多項式建模這些參數，透過生成大量隨機操作和參數組合，找出能產生正利潤的局部最大值，再在 Foundry 或 Hardhat 的區塊鏈分叉中驗證。

DeFi Security Summit - DSS

• 現狀問題：區塊鏈生態充斥設計不良的規格與實現，Auditor 被迫修復這些缺陷。問題根源往往不在新的密碼學原語，而在對智能合約與區塊鏈系統的深層理論理解不足。
• 接口是關鍵痛點：錯誤最頻繁出現在接口設計上——包括合約與合約的互動、跨鏈交互，以及鏈上與鏈下系統的互動。這些情況下，不同類型的系統需要彼此交互，但目前的解決方案往往是「膠帶式」的創意類型轉換。
• Category Theory 的理論基礎：Category Theory 由對象（objects）與結構保留的映射（structure-preserving maps）組成。一個 functor 是不同 categories 之間的映射，能將一個結構中的對象與變換相干地映射到另一個結構中。

DeFi Security Summit - DSS

• 蜜罐的核心機制在於視覺欺騙與代碼缺陷的結合。設計者在合約中創造看起來可以竊取資金的條件（如超額發送觸發提取），但實際上只有部署者能通過隱藏路徑提取，使用者的交易永遠無法成功。
• 黑客之所以容易上當，是因為時間壓力與工具依賴。大多數黑客只有一分鐘時間在記憶池發現機會，並且許多人只會運行掃描工具而不理解代碼邏輯，導致無法識別複雜的蜜罐結構。
• 檢測方法需要專業知識與工具結合。符號求解（symbolic solver）、交易模式分析、機器學習分類都可用於已知類型蜜罐的檢測，但需要先建立訓練數據集並理解特定攻擊場景。

DeFi Security Summit - DSS

• 社區與專家各有所長：在中危漏洞上，社區因人數眾多找到 81%，但在關鍵漏洞上，兩方表現接近（66% vs 76%），顯示專家與社區的發現邏輯不同——社區擅長邊界案例，專家擅長系統性問題。
• 漏洞發現的互補性：Bedrock 審計案例說明問題所在——三個關鍵漏洞中，有一個只有專家找到、一個只有社區成員找到、一個雙方都找到，若缺少其中任一方就會遺漏不同類型的漏洞。
• 完整安全需要兩種方法：若沒有頂級審計師，會漏掉約 25% 的關鍵漏洞；若沒有社區，會漏掉約 33%。這說明質與量的組合才是最優解，而不是二選一。

DeFi Security Summit - DSS

• 功能測試與安全測試本質差異
• 功能測試衡量代碼「做了什麼」（如代碼覆蓋率），而安全測試必須驗證代碼「沒有做什麼」。講者以ERC20代幣為例，儘管達到100%測試覆蓋率且三個基本功能（鑄造、燒毀、轉移）都能正常工作，卻存在任何人可燒毀他人代幣的重大漏洞——這是典型的缺失負測試案例（驗證非授權調用應被拒絕）。
• 採用駭客思維進行安全測試

DeFi Security Summit - DSS

• 審計員具備跨百數個程式碼庫的經驗，能在設計階段就指導最佳架構選擇（如利率模型、代理模式、升級方案），避免後期修復成本高昂。
• DeFi駭客的六大根本原因中，部署腳本問題最常被忽視——缺少初始化調用（如set_operator）會導致權限控制失效，任何人都能竊取合約資金。
• 審計員在事件應對中具有獨特價值：經驗豐富的研究員曾參與多次「戰爭室」應急，熟悉快速構建概念驗證、分析漏洞報告品質，能加速問題定位與修復。

DeFi Security Summit - DSS

• DeFi 獨特的安全困境：不同於傳統軟體的隔離環境，DeFi 協議由 Oracle、智能合約、代幣、多方配置等多個移動部件組成，完全開放透明。攻擊者不需協商贖金，一筆交易就能竊取整個協議的資金，這是傳統網路安全從未面對的直接價值風險。
• 從檢測漏洞轉向追踪威脅：單靠定期審計、正式驗證與代碼審查只能映射已知風險，無法應對持續演變的攻擊。新範式是主動監控鏈上惡意活動，在黑客執行漏洞前就偵測並阻止。
• 分層應急體系：事件前需建立融資檢測、合約部署檢測、漏洞執行前的防守；事件發生時需暫停協議、開設戰情室、聯絡執法部門與交易所凍結資產。

DeFi Security Summit - DSS

• 健康因子檢查的必要性：借貸協議必須在所有相關操作中驗證抵押品是否足以償還債務。Euler Finance的「捐贈儲備」功能因缺失此檢查，允許攻擊者創建可清算頭寸並利用20%清算折扣套利，造成巨額損失。
• 市場配置的災難性影響：DeFi協議的配置錯誤—如Len Hub同時維護新舊市場導致跨市場套利、100 Finance列出重複資產、Yearn Finance配置錯誤的Fulcrum市場—會直接導致資金被竊取，防護需仰賴部署前的本地測試。
• 外部合約參數驗證的關鍵性：當協議允許用戶指定外部合約地址或調用函數時，必須嚴格驗證這些參數。Daxable和Sushi Swap遭受的攻擊均因缺失驗證，使攻擊者能劫持用戶授權實現資金轉移。

DeFi Security Summit - DSS

• 審計的定義差異：傳統審計方強調找出所有漏洞並提供架構諮詢，而競賽型審計則聚焦於最大化發現關鍵漏洞；這反映了不同階段的不同需求。
• 傳統審計的優勢與成本：由頂級專家組成的團隊能進行深度的架構與設計評審，但時間長（可達6-9個月）且費用高，適合作為上線前的「期末考」。
• 競賽審計的創新價值：通過眾多獨立審計者同時競爭，既提升發現漏洞的廣度，也通過公開報告與算法獎勵機制驅動整體行業安全認知提升。

DeFi Security Summit - DSS

• 審計報告與部署代碼的關聯缺陷：審計通常在部署前進行並存放在GitHub或審計公司網站，但用戶最關心的是實際運行在鏈上的智能合約代碼。將兩者關聯起來成本極高，導致大多數用戶無法有效驗證他們投入資金的協議是否確實接受過審計。
• 用戶決策依賴於可靠性指標而非審計：面對複雜的審計資料，用戶傾向於根據協議的TVL（總鎖定價值）和運行時間來判斷安全性。他們假設大型協議已經過充分審查，這實際上是一種信任協議而非信任審計的決策模式。
• 可升級合約隱藏的風險重置：DeFi協議頻繁進行代理升級，每次升級都會重置安全指標。用戶看到的TVL線看似穩定增長，但實際上代碼邏輯已多次改變，安全審查應該重新開始，這個風險往往被忽視。

DeFi Security Summit - DSS

• 驗證者中心化是系統性脆弱點：Multi-chain聲稱MPC但所有密鑰掌握在一人手中，Ronin的5/9多重簽名中4個簽署者屬同一實體，Harmony也面臨相同問題。檢驗驗證者獨立性需要社區進行鏈上分析調查，單純查看區塊鏈無法確認驗證者是否真正獨立或只是相互依賴的偽裝。
• 可升級合約帶來系統性風險：若所有驗證器運行相同代碼，代碼漏洞會像乘法般擴散到全部組件。不可變智能合約加上客戶端多樣性（各驗證器由不同開發公司構建）是更優解，讓攻擊面無法形成單點故障。
• 監控應在攻擊執行前攔截而非事後檢測：Layer Zero的「Pre-crime」模塊對每條跨鏈消息進行本地分叉驗證，按應用設定的不變式（如防雙重支付的會計機制）檢查，失敗消息在主網執行前被拒絕，成功保護了Stargate在44億美元TVL時期免受攻擊。速率限制和可配置區塊確認數同樣有效，能限制異常提現規模。

DeFi Security Summit - DSS

• 形式驗證解決Web3的特有風險。Web3漏洞利用涉及金錢盜竊，修復需要複雜升級流程。代碼開源意味著更多攻擊者審視，形式驗證提供嚴格的數學證明確保安全性，遠優於人工審查。
• 形式驗證不能替代其他安全手段。最佳實踐是分層防禦：早期用靜態分析和模糊測試發現淺層bug，對存儲資金、資金路由等安全關鍵組件進行形式驗證，部署後繼續監控。每層都有盲點，綜合使用才能達到完整安全覆蓋。
• 開發者和審計員角色不同。開發者應在開發週期早期使用屬性測試和模糊測試，這些工具易學易用（Foundry框架已整合）；審計員需深入專業驗證，使用形式驗證工具和規範檢查發現開發者遺漏的漏洞，並整合驗證到持續整合流程中。

DeFi Security Summit - DSS

• 符號執行相比傳統測試的優勢 — 單元測試只驗證具體輸入路徑，模糊測試難以隨機滿足複雜邏輯條件（如x+1==1024）。符號執行將變數視為符號量，自動遍歷所有執行路徑，使用SMT求解器計算能觸發bug的具體輸入值。
• 工具實踐中的常見陷阱 — 工具默認配置可能無法報告某些漏洞（如MythRil在Solidity 0.8後不報告斷言失敗），需要調整Solidity版本或添加test case驗證工具正常運作；SMT求解器超時會導致工具無聲失敗。
• 性能與易用性的權衡 — Python工具提供豐富的調優選項（關閉檢測器、限制分析範圍、調整SMT頻率），在最優配置下效能接近；Rust工具啟動開銷導致無法突破1.5秒瓶頸。選擇合適工具需要權衡開發成本與分析時間。

DeFi Security Summit - DSS

• 交易函數錯誤導致資金抽取攻擊：自動化做市商（AMM）通過數學函數決定交易是否可執行；交易函數中的算術錯誤讓攻擊者能系統性執行不利交易，使流動性提供者資金流失，類似於通貨膨脹效應。歷史案例包括 Alpha Homora、100Finance 等重大漏洞。
• 優秀的庫仍存隱藏漏洞：PRBMath 是寫得很好的庫，擁有大量單元測試和活躍維護，但 mulDiv 函數的漏洞在版本 1.0-4.0 中潛伏近兩年。問題在於負數處理時應向負無窮舍入（floor 的數學定義），但實現卻向零舍入，例如 mulDiv(-180, 114, 1) 返回 -12 而非正確的 -13。
• 形式驗證相比模糊測試更適合數學代碼：形式驗證將代碼轉換為邏輯方程並證明正確性，不同於模糊測試的隨機探索；對於數學函數，規範寫作接近自動化，可在 CVL 語言中直接表達數學定義，無需專業驗證工程師。

DeFi Security Summit - DSS

• 調解的必要性：並非所有漏洞報告都能立即判定，有些涉及技術上的灰色地帶。項目方和白帽黑客雙方可能對漏洞影響範圍、嚴重程度的理解不同，此時 Immunify 團隊需要介入分析每一個技術細節，找出關鍵信息遺漏。
• 事實導向的評估：在 Moonbeam 案例中，雙方對漏洞規模的認知差異很大，直到 Immunify 團隊進行數週的技術分析，展示了漏洞對超出規則範圍的實際影響後，才達成共識。這強調了基於可驗證的事實而非假設的重要性。
• 案例驅動的規則演進：每一個複雜案例都會導致賞金計劃規則的更新。例如當出現明確的外延情況或危機時，團隊不是簡單回應，而是總結經驗以防止類似問題再次發生。

DeFi Security Summit - DSS

• 區塊鏈面臨獨特的安全挑戰。 Web 3 與 Web 2 的根本差異在於攻擊向量更多。開源智能合約讓攻擊者可見所有代碼，匿名區塊鏈難以追踪資金流向；閃電貸提供了無需自有資金的攻擊資本，使低成本大規模攻擊成為可能。
• 被動防禦已不足夠。 傳統代碼審計需要 2-6 個月且費用高昂，許多協議無法等待。更重要的是，審計只能在部署前檢查靜態代碼，卻無法防禦運行時發生的未預見攻擊或攻擊者創新方法。
• 主動防御的核心是實時重構與自動應對。 系統通過監聽內存池與已回滾的攻擊交易，自動複製攻擊合約邏輯、繞過驗證機制（通過字節碼指令替換），然後發起優先級更高的救援交易以提取資金或阻止攻擊。

DeFi Security Summit - DSS

• 定義「被攻破」的具體化。「被攻破」不同於尋常的漏洞披露，而是用戶資金面臨意外、突然且重大損失的狀況。這個定義涵蓋黑客攻擊、智能合約漏洞和地毯式跑路等多種形式。具體參數因項目而異，由所在司法管轄區法律、律師意見、資產池規模(TVL)和流動性提供者風險承受能力決定。項目必須提前界定三個量化標準：什麼構成突發損失、什麼才算重大損失。
• Web 3 事件響應與傳統網路安全的根本差異。攻擊完全公開，社區往往比項目團隊更早發現問題；修復系統會直接導致流動性逃離和用戶信心崩潰；事件經驗不限於單一項目，而是在整個生態系統廣泛傳播。這三點使得 Web 3 無法套用傳統的事件響應框架。
• 充分的前期準備決定後期的應對效率。包括建立真實的自動監控系統、聘請律師並預先撰寫經審核的溝通稿、配置保險、指定事件負責人/技術負責人/法律顧問、維護基礎設施文檔與應急聯絡清單、評估生態系統依賴風險。這些準備不是奢侈，而是必要防線。

DeFi Security Summit - DSS

• 钱包的核心定义：钱包不仅是转账工具，而是实现用户对资产所有权和治理的系统。它让用户能授权自己想执行的交易，防止协议或其他行为体代表用户行动，这是 Web3 的核心价值。
• 安全设计必须聚焦：私钥管理和交易授权是绝对不能外包的。将私钥访问权或核心授权逻辑交给第三方会完全破坏安全模型。简化界面设计同样关键，复杂的选项会让用户做出错误决策。
• 机构钱包的独特挑战：机构需要编码公司治理结构，但不应将组织政策公开在链上。可通过多签名（多个策略服务器签署）或零知识证明在链下保留隐私，同时在链上强制执行规则。

DeFi Security Summit - DSS

• 區塊控制與成本的非線性關係：若攻擊者控制 1 個區塊，需在該區塊內將價格移動約 250,000 ticks；但控制 10 個連續區塊時，只需移動約 1/10 的幅度。這說明 PoS 環境下，大型驗證者若有不當行為，攻擊成本會大幅降低。
• PoS 轉換改變了 Oracle 安全前景：在 PoW 時代，攻擊者無法預知誰將驗證下一個區塊，必須透過 MEV 競價來維持操縱 3 個區塊以上；PoS 後驗證者可提前知道自己的提議機會，這使得 Euler 等協議最終決定切換至更中心化但更安全的 Chainlink。
• 多維度設計權衡框架：在流動性固定的前提下，協議需在三個維度間權衡：(a) Oracle liveness（反應新數據的速度）與操縱抵抗成本，(b) 協議願容忍的價格偏差幅度，(c) 為 Oracle 配置的防守流動性。提高 liveness 必然增加操縱表面；縮小偏差容差需要更多流動性防守。

DeFi Security Summit - DSS

• DeFi 保險是區塊鏈原生產品，與傳統保險功能相同但不受監管，最核心的區別在於理賠評估方式多元化：包括社區投票、參數化自動理賠（特定鏈上條件滿足時自動支付）、樂觀預言機機制（未被質疑的理賠自動生效）及專家評估四種模式，各有不同的權衡考量。
• 市場滲透率極低且滑落，雖有數萬個錢包購買過保單產品（特別在 UST 崩盤和空投期間增長），但相對於整個 DeFi 生態僅佔 0.2-0.4%；過去一年承保資本下降 15%，活躍保單覆蓋量更下跌 80%，反映出整體 DeFi 市場的下行壓力。
• 保險提供商普遍虧損，過去 12 個月統計 580 份理賠申請、支出逾 4,000 萬美元（主要源自 UST 事件），但損失率（賠付額/收費額）超過 100%，意味著供應商支出遠超收入，且 80% 的承保資本集中在 Nexus Mutual 一家，產業高度集中。

DeFi Security Summit - DSS

• 跨鏈擴展的中心化困境：單一橋接提供商導致單點故障，每進入新鏈都需耗費約一個月的審計資源，且無法保證完全去中心化。即使代碼通過審查，單行程式碼錯誤仍可導致完全失敗。
• 橋接聚合與多簽確認策略：同時使用三至四個不同的橋接提供商，要求交易在目標鏈上被確認多次（如 2 之 3）才視為成功。由於各提供商擁有獨立社區，同時被攻擊或故障的概率極低。系統包含重試機制應對部分橋接故障。
• 存儲證明的治理應用：以太坊區塊哈希本身包含該時刻的完整狀態，只需橋接該哈希至廉價鏈。用戶無需橋接資金，僅透過標準 RPC 生成存儲證明即可證明持幣量並投票，結合中繼機制大幅降低參與成本。

DeFi Security Summit - DSS

• 企業級解決方案的複雜性超越個人錢包：大型金融機構處理數十億美元資產，採用託管方案、多方計算簽署、策略管理器等機制，遠比個人自托管錢包複雜，需要多層驗證機制才能發起大額轉賬。
• Web3的攻擊向量遠優於傳統金融：在Web3中，攻擊者無需複雜社工，只需控制基礎設施、攻破智能合約或直接盜取私鑰，資金即刻轉出；相比傳統金融需要多個環節配合，Web3的獲利方式簡單得多。
• 自定義加密實現是核心風險：即使是頂尖密碼學家也難以實現零漏洞的自定義加密協議，審計時需逐項檢查密鑰生成、協議步驟、簽名驗證，並與開源實現比對，識別其中的偏差與風險。

DeFi Security Summit - DSS

• 執行模型差異：ZK-Rollup 只提交執行証明而非交易本身到鏈上，節點無法看到內部執行步驟，若電路有 bug 且攻擊者生成有效証明，外界無法追蹤真實輸入，難以察覺漏洞被利用，這與以太坊直接執行交易的完全透明性完全相反。
• 素域運算陷阱：ZK 編程運作在模 P 的素域（P 接近但不等於 2^256），導致溢位結果與 EVM 的模 2^256 截然不同；攻擊者可精心選擇變數利用素域特性（任何非零數都可被整除）來構造無效但有效証明。
• 約束編程的完整性與健全性：完整性要求每個有效執行都能生成有效証明，健全性要求有效証明必對應有效執行；二者任一失敗都會導致資金損失，但完整性 bug 可能阻止正常提現，健全性 bug 則允許無效交易通過。