跨鏈 DeFi 借貸平臺 Kava Labs 已經透過 CertiK 對 Harvest 模組的程式碼系統進行了審計，成功驗證了應用的可信度。用況簡介Kava 是一個基於 Cosmos SDK 搭建的多資產、可互操作的 DeFi 平臺，可以提供抵押貸款和穩定幣 USDX 。在幣安等金融科技巨頭的支援下， Kava 正在透過首款應用 Harvest.io 擴大市場影響力，這是一個跨鏈貨幣市場產品，它將利用 Kava DeFi 的架構連線更廣泛的區塊鏈資產和虛擬貨幣。程式碼審查和審計流程CertiK 利用動態分析、靜態分析和人工審查技術對 Harvest.io 進行了全面的檢查。審計過程中特別注意了以下幾點：

• 針對常見和不常見的攻擊載體測試智慧合約；• 評估程式碼庫，以確保符合當前的最佳做法和行業標準；• 確保合約邏輯符合客戶規格和使用意圖；• 將合約結構和執行情況與行業領先者搭建的同類智慧合約進行對照；• 透過對整個程式碼庫的逐行人工審查。考慮到 Harvest 是基於 Cosmos SDK 的模組設計， CertiK 的工程師按照 Cosmos SDK 的官方指南，仔細檢查了範圍內的模組。

此外，為了確保 Harvest 智慧合約的可信度，同時儘量減少在合約中發現的非故意狀態行為的可能性，審計團隊分析了狀態機的定義，同時監控由訊息觸發的狀態轉換行為。 “這是 Kava 第三次將其智慧合約的完整性委託給 CertiK 。最新的審計結果展示了 Kava 專業級的程式碼質量，並展示了其對現代行業標準的承諾。作為值得信賴的區塊鏈安全服務商，我們很高興能繼續與 Kava Labs 保持持續的合作關係。"—— CertiK 專業服務全球負責人 Yvan Nasr 值得注意的建議Harvest.io 全面審計共完成4項提交，所有提交都是資料性的，在所審查的合約中沒有發現重大或關鍵問題。Kava Labs 團隊在落實 CertiK 團隊提出的建議時，展現了專業的精神和高尚的協作精神，能夠確保其對即將上線的平臺的信心。最後，雙方以相互透明的方式對每個案例進行了闡述，完整的審計報告可以在此進一步接受大眾審查：https://shield.certik.foundation/vendors/kava

 “很高興能與擁有高標準的審計團隊 CertiK 合作，共同完成 Harvest 的跨鏈貨幣市場模組審計。Harvest 將在一上線就處理數百萬美元的資金，所以我們必須讓它透過強大的測試和審計。使用者的資金安全是第一位的。透過這個正式的審計是我們的最後一步，讓我們有信心 Harvest 的程式碼不僅符合我們的標準，而且超越了更廣泛的 DeFi 行業的標準。”——  Kava Labs CEO Brian Kerr 關於 KavaKava 是一個金融服務和應用的跨鏈 DeFi Hub 。基於 Cosmos-SDK 構建的 Kava 區塊鏈具有互操作性，能夠在廣泛的加密網路中為使用者提供金融服務和應用。Harvest.io 是世界上首個跨鏈貨幣市場，也是首批搭建在 Kava DeFi Hub 的應用之一。Harvest 使加密使用者能夠使用主流加密貨幣進行借貸和賺取收益。關於 CertiK

CertiK 是一家以技術為主導的區塊鏈安全公司，由耶魯大學和哥倫比亞大學的電腦科學教授創立，旨在證明智慧合約和區塊鏈協議的安全性和正確性。CertiK 每一次審計都應用了不同的方式和檢測方法，從手動、靜態和動態分析，以確保專案針對已知攻擊和潛在漏洞進行檢查。CertiK 依靠經驗豐富的工程師和安全審計師團隊，在專案上應用測試方法和驗證，建立了一個更加安全和強大的軟體系統。CertiK 已經為100多家客戶提供了高質量的審計和諮詢服務，包括幣安的 BGBP 和 Paxos Gold 等穩定幣以及 Band Protocol 和 Tellor 等去中心化預言機。