DeFi Security 101 - 2023 - 05 - Joran Honig

Iran Honig在這場講座中分享了成為Web 3安全專家的系統化路徑。他將這個過程分為兩階段——成為專家和維持專家地位，並指出這兩階段本質相似，都需要專注相同的要素。

基礎知識與深度理解的重要性

Honig首先強調，成為安全專家所需信息的80%涉及基礎知識，如Solidity和EVM的運作原理。他引用《有效思考的五大要素》一書的觀點，說明專家與普通人的區別在於對知識的深度理解。以小提琴手為例，即使演奏簡單樂曲，也能透過反覆練習達到卓越境界。同理，對EVM或Solidity有極其透徹的理解，能幫助審計員發現其他人可能忽略的漏洞。他建議學習者可透過多種途徑掌握基礎知識——閱讀博客文章、學習GitHub路線圖，甚至嘗試Huff語言、構建符號執行引擎或模糊測試器。關鍵是避免陷入「兔子洞」只專注一個方向，同時也不應該僅停留在淺層理解如「如何部署合約」或「操碼使用多少Gas」。

攻擊者思維模式的培養

第二部分是最吸引人但也最容易被誤解的部分——攻擊者思維模式。Honig澄清這個概念，指出它並非模糊的「像黑客一樣思考」，而是包含兩個層面：既源於天賦，也源於經驗的思維方式。他引用《如何解決它》一書，說明經驗豐富的數學家為何能快速解決複雜問題——他們的大腦能進行「同構映射」，快速將問題的結構映射到已知的解法上。審計員也需要這種能力，但它無法完美構建成通用模式，因為每個人積累經驗的方式不同，這也是為什麼同一份代碼會被不同審計員發現不同漏洞的原因。

要培養這種思維，Honig推薦進行「刻意練習」。參與Code Arena、Sherlock等競賽平台，實際審計智能合約，並建立2週至數月的反饋循環。關鍵是不僅要找到漏洞，更要回顧遺漏的問題、理解原因、提煉通用模式。例如，觀察YieldFarming清算事件時，要理解其中的環境因素如何使清算容易實施——這個模式下次遇到可清算的倉位時就知道該找什麼。通過這種方式，你的攻擊者思維工具箱會逐漸豐富。

持續學習與信息策展

成為安全專家後，維持這個地位的方式與優秀審計員的做法類似——持續探索。Honig建議建立兩個主要信息來源。其一是漏洞賞金報告和事後分析，因為這些是其他審計員和開發者遺漏的漏洞，通常涉及非常關鍵和有趣的問題，值得深入研究以避免下次重複。其二是定期查看頂級審計公司（如Code Arena）的審計報告，每週或每月快速瀏覽幾份，挑選有價值的深入研究。這個做法很重要，因為安全領域總是有新的漏洞類型出現，如果不持續跟進，就容易成為讓這類漏洞在生產環境暴露的第一人。

同時，深入理解工具的工作原理至關重要。不要只停留在Foundry或Echidna的基礎教程層級，而要真正理解這些模糊測試器如何運作。因為所有工具都有局限性，某些情況模糊測試器難以處理，編寫屬性也需特定技巧。只有理解原理，才能有效克服這些限制。

審計實踐中的提問思維

Honig強調，審計和尋找漏洞本質上是提出正確的問題。他以清算漏洞為例演示了審計思維：首先問攻擊者是否可能透過清算獲利，其次確認是否能立即獲利（否則沒安全意義），再次檢查代碼是否存在這種可能，最後問有人是否可能干擾攻擊。這些問題涉及深度基礎知識，如內存池保障和Flashbots的特殊情況。最後，Honig介紹了「傳遞任務」的概念——將精選內容與具體目標結合的短期冒險，比如研究DeFi協議、理解其整合方式、找出邊界情況，最後撰寫相關博客文章，這既有趣又實用，是審計員日常工作的縮影。