鏈聞消息,跨鏈 DeFi 借貸平臺 Kava Labs 已經通過 CertiK 對 Harvest 模塊的代碼系統進行了審計,成功驗證了應用的可信度。CertiK 利用動態分析、靜態分析和人工審查技術對 Harvest.io 進行了全面的檢查。審計過程中特別注意了以下幾點: 針對常見和不常見的攻擊載體測試智能合約;評估代碼庫,以確保符合當前的最佳做法和行業標準;確保合約邏輯符合客戶規格和使用意圖;將合約結構和執行情況與行業領先者搭建的同類智能合約進行對照;通過對整個代碼庫的逐行人工審查。Harvest.io 全面審計共完成 4 項提交,所有提交都是資料性的,在所審查的合約中沒有發現重大或關鍵問題。

來源鏈接