我見過的最乾淨的預審計代碼庫獎（到目前為止）頒給：Aave v4。 儘管複雜性很高，但幾乎沒有任何人們在如此規模的代碼庫中預期會出現的“簡單”問題。 我懷疑這是一種謹慎設計、持續應用最佳實踐（例如，明確的舍入、檢查類型轉換）以及利用模糊測試和不變式的詳細測試套件的結合。

在高壓艙中小憩，真是讓你感覺煥然一新。

PSA：一位著名的「區塊鏈安全工程師」（@0xNickLFranklin）竟然是朝鮮的運營商......我注意到我自己的一些追隨者/互助者關注他。別難過，他欺騙了所有人，只是不要相信他給你的任何東西（至少）。