今日 KeyFrame

DeFi Security Summit - DSS

• 運營安全與合約安全同級重要。Core的DNS攻擊、Convex投毒、前端被劫持等事件表明大額損失往往源自Web2基礎設施失守，不是代碼漏洞。應採納Web2既有最佳實踐（2FA、安全DNS、依賴檢查），但需持續監控所有變化。
• 威脅建模從早期開始，內化為文化。Minify從項目第一天起就進行粗略威脅建模——識別基礎設施類型、可能攻擊者與目標、最可能漏洞所在，每隔數月重新評估。透過在全員會議、重大決策中持續討論釣魚、詐騙、潛在漏洞，使安全成為組織集體習慣，而非單純合規檢查。
• 漏洞賞金存在道德風險，需上游防守。開發者引入漏洞後可能暗中聯絡白帽分享獎金。預防關鍵在於強化代碼審查、多人檢查機制（prisoner's dilemma：需多人共謀才能隱瞞），使漏洞賞金成為防線最後一層，而非首要防線。

DeFi Security Summit - DSS

• 多層防御機制優於單一防守：Maker 遇閃電貸攻擊後升級治理合約，現採委托系統（MKR 持有者委託全職代理人）、2 天執行延迟、應急關閉模塊等機制。關鍵是阈值平衡：太低導致易被破壞，太高則可能永遠無法觸發。
• 隱性風險難以消除需結構補償：貿賂等鏈下行為無法代碼防止，因此結構化設計（如錯開選舉的分布式董事會）比純代幣加權投票更能抵禦短期操縱。講者舉狗展俱樂部例子：單次選舉只能改變六分之二席位，幾月後系統自動恢復平衡。
• 治理無完美方案需持續試驗：代碼可提供強保證，但治理依賴人的行為且人並非總理性，因此需要持續實驗新架構（如 NFT 多層級治理、社會共識層）而非寄望一勞永逸的解決方案。

DeFi Security Summit - DSS

• 審計命名與客戶期望管理
• 「審計」一詞暗示完整保證，與實際情況不符。業界改用「安全評估」、「尽職調查」或「審查」，更準確反映服務本質——在時間和預算約束下，識別已知漏洞模式和邏輯問題，而非完全消除風險。
• 前置準備的槓桿效應

DeFi Security Summit - DSS

• Bug注入測試的真實意義——注入的漏洞源自內部代碼審查中實際發現的缺陷（如重入漏洞），代表開發者在正常審查中確實會犯的錯誤，藉此測試審計人員的基本盡職調查能力，而非尋找最複雜的漏洞。
• 費米估算法的侷限——使用粗略估算技術統計總bug數，但存在根本問題：無法區分bug嚴重程度，且容易被扭曲（同一bug在多個合約出現可能被算作多個bug），甚至會完全遺漏某一整類問題。
• 多維度風險評分體系——基於歷次安全事件的事後分析建立評分標準，涵蓋測試覆蓋率（如80%、90%）、代碼審查、部署準備度等內部可控維度，團隊可根據需求調整優先級，該體系已在Terra事件中被驗證。

DeFi Security Summit - DSS

• Create2 機制的安全考量：Create2 讓開發者事先確定合約部署位置，提議者可在無人知曉真實功能的情況下先向治理提案者授予權限，規避提前洩露漏洞。這是「黑暗咒語」機制的核心——隱瞞修復方案直到部署完成。
• 安全 vs 保障的定義區分：安全指惡意實體無法造成損害；保障則涵蓋協議相關所有實體（終端用戶、代幣持有者等）不受經濟損失。保障是更高層級的目標，但實踐中安全更易衡量與執行，因為任何損失都是用戶損失，無論來源。
• 協議複雜度決定治理需求：Uniswap 等簡單協議因交互模式即時、風險參數少，可趨近不可篡改；Aave、Compound、Maker 等複雜協議涉及多風險參數、流動性預言機風險，需持續調整治理。未來方向是自動化測試與最小化治理參與，但技術成熟度仍不足。

經營男不難

• CFC 並非禁止海外設公司，而是規範海外利潤不能全額避稅。允許 700 萬免稅額的設計既保護中小企業，也對大戶設置實際約束，鼓勵合法申報而非躲藏。
• 「總歸戶」原則使分散策略失效——無論設多少間公司、多少人頭、如何分割所有權給配偶子女，所有海外所得最終都合併計算在納稅人名下，道高一尺魔高一丈，投機必被查獲。
• 違法代價極重：不申報被追溯兩年，判 5 年徒刑加罰 500 萬；漏報金額達 1000 萬以上升級為 1～7 年徒刑加罰 1000 萬～1 億，足以摧毀企業和個人的財務。

經營男不難

• 新創期人治模式的必然性與侷限 — 企業初期規模不超 10 人，採一人領導的人治模式是必要的，速度快效率高。但這個優勢本身埋下失敗因子：資金不足和管理失控是倒閉主因，說明人治雖快但終究不可持續。
• 成長期是最危險的轉折點 — 業績翻倍十倍成長時，企業最容易垮掉，因為團隊和制度沒有跟上。此時必須建立法制、SOP 和管理團隊，開始授權。許多小公司出身的管理者陷入「彼得症」，甚至不會寫制度文件，這正是企業需要用系統而非口頭指示的原因。
• 成熟期的分權管理才是真正解放 — 進入紅海競爭後，毛利率下降，需要從授權進化到分權。VU 制（事業部制）讓各部門自負盈虧，自主管理，主管與團隊共存共榮。講者實踐證明：通過 ERP 實現日結損益，他作為總經理第一年只需每週去一天，第二年半天就足夠。

DeFi Security Summit - DSS

• 傳輸層隱私缺口：以太坊2.0驗證器透過P2P網路運作，參與者的IP位址可被追蹤並與公鑰關聯，使得在家運行節點的驗證器易遭高針對性的DDoS攻擊，特別是在區塊生產者選舉前。
• Hopper的技術優勢：相比VPN僅轉發數據包，Hopper的混合節點會緩存數據包並與其他數據混合後再發送，使數據包看起來相互無法區分，提供更強的隱私保障。
• 信任假設的演進：Tor需要路徑上第一個和最後一個節點不串通（較弱），而Hopper只需路徑上至少有一個誠實混合節點即可，因此可更快地循環路徑同時維持隱私。

DeFi Security Summit - DSS

• 命名危機與期望管理：行業一致認為"審計"一詞不準確，建議改用"代碼審查"或"風險評估"。社區對審計的理解是項目100%安全，但這在現實中無法達成，導致每次漏洞都被歸咎於審計員，即便漏洞不在工作範圍內。
• 利益相關者期望衝突：社區期望快速、低成本、無瑕疵的完整保障；開發者只願對自己審核的代碼部分負責；營銷為吸眼球誇大審計重要性，製造不實期望。
• 行業標準全面缺失：沒有定義最低工作時數、必檢項目、工具要求或方法論標準，導致任何人都能聲稱進行審計，品質差異巨大卻無人監管。

DeFi Security Summit - DSS

• 盲簽問題的真實威脅：當前主流錢包（Metamask 等）在顯示交易授權時只展示十六進制代碼塊，用戶無法理解簽署結果，前端攻擊可在合法網址上注入惡意負載導致資金全部流失。
• 交易模擬與深度分析方案：D Firewall 透過獲取原始交易資料、模擬執行、檢查調用堆棧中的內部呼叫和委託呼叫，自動識別是否產生意外的狀態改變導致資金損失，而非僅依賴黑名單或白名單。
• 補充層定位：Redefine 將自身定位為錢包提供商的補充層，目前作為獨立擴展程式運作，但最終目標是與 Metamask 等錢包直接整合，在同一界面展示風險警告以改善用戶體驗。

DeFi Security Summit - DSS

• 審計的雙重目標：審計需同時達成有效性（發現漏洞）與經濟性（成本可控）。Surtic 通過工具與工作流的組合，每天完成約 6 次審計，使即使是中小規模項目也能承受得起專業級別的安全審計。
• 分層工具架構：工具棧跨越多個抽象層次──源碼層捕捉模式錯誤（如 `x=1` vs `x+=1`）、語義層用資料流分析檢測授權缺失、模型檢驗驗證代碼是否符合規範。每層工具專注特定複雜度的問題，基層工具補齊基礎質量。
• 人機職責劃分：工具在編碼錯誤與低層級漏洞上效率高，但難以捕捉設計缺陷、邏輯漏洞或新功能引入的隱性風險。審計師應專注這類高層級威脅，避免被工具已能處理的繁瑣工作拖累。

DeFi Security Summit - DSS

• 區塊鏈安全需求的急迫性：智能合約、共識協議、零知識證明等各層都曾發生高成本的漏洞，這種經濟損失的風險使得形式方法從學術領域走入生產環境成為必要。
• 形式方法的技術光譜：測試與靜態分析位於光譜一端，擅長快速發現 bug 且對用戶輸入要求最少；形式驗證位於另一端，能提供完整的正確性證明但需要更多人工投入。
• VAS 平台的設計策略：通過統一的 V 規範語言和語言無關的工具核心實現易用性和可擴展性，使平台能輕鬆支持新區塊鏈和編程語言。

DeFi Security Summit - DSS

• 驗證與信任假設錯誤 — 橋接常常依賴外部智能合約或用戶提供的參數進行驗證，但沒有充分檢查這些輸入的有效性。例如允許用戶指定代幣地址或合約呼叫目標，攻擊者就可能轉向惡意合約進行盜竊。
• 初始化與狀態管理缺陷 — Nomad橋接在升級後將零值插入驗證映射，導致任何訊息都能不用證明就被接受。此類漏洞往往不是單一代碼缺陷，而是多個設計決策組合（分離證明與處理、錯誤的初始化參數）的結果。
• 網絡層假設破裂 — 橋接必須對底層區塊鏈的運作做出假設（如無雙花、快速終局性）。但Optimism OVM1的自毀操作碼漏洞打破了無雙花假設，Optimistic Rollup的7天欺詐證明窗口則可能被惡意證明利用進行長期重組。

DeFi Security Summit - DSS

• 橋接風險的傳染效應：橋接保管資產並發行衍生資產，若被攻擊則資產失去一比一擔保，使用者即使未曾使用橋接也可能成為受害者——例如用信用卡進入Polygon的用戶仍然暴露於Polygon POS橋的風險。
• 三層安全框架分析：經濟安全衡量腐蝕系統所需成本、實現安全評估協議設計與開發流程難度、環境安全則關係如何防禦不對稱安全域的攻擊；每個橋接模型在三個維度的表現各異，無單一完美解。
• 原生驗證橋的約束：需要基層域的驗證者執行驗證，經濟安全性最高（需要51%攻擊才能破壞），但因深度依賴共識機制，難以跨域複用同一實現，每增加新域都需重新開發且缺乏戰場測試。

DeFi Security Summit - DSS

• 協議升級風險——當訊息傳遞基礎設施進行升級時，基於其之前構建的安全性記錄（時間沉澱+資金保障）會被重置，所有構建在其上的應用都需要重新構建信任，而升級通常是被強制的，用戶無法拒絕。
• 管理員密鑰濫用的歷史教訓——Ronin、Harmony、Wormhole、Nomad 等真實黑客事件都源於協議升級能力被濫用或初始化不當，導致訊息可被偽造、資金被盜，單次賞金高達 1000 萬美元。
• 庫升級方案——Layer Zero 不取消升級能力，而是讓每次升級都變成可選的。應用開發者可觀察新庫的安全記錄（時間檢驗+資金支持）後再自主決策是否升級，不被強制。

DeFi Security Summit - DSS

• 橋接為何持續遭駭的根本原因：技術還在新興階段、攻擊面極大、承載高額資金。前者會隨時間改善，後兩者只會加劇。隨著Layer 2成長和多鏈生態擴展，跨鏈資金流動需求激增，橋接的吸引力和風險都在擴大。
• 信任假設不同帶來截然不同的風險承擔者：無信任型橋接中，消息中繼者（bonder）承擔全部風險並接受完全抵押；可信型橋接則將風險轉移給流動性提供者（LP），後者不得不相信多重簽名保管人有「世界一流的安全保障」，但實際上多重簽名涉及熱鑰匙、伺服器、供應鏈等多層隱患。
• 挑戰窗口（Challenge Window）的長度決定人工應急能力：樂觀型Rollup用7天窗口換安全性；Hop用24小時；競對用30分鐘到幾小時。太短的窗口形同虛設，因為基礎設施崩潰（如Maker的「黑色星期四」）會導致自動系統失效，人工應急需要足夠時間介入。

DeFi Security Summit - DSS

• 審計競賽的統計效能顯著。Sherlock 分析了 154 場 Code Arena 審計競賽的完整數據，發現零例因代碼漏洞導致的黑客攻擊，而同期傳統頂級審計事務所在 Sherlock 自身代碼中遺漏了高危漏洞，後被競賽中排名 30 和 66 的審計者發現。這証明分散式激勵模式在發現邊角案例上優於小團隊固定審計。
• 傳統審計存在結構性限制。只有 2-3 人審查代碼，容易形成盲點；審計師缺乏直接激勵機制（審計聲譽難量化）；前置時間長且供應受限；問題報告通常冗雜（數百低危或重複問題）。
• 混合模式整合雙重優勢。頂級審計師受固定費用激勵在指定周期內進行深入審查；任何全球安全研究者可參與競賽賺取按漏洞等級計酬的獎金；所有報告由頂級審計師進行修復審查，確保質量；基於競賽表現可晉級為頂級審計師身份。

DeFi Security Summit - DSS

• 屬性分類提供系統化思維框架——從最基礎的單元測試到抽象的高級屬性，不同層級的屬性針對不同類型的漏洞，覆蓋範圍互補而非重複。
• 有效狀態屬性發現了 Compound V3 的位運算錯誤——通過檢查「若餘額 > 0 則相關位必開啟」這一簡單不變式，發現約 50% 的抵押品未被正確計入，這類漏洞用傳統代碼覆蓋率無法捕捉。
• 漏洞注入研究是衡量屬性品質的實測方法——與其假設屬性有效，不如故意注入已知漏洞，看屬性是否能檢測到，Silo Finance 的案例顯示 20 個屬性對 6 個注入漏洞的覆蓋率無重疊。

DeFi Security Summit - DSS

• 攻擊機制的遞迴結構：攻擊者操縱兩個帳戶A和B，透過閃電貸借入資產做抵押，然後將資產在Aave協議內重新存入，再從另一帳戶借出，形成遞迴借貸迴圈。關鍵在於衍生資產（XSushi）的價格由協議內流動性直接決定，允許攻擊者通過提取衍生資產、捐贈基礎資產來同時操縱分子和分母，造成價格大幅波動。
• 貝葉斯測試的必要性：傳統的形式驗證無法處理市場流動性、利率曲線、協議使用率等變動的外部變數，因此必須從貝葉斯角度構建概率分佈，估計在特定市場條件下攻擊成功的機率，而非假設最壞情況恆成立。
• 濃度不等式作為防護指標：透過上下界推導，得出攻擊者利潤率（攻擊後資產值/攻擊前資產值）的下界，這個下界是貸款價值比(LTV)、協議參數、市場流動性的函數。若能證明此下界為負，則攻擊在當前條件下無利可圖，但這取決於流動性分佈——Cream的Sushi流動性不足導致被攻擊成功，而Aave因Sushi在DeFi生態中分散於多處，使攻擊不可行。

DeFi Security Summit - DSS

• TWAP 理論與實踐的落差：TWAP 旨在對多個區塊的價格進行平均化來防禦閃電貸攻擊，但在實踐中所有採用者都遭到駭客攻擊，說明該設計存在根本缺陷。
• 51% 攻擊成本遠低於預期：攻擊者可以花費僅 $15,000 在以太坊進行 51% 攻擊來阻止套利交易，使得價格操縱幾乎沒有經濟成本，且隨著挖礦獎勵減少，成本還在下降。
• 集中流動性和低費用增加攻擊可行性：Uniswap V3 的集中流動性和 0.01% 費用大幅降低了攻擊成本，攻擊者購買資產時不需承受預期的高滑點損失。

DeFi Security Summit - DSS

• DeFi治理的基本機制：社區在論壇討論提案，達成共識後提交智能合約，代幣持有者以1代幣=1票的方式投票。治理可執行的操作包含鑄幣、黑名單、資金轉移、協議升級、費用調整等，投票權與持幣量正相關。
• Beanstalk攻擊剖析：雖然代幣分佈去中心化、無單一參與者掌控35%法定人數，但攻擊者通過閃電貸取得足夠代幣，利用24小時提案延遲期和緊急提交函數的2/3絕對多數條款，在社區無法反應的情況下直接執行提案，排空流動性池。
• Binance Finance攻擊的成因：代幣分佈高度集中（存在可單方面通過提案的鯨魚），投票期設定過短導致社區無法及時動員反對票。攻擊者成功通過提案使自己成為鑄幣權限持有者與超級用戶，自我授權並盜取資金。

DeFi Security Summit - DSS

• 閃電貸攻擊的原理：攻擊者存入抵押品後，在AMM上進行大額交易臨時改變價格，以虛假低價借出代幣，再反向交易恢復價格，損失僅限手續費但獲利巨大。這被稱為「價格操縱漏洞」的起源，促使協議從現貨價格改用時間加權平均價格。
• LP代幣定價的隱藏風險：雖然LP代幣價格公式看似簡單（資金池價值÷總供應量），但在Uniswap的恆定乘積曲線上，沿著曲線移動（即交易）不改變K值卻會改變池中代幣總量，進而操縱LP代幣價值。What Finance和Cream Finance都因此被利用。
• 超額抵押的數學陷阱：雖然借貸協議要求超額抵押（抵押品價值>借出金額），但攻擊者可用兩個賬戶形成閉環——賬戶A借LP代幣給B，B再存入A借出的代幣作新抵押品，循環反覆直到存入LP數量超過流動池總供應量，再操縱價格翻倍，使虛假抵押品變成真實借貸力。

DeFi Security Summit - DSS

• 敵人是最好的老師——審計工具只能找到 50-80% 的漏洞，真正被利用的漏洞需要從真實攻擊中學習。攻擊者有完整環境複製與無限練習的優勢，防禦者則能追蹤所有執行軌跡與操作碼。
• 簡化分析框架——黑客攻擊涉及多層協議與複雜資金流，但核心只需關注四個要素：攻擊合約、受害合約、資金流向、執行追踪。從執行追踪開始最有效，因為它提供全局視圖。
• 標準化攻擊流程——典型步驟為：①取得初始資金（閃電貸等）②準備工作③讓受害合約進入錯誤狀態④利用該錯誤狀態⑤執行撤銷。可跳過最後一步以減少代碼審查量。

DeFi Security Summit - DSS

• 編碼標準提升可讀性：bZx 協議缺乏編碼規範導致代碼跳躍複雜難審計，而 Compound V2 採用描述性變數名、線性邏輯流、立即退出機制等標準使代碼易維護，任何審計員都能快速理解邏輯。
• 測試需分四層執行：正向單元測試驗證功能正確，負向單元測試測試邊界與失敗情況（如平方根傳負數），集成測試驗證整體協議功能，主動測試（Active Test）在主網 fork 上驗證當前鏈上狀態假設（如流動性充足、預言機正常初始化）。
• 基礎函數是安全瓶頸：路徑驗證、用戶輸入驗證、安全計算等小型輔助函數雖然代碼少，但處理用戶輸入且執行關鍵操作，是導致漏洞的主要源頭，應該優先進行單元測試。

DeFi Security Summit - DSS

• Bug Bounty作為最後防線的獨特價值。區塊鏈應用基本零容錯，一個漏洞可導致數百萬到數十億美元損失。當項目已通過審計和形式化驗證後，向全世界懸賞尋找漏洞是唯一能達到「Limitless number of eyes」級別檢驗的方法。
• 運營成本與挑戰往往被低估。Bug Bounty計畫如同淘金，需耗費大量時間篩選無關報告才能找到真正有價值的漏洞發現，導致運營團隊容易疲勞，程式易陷入低效迴圈。
• 兩股驅動力持續推高懸賞規模。一是Bug Bounty的超高ROI讓安全投資變成「no-brainer」決定；二是國際執法協作衰退與地緣政治升溫使網絡犯罪更安全、更有利可圖，迫使項目被動加碼安全投資。

DeFi Security Summit - DSS

• 安全應是協議設計的初始支柱而非事後補救。講者強調「安全飛輪」概念，認為安全是能否有效、穩定地擴展協議業務範圍的前提條件，因此必須在業務設計完成後立即嵌入安全機制。
• 「大紅按鈕」是多層次機制的集合，包括鏈上操作（如特定池的暫停函數）、鏈下運維（監控警報和事件檢測）、人工流程（作戰室協調），必須三者配合才能實現安全、優雅地啟動協議。
• Aave、Compound、Yearn 等領先協議採用隔離流動性池架構和多角色權限設計。協議暫停時用戶仍可提現資產，禁止新資金充值，從而在保護資產與維持協議運轉間取得平衡，關鍵決策採多重簽名機制確保至少兩人授權。

DeFi Security Summit - DSS

• Foundry 的測試設計簡潔高效：透過 setup 初始化狀態，test 前綴函數搭配模糊測試參數，能在短時間內用數百種參數組合驗證邏輯。這種方式無須對合約插樁，只在運行時最小化干擾。
• 形式化驗證的自動化轉換：KEVM 能自動將 Foundry 測試編譯為 K 規範，免除手寫形式化規範的負擔。但生成的規範規模龐大（曾見 23000 行），需編譯 2 分鐘才能成為機器可讀的 Core 代碼。
• 性能瓶頸與改進策略：KEVM 當前比 Foundry 慢 3-4 個數量級（如求和到 20 萬測試，Foundry 需 10 秒，KEVM 遠超此時間），但新的基於語義的編譯方式將性能提升 2 個數量級，使兩者差距收窄至可接受範圍。

DeFi Security Summit - DSS

• 傳統單位測試要求開發者逐一列舉測試案例（如add(1,2)→3），而屬性型測試改為定義通用行為規則，例如排序函數應返回原列表的有序排列。Scribble是規格語言工具，開發者在合約和函數註解中用簡潔表達式定義屬性，系統自動轉譯為運行時檢查代碼。這些運行時檢查框架無關且相容多種分析工具，開發者可在同一套屬性定義基礎上應用單位測試、Fuzzing、符號執行或形式驗證。

DeFi Security Summit - DSS

• 規格定義比單元測試強大許多倍。 CVL 規格只需一條就能取代無限多個傳統單元測試，因為規格檢驗涵蓋所有可能的輸入與儲存狀態組合，而測試永遠只能驗證有限個案例。
• 邏輯推理取代隨機執行。 模糊測試透過產生大量範例並觀察執行結果來尋找漏洞；Certora 則將程式碼與規格轉換為數學邏輯公式，由 SMT solver 判斷是否存在違反條件的情況，可產生具體反例或證明不可能違反。
• CVL 語言提供超越 Solidity 的推理能力。 支援任意值推理、儲存狀態變化追蹤、回滾測試、內部狀態存取、不變量寫法、回滾撤銷等功能，使規格能表達更複雜的合約行為要求。

DeFi Security Summit - DSS

• 雙層架構設計：Forta 將監控拆分為去中心化的 scan nodes（數據收集層）和開發者編寫的 bots（檢測邏輯層），bots 可跨鏈查詢、呼叫外部 API 與保持歷史記錄。
• 無權限參與模式：任何人都可部署 scan nodes 或編寫 bots，無需許可，目前已支持 7 個網絡且持續擴展至其他 EVM 兼容鏈。
• 降低開發門檻：提供官方 SDK（JavaScript、Python，正開發 Golang、Rust）與預製威脅檢測套件（DeFi、Governance、NFT、Stablecoin、Bridge），社區可複用或自訂。