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