什麼是重入攻擊（Reentrancy Attack）？為什麼它如此危險？
重入攻擊是智能合約最經典也最危險的漏洞之一。想像一個合約的「提款」功能：用戶呼叫提款 → 合約先轉錢 → 再更新餘額。攻擊者可以在「合約轉錢」但「還沒更新餘額」的那個窗口，再次呼叫提款，這樣帳面上顯示你有 1 ETH，實際已轉出了 10 次。最著名的案例是 2016 年的 The DAO 駭客事件，通過重入攻擊竊取了約 360 萬 ETH，直接導致以太坊硬分叉成 ETH 和 ETC 兩條鏈。現代的智能合約審計都會優先檢查重入問題，但新協議仍然屢屢出現類似漏洞，2023 年 Euler Finance 被駭走約 1.97 億美元，部分也涉及類似的邏輯漏洞。
我要怎麼評估一個 DeFi 協議的智能合約是否安全？有哪些具體指標？
幾個可以公開查核的指標。第一，審計數量和品質：查看協議是否有來自 OpenZeppelin、Trail of Bits、Certik、Sherlock 等知名機構的獨立審計，有幾份、最新的是什麼時候——單一審計遠不如多次審計、而且新版本上線後的審計比老審計重要。第二，TVL 和歷史：長期高 TVL（數億美元以上）且從未被駭，是最好的「時間壓力測試」，這表示黑客已經看過這個合約很多次卻找不到進入點。第三，管理員控制權：看協議是否有 Timelock（升級需要等待 24–72 小時才生效，給社區時間反應）和多簽錢包（至少 3/5 或 4/7）控制管理員功能。第四，漏洞賞金計畫（Bug Bounty）：Immunefi 上有沒有高額的漏洞賞金，反映協議是否認真對待安全。
審計報告說「無重大漏洞」，為什麼還是會被駭？
幾個原因讓「有審計」不等於「一定安全」。第一，審計是靜態快照：審計在某個時間點對某個版本的程式碼做評估；之後若協議升級了新版本但沒有重新審計，之前的審計就無效了。第二，審計不能保證零漏洞：安全專家也是人，複雜的業務邏輯漏洞有時非常隱晦，即使是 Trail of Bits、OpenZeppelin 這種頂尖機構也可能遺漏。第三，多個合約的交互作用（Composability）是新的攻擊面：單獨審計每個合約可能沒問題，但它們組合起來的行為可能引入新漏洞——Flash Loan 攻擊就是利用多個協議組合產生的意外行為。所以審計是必要條件，不是充分條件。最硬的保護還是「長期沒被駭的時間考驗」加「高額 Bug Bounty 讓白帽黑客願意報告而不是竊取」。
進階：「形式化驗證（Formal Verification）」是比審計更嚴格的安全手段嗎？
是，但是有侷限。形式化驗證（Formal Verification）是用數學方法對程式碼的邏輯進行嚴格的形式化證明，確認它在所有可能的輸入條件下都能按預期行為——不只是「我測了幾種情況，沒發現問題」，而是「我數學上證明了它在任何情況下都不會出問題」。這比傳統的代碼審計更嚴格、更全面。缺點是：成本極高（只有頂尖 DeFi 協議負擔得起）、能驗證的性質需要被精確形式化定義（「這個合約不會把用戶資金轉到錯誤的地址」這種說法需要數學上精確描述）、而且形式化驗證只能確保規格（specification）的正確性，如果規格本身就寫錯了，驗證也沒用。目前 DAI/USDS 的核心合約、以及 Aave 的部分關鍵組件有使用形式化驗證，但它依然是輔助工具，不是替代人工審計和 Bug Bounty 的萬能方案。
Euler Finance 2023 年駭客事件：1.97 億美元損失的教訓
2023 年 3 月，DeFi 借貸協議 Euler Finance 被黑客利用智能合約邏輯漏洞，一次性竊取約 1.97 億美元的資產（包含大量穩定幣）。攻擊利用了 Euler 的「donate to reserve」功能的邏輯缺陷，配合閃電貸放大了損失規模。
Euler 有接受過知名機構的安全審計，但那個特定的 donate 功能在攻擊者的利用方式下產生了審計沒有完全涵蓋的邊界條件。
事後，Euler 進行了漫長的談判，最終白帽黑客（實際上是被抓到的攻擊者）歸還了約 95% 的資金；但用戶仍然有長達數週無法存取資金的期間。
這跟你的錢有什麼關係：Euler 是「有審計、有名氣、有 TVL」的藍籌協議，卻還是出事了。這說明即使你做了功課，也要記得智能合約風險永遠不是零——只放你輸得起的金額到 DeFi，是比「選好協議」更根本的原則。
智能合約風險的核心取捨：無需信任任何人類中介（代碼即法律）↔ 代碼出錯時無人能阻止損失，且通常不可逆
智能合約的核心價值主張是「去中介化」——你不需要信任銀行、律師或任何機構，代碼的邏輯就是規則。但這把雙刃劍的另一面是：當代碼有漏洞時，沒有人能按下暫停鍵，沒有客服可以凍結交易，沒有法院令能立即阻止。2023 年 Euler Finance 事件中，$1.97 億在 6 行代碼的漏洞被利用後的幾分鐘內消失。合約越複雜，潛在漏洞越多；整合越廣，同一個漏洞被放大的倍數越高。越去中心化、越自動執行的協議，越難事後修補；越保守、越有完善治理的協議，反而能更快速回應安全事件。
Missing Link：大多數人以為智能合約風險等於「被駭客攻擊」，但實際上很多最昂貴的漏洞，來自合約代碼邏輯上完全正確、卻在某個邊界條件下被意外觸發的行為。Euler Finance 的攻擊者沒有「破解」任何密碼——他們只是找到了一個代碼作者沒預期到的合法呼叫序列。這意味著即使是通過了頂級審計的合約，依然可能存在「審計當時不知道的攻擊向量」，因為攻擊者有無限時間找，審計師只有幾週。