DeFi security Summit 2023 - Session 2: DeFi Protocols 2 - Mikhail Lazarev

Gearbox是一個去中心化的槓桿交易協議，核心創新是用隔離的智能合約（信用賬戶）承載用戶的槓桿頭寸。使用者先向協議存入初始資金，隨後從借貸池獲得邊際貸款，合併後的資金可投入任何策略——無論是Uniswap上的代幣交換、在Lido進行質押，還是在Convex建立複雜的衍生品頭寸。唯一的限制是資金不可提現到用戶錢包。這個設計使協議能透過抵押品檢查來控制風險。

講者以親身經驗強調，當協議管理1.25億美元資金時，風險管理不再是可選項而是必須。Gearbox採用了一套名為「Risk Framework」的系統性方法。首先是持續監控：協議層面監測資金池餘額變化與未清算頭寸；流動性層面追蹤各交易對深度，因為當Liquidators需要回售複雜頭寸時（比如Convex→fxs→3CRV→DAI→USDC這樣的多步驟路由），流動性不足會導致滑點惡化甚至清算失敗；此外還監測預言機偏差，Luna崩盤時曾出現鏈上價格與現貨價格數倍級的背離。

為了應對清算的複雜性，Gearbox創新了「樂觀清算」機制。每3小時，協議的自動化系統會在分叉節點上完整重演所有需清算的頭寸，驗證路由邏輯能否順利執行、流動性是否充足。這不是簡單的回測，而是在確切的鏈上數據上模擬真實清算，能提前捕捉軟體bugs或流動性陷阱。類似的謹慎態度也用於前端安全：每數小時機械人會調用Gearbox前端頁面、模擬用戶操作（存款、建立頭寸），並通過代理提供商驗證生成的交易簽名是否與預期一致。一旦發現異常（如未授權的token approval），系統立即告警，協議可通過Twitter或Discord阻止應用，防止類似DNS劫持導致的惡意前端攻擊。

在協議更新層面，Gearbox採用民主化但謹慎的流程。所有變更先透過Snapshot投票徵詢DAO成員意見，提案排隊後進入2天時間鎖，給社區成員足夠時間驗證或提現。期間，GitHub CI自動執行完整測試套件與樂觀清算模擬；系統還會檢索歷史審計報告，將提交的代碼更改與已審計版本進行對比，生成可追蹤的審計鏈。對於預言機失效或協議被黑等時間敏感事件，協議設置了應急控制器角色，可在無需投票的情況下採取行動，這是中心化與去中心化的平衡。最後，Gearbox透過公開的Risk Framework網站提供完全透明度：所有清算賬戶、配置變更、相關審計都可被社區查詢，這不僅是對安全的承諾，更是生態參與者（如你提問時發現的Oracle偏差）進行持續眾包監管的基礎。