Breaking Digital Asset Custody Solutions, Hossam Mohamed - DeFi Security Summit 2023
三句話摘要
數字資產安全解決方案的成本、加密協議實現風險與審計要點 ## 數字資產安全解決方案的真正風險，往往不在加密演算法設計，而在於實現細節、硬體隔離缺失，以及安全飛地與不信任域間的邊界管理失效。 企業級解決方案的複雜性超越個人錢包：大型金融機構處理數十億美元資產，採用託管方案、多方計算簽署、策略管理器等機制，遠比個人自托管錢包複雜，需要多層驗證機制才能發起大額轉賬。
重點整理
重點- 1
企業級解決方案的複雜性超越個人錢包：大型金融機構處理數十億美元資產，採用託管方案、多方計算簽署、策略管理器等機制，遠比個人自托管錢包複雜，需要多層驗證機制才能發起大額轉賬。
- 2
Web3的攻擊向量遠優於傳統金融：在Web3中，攻擊者無需複雜社工，只需控制基礎設施、攻破智能合約或直接盜取私鑰，資金即刻轉出；相比傳統金融需要多個環節配合，Web3的獲利方式簡單得多。
- 3
自定義加密實現是核心風險：即使是頂尖密碼學家也難以實現零漏洞的自定義加密協議，審計時需逐項檢查密鑰生成、協議步驟、簽名驗證，並與開源實現比對，識別其中的偏差與風險。
- 4
上下文隔離失效導致私鑰洩露：可信執行環境內的密鑰若被提取到Web應用或API層，便會落入不信任域，即使TEE本身安全也無法保護；攻擊者獲得Web層訪問權限即可直接竊取私鑰。
- 5
##
實用技巧與重點
乾貨- 加密協議與方案：
- MPC（多方計算）、TSS（閾值簽名）
- GG協議、DMZ協議
- Shamir Secret Sharing（沙米爾秘密分享）
- Rebel庫（開源實現）
- 硬體/環境層面：
- TEE（可信執行環境）/ Security Enclave
- HSM（硬體安全模組）
- 不信任域：Web應用、API、容器
- 審計檢查項目：
- 密鑰生成流程
- 協議步驟實現
- 簽名驗證機制
- 與其他開源實現的差異對比
- 曲線選擇的合理性
- 危險信號清單：
- 運行自定義加密協議實現（開源或閉源）
- 無TEE或硬體安全模組
- 缺乏安全聲明或HSM
- 無法管理Context/Domain Management
- 從TEE提取密鑰後在不信任層處理
- 使用C++進行通信層實現
- 常見漏洞向量：
- 內存損壞（Memory Corruption）
- 內存溢出（Buffer Overflow）
- 指針逆向工程
- ##
結論
結論“數字資產安全解決方案的真正風險，往往不在加密演算法設計，而在於實現細節、硬體隔離缺失，以及安全飛地與不信任域間的邊界管理失效。”
完整解析
詳細企業級數字資產安全解決方案的複雜性遠超個人認知。當金融機構處理數十億美元流動性資產時，簡單的多簽錢包已不敷使用，必須採用託管方案、多方計算協議、策略管理器等多層機制。每筆交易都經過加密驗證——多個參與者各持密鑰片段，必須協作簽署才能授權轉賬，這樣即使攻擊者入侵部分系統也無法單獨盜取資金。
講者指出Web3安全面臨的根本困境：相比傳統金融，Web3的攻擊鏈條更短。在銀行系統，縱使攻擊者成為域管理員，也需偽造多重驗證信息、應對精密的異常檢測；但在區塊鏈上，控制私鑰即掌控資金，攻擊者可直接或通過智能合約漏洞轉移數十億美元，無需繁瑣的欺騙。這解釋了為何現代攻擊者更傾向於目標Web3而非傳統金融。
破解高端數字資產安全方案需循多路徑。講者建議先深入理解實現的核心加密協議——讀論文、比對開源實現（如GG協議在多個項目中的差異），找出實現的邏輯轉折點。但關鍵認知是：不應信任任何單一環節。即使加密算法本身安全，也可能從Web界面、API、或通信層的漏洞進入。
審計實踐中最常見的紅旗是自定義加密實現。講者強調，這並非指開源或閉源的區別，而是自定義本身就埋下隱患——因為掌握零漏洞實現的密碼學家極其稀少。審計人員應逐項檢查密鑰生成、協議步驟、簽名驗證過程，並識別該實現與其他版本的差異，由此發現風險。
最隱蔽的破綻在於上下文管理失效。團隊可能在可信執行環境（TEE）中完美保護了私鑰，卻在提取密鑰至Web應用或API層時埋下伏筆——一旦不信任域被攻破，私鑰隨即洩露。攻擊者根本無需破解加密協議。
最後，內存安全問題是通用殺手。大多數加密方案用C++實現通信層，而此層的內存溢出、緩衝區溢出等漏洞極為普遍。攻擊者利用這些漏洞可直接讀取內存中的敏感數據，包括密鑰材料，完全繞過上述所有加密機制。
##
關鍵時刻
Pipeline v2帶時間戳的重點，會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。
