Why Forks Fail Often: Changing Risks with Unchanged Code — engn33r | yAudit
三句話摘要
智能合約 Fork 的安全幻覺：為什麼「沒改過的安全代碼」仍會被駭。 Fork 的是代碼，複製不了的是安全性——真正的安全是一個持續追蹤鏈上環境變化的動態過程，而非一次審計就能解決的靜態狀態。 治理設計本身就是攻擊面：EOA 不等於 Multisig，一對一 Multisig 不等於五對八 Multisig；Compound V2 的大量 Fork 被駭，私鑰被盜排在鏈上常見攻擊向量第四位，根源都是治理設計粗糙。
重點整理
重點- 1
治理設計本身就是攻擊面：EOA 不等於 Multisig，一對一 Multisig 不等於五對八 Multisig；Compound V2 的大量 Fork 被駭，私鑰被盜排在鏈上常見攻擊向量第四位，根源都是治理設計粗糙。
- 2
治理決策可主動引入漏洞：借貸協議決定新增支持哪些 Token 時，若選入帶有重入漏洞或不安全價格數據的 Token，等同把攻擊面直接寫進協議；利率模型設計也因市場條件不同，不能跨鏈複製貼上。
- 3
區塊鏈本身在改變：以太坊 PoW→PoS 轉換導致 Uniswap V3 TWAP Oracle 的安全假設失效，因為 PoS 下 Builder 可連續出多個區塊，大幅降低操縱價格難度；EIP 更新、新 Opcode 加入都可能引入原本不存在的重入風險。
- 4
跨鏈部署與依賴協議都是蝴蝶效應：EVM 相容不代表行為一致——EIP-1559 在各 L2 實作細節不同、Gas Limit 從 Linea 的 61M 到 Arbitrum 的天文數字各異；Flash Loan 的出現直接讓「沒有億萬富翁」的安全假設崩潰；建立在可被治理修改的協議上，等同把命運交給別人的社群投票。
實用技巧與重點
乾貨- 具體攻擊向量列表：
- Governance Design Changes（治理設計變更）
- Governance Decision Changes（治理決策變更）
- Blockchain Parameter Changes（鏈參數變更）
- EVM Differences（EVM 差異）
- Other Protocol Changes（依賴協議變更）
- 工具 / 平台：
- Tenderly：可設定鏈上監控 alerts
- DeFiHackLabs GitHub repo：收錄已知 Fork 被駭案例
- weird-erc20 GitHub repo：收錄非標準 ERC20 Token 清單
- wtf.news / Crypto Twitter：監控新攻擊向量
- Block Threat Intelligence Newsletter（作者：elix）
- 關鍵數字與案例：
- Compound V2 被 Fork 後遭駭的協議數量龐大，截圖僅是其中一部分
- 私鑰被盜列 DeFi 常見駭客向量 Top 10 第 4 位
- 以太坊 EIP-1559：2021 年 8 月上線 Mainnet，部分 L2 延遲 1-2 年才跟進
- 以太坊 Mainnet Gas Limit：約 30M；BNB Chain：約 140M；Linea：61M；Arbitrum：遠超以上
- Morpho 建立在 Aave/Compound 上，Aave 治理直接修改獎勵機制打壓 Morpho
- 部署前 / 後的安全建議分類：
- 部署前：審計時擴大 scope、評估依賴協議的治理風險、確認目標鏈的 EIP 實作狀態
- 部署後：持續追蹤 EIP 更新、監控依賴協議變更、關注新攻擊向量與同類協議被駭事件
結論
結論“Fork 的是代碼，複製不了的是安全性——真正的安全是一個持續追蹤鏈上環境變化的動態過程，而非一次審計就能解決的靜態狀態。”
完整解析
詳細這場演講的核心問題是：為什麼 Fork 一個已通過安全審計的協議，新協議仍然頻繁被駭？講者是 yAudit / yAcademy 的安全工程師，他的論點是——安全性從來不只屬於代碼本身，而是屬於代碼所運行的整個上下文環境。
傳統的安全審計模型有一個根本性的盲點：審計範圍由開發者定義，通常只涵蓋他們自己寫的合約，而把 ERC20 Token、依賴的第三方協議、Oracle 等全部排除在外。這在 Bug Bounty 或審計競賽中甚至會因為「超出 scope」而拿不到獎金。然而這些「out of scope」的組件正是許多真實攻擊的入口。Compound V2 的大量 Fork 被駭就是最直接的示範——代碼幾乎原封不動地複製，但安全性卻無法複製。
講者從五個維度剖析了「代碼沒變但安全性崩潰」的原因。首先是治理設計，一個 EOA 當 Owner、或者所有 Multisig 簽名者都由同一人控制，在表面上符合「有 Multisig」的標準，實際上和沒有治理保護差不多；私鑰被盜已是 DeFi 攻擊的第四大向量。其次是治理決策，借貸協議每次新增支持的 Token 或調整利率模型，都是一次潛在的安全決策——選入帶重入漏洞的 Token、或錯誤評估市場條件設計利率曲線，都可能直接導致壞帳或被攻擊。講者以 Aave 與 Compound 對 DAI 採用不同利率曲線作為例子，說明沒有「唯一正確答案」，只有不同的風險取捨。
第三個維度是區塊鏈本身的演進。以太坊從 PoW 切換到 PoS 是最具代表性的案例：Uniswap V3 的 TWAP Oracle 當初是在 PoW 環境下設計，其安全假設建立在「連續控制多個區塊很困難」的前提上，但 PoS 之後 Builder 在特定條件下可連出五個以上的區塊，讓操縱窗口大幅擴大。EIP 更新與新 Opcode 的加入（如 PUSH0）也可能引入原本不存在的邊界重入風險，而且 L2 跟進實作的時間往往落後 Mainnet 一到兩年，期間存在的不一致性正是攻擊機會。第四是 EVM 相容鏈的差異——不同鏈的 Gas Limit 從 30M 到 140M 乃至 Arbitrum 的天文數字都有，EIP 實作細節也因鏈而異，「EVM 相容」這個標籤遠遠不足以保證行為一致。
最後是其他協議的變動。在 DeFi Money Legos 的架構下，建立在可被治理修改的協議上，就等同把自己的安全邊界交給別人的社群投票——Morpho 建立在 Aave/Compound 上，結果 Aave 的治理提案直接試圖削減 Morpho 的獎勵。Flash Loan 的發明是另一個典型：協議原本假設「沒有人有 1 億美元可以發動攻擊」，Flash Loan 讓這個假設在一個區塊內失效，整個生態系的安全假設因此重寫。
講者的結論是：安全審計是起點，不是終點。部署後仍需持續追蹤 EIP 更新、監控依賴協議的治理動向、以及關注同類協議被駭所揭露的新攻擊向量。Tenderly 的 Alert 功能、DeFiHackLabs 的案例庫、以及 wtf.news 等資源都是實際可用的監控工具。
關鍵時刻
Pipeline v2帶時間戳的重點，會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。
