KeyFrame內部研究專用

The challenges of building, scaling and securing DeFi protocols

DeFi Security Summit - DSS·12月20日週五·38 min英文

三句話摘要

DeFi安全與開發團隊如何平衡創新、擴展和安全防護的面板討論。 DeFi協議安全成熟的關鍵在於建立去中心化審查、極簡設計、量化安全投入,以及開發者與安全社區間的深度溝通,而非單純依賴事後補救。 去中心化審查機制最有效:Aave發現LLVM漏洞的根本原因是多個獨立實體(BD Labs、Curve、Abel Apps)參與測試,單一公司無論多聰明都難以發現如此深層的編譯器級問題。

重點整理

重點
  • 1

    去中心化審查機制最有效:Aave發現LLVM漏洞的根本原因是多個獨立實體(BD Labs、Curve、Abel Apps)參與測試,單一公司無論多聰明都難以發現如此深層的編譯器級問題。

  • 2

    設計哲學影響安全性:Morpho和Uniswap都採用極簡主義方式,移除不必要的治理和可升級性,在協議設計階段移除90%的攻擊面,遠勝於事後補救。

  • 3

    安全投入的具體化:Oiler V2投入700天審計、與多家安全公司合作、進行live CTF、執行Cantina漏洞競賽,證明可量化的安全承諾建立市場信任。

  • 4

    協議升級需硬體級別思維:Uniswap V4像火箭發射一樣需一次完美,採用opt-in升級讓用戶自願遷移,而非強制升級;開發流程應視協議為硬體產品而非軟體。

實用技巧與重點

乾貨
  • LLVM漏洞:編譯器層級bug,發生在Aave V3向Arbitrum部署時
  • Morpho演變:優化器(Compound/Aave) → Morpho Blue(完全不可變、無權限、隔離市場)
  • Oiler V2審計數據:700天審計、與Spearbit/ChainSecurity/Yoichi/Formal等合作、9次對單個組件DC的審計
  • Cantina競賽:472個issue、500+參賽者
  • Uniswap V4:建立hook系統、考慮建立hook目錄(如同token list)、建立IHooksMetadata標準
  • 安全會議反饋:需改善安全社區與開發者之間的溝通和理解

結論

結論

DeFi協議安全成熟的關鍵在於建立去中心化審查、極簡設計、量化安全投入,以及開發者與安全社區間的深度溝通,而非單純依賴事後補救。

完整解析

詳細

本次面板邀集四個主流DeFi協議的核心開發者,深入討論六年DeFi演進中的安全與開發挑戰。

Aave代表Ernesto分享了最值得業界學習的故事——V3部署到Arbitrum時,協議最核心的抵押機制出現異常。經過深入調查才發現根本原因是Arbitrum編譯器使用的LLVM後端存在編譯優化漏洞。這個發現之所以可能,Ernesto強調關鍵在於Aave的去中心化治理模式:BD Labs負責初期部署和測試,Curve進行獨立審查,而Abel Apps在測試用戶界面時發現了邊界情況,最終觸發了bug的發現。單一公司無論多聰明都難以跨越編譯器層級的問題,正是多個獨立實體的介入讓問題浮出水面。

Morpho的故事展示了不同的演進路徑。起初他們在Compound和Aave之上建立優化器,卻發現與可升級合約的深度集成帶來持續的維護負擔——任何上層協議的改動都可能破壞他們的集成。這個痛點驅使他們完全重新思考借貸協議設計。Merlin強調,他們團隊沒有既有偏見,敢於推翻傳統設計,最終採納極簡主義——Morpho Blue完全不可變、無權限、市場隔離,在寫代碼前就移除了90%的攻擊面。

Oiler經歷了最戲劇性的轉折。被黑客攻擊後團隊選擇重建V2,投入了令人驚嘆的資源:700天的審計時數、與Spearbit、ChainSecurity、Formal等多家頂級公司合作、Cantina漏洞競賽中收到472份報告和500多名參賽者。Eric說,他們沒有依賴單一審計公司,而是讓眾多安全專家參與設計和開發的全週期。最後的live CTF將500萬美元作為獎池,任何能破解的人都能帶走,最終圓滿收場。

Uniswap的Sarah談到V4開發時用了一個精妙的比喻——這如同SpaceX火箭發射,是硬體級別的操作,發射後沒有升級機制,只能依靠用戶的opt-in遷移。Uniswap每次重大版本更新都面臨類似的挑戰:協議已有數十億美元流動性,新版本需在數天內吸納相同規模的TVL,壓力無法估量。V4引入的hook系統更增加了複雜性——新開發者常犯的錯誤包括未驗證調用者身份、啟用全部權限、建立可升級hook等。Uniswap正著手建立hook標準和目錄,類似於token list,幫助用戶識別安全的hook。

面板最後討論了安全社區的改進方向。Ernesto指出,安全研究者與開發者間存在不必要的斷層,而在DeFi中這是反常的——開發和安全本該不可分割。他建議安全研究者應多站在開發者立場思考,詢問為何要這樣設計,而非單純列舉漏洞。深度理解設計意圖往往比發現個別漏洞更有價值。

關於最擔心的事,Ernesto強調需要在責任感與個人平衡間找到均衡點——過度焦慮會導致癱瘓,但相信自己做了正確的事通常能帶來內心平靜。

關鍵時刻

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