KAVA:Kava Labs成功通過第三次CertiK審計 驗證Harvest.io的可信度_CERT

跨鏈DeFi借貸平臺KavaLabs已經通過CertiK對Harvest模塊的代碼系統進行了審計，成功驗證了應用的可信度。

用況簡介

Kava是一個基于CosmosSDK搭建的多資產、可互操作的DeFi平臺，可以提供抵押貸款和穩定幣USDX。

在幣安等金融科技巨頭的支持下，Kava正在通過首款應用Harvest.io擴大市場影響力，這是一個跨鏈貨幣市場產品，它將利用KavaDeFi的架構連接更廣泛的區塊鏈資產和虛擬貨幣。

代碼審查和審計流程

Binance已收購加密交易平臺Gopax多數股權:金色財經報道，Binance已收購韓國交易平臺Gopax多數股權，此次收購的資金來自Binance此前推出的10億美元的行業復蘇計劃，具體收購條款未披露。Gopax于2022年11月暫停了客戶提款，其母公司StreamiInc.為Genesis Global已知的10大債權人之一，Genesis也是Gopax提供的收益產品的合作伙伴。

Binance計劃通過向Gopax注資使得Gopax的收益產品GoFi可以進行客戶提款和利息支付。CZ表示，希望與Gopax一起進一步重建韓國的加密貨幣和區塊鏈行業。[2023/2/3 11:45:36]

CertiK利用動態分析、靜態分析和人工審查技術對Harvest.io進行了全面的檢查。審計過程中特別注意了以下幾點：

Celsius競標計劃已獲美國聯邦法官批準，可在年底前出售資產:10月25日消息，據外媒報道，加密借貸平臺 Celsius 的競標程序計劃已獲美國聯邦法官批準，該程序列出了出售平臺資產的步驟，并設定了一個時間表，允許其在年底前出售資產。其中 Celsius 計劃為零售資產業務征求出價，其中包括賬戶和 Token 余額、零售和機構貸款組合、兌換服務、質押平臺、支付功能、DeFi 部門以及它持有的任何加密資產，它還計劃為剩余資產征求投標，其中包括挖礦業務。

據悉，該命令規定了與可能出售資產相關的日期和截止日期，授權Celsius選擇一個潛在投標人，如果它選擇這樣做，必須得到法院和債權人的批準。該命令將12月12日定為最終投標的截止日期，如有必要，將在12月15日進行拍賣。一旦中標者被選中，12月22日將舉行一場出售聽證會，聽取任何反對意見或相關討論。該命令還包括任命一名消費者隱私監察員，將確保客戶信息在整個銷售過程中得到充分保護。（TheBlock）[2022/10/25 16:37:52]

?針對常見和不常見的攻擊載體測試智能合約；

CoinFLEX公布重組提案，債權人將擁有公司65%的股份:9月22日消息，加密貨幣交易所CoinFLEX公布重組提案，債權人將擁有公司65%的股份，CoinFLEX團隊將被分配15%，且隨著時間的推移，將投入員工股票期權計劃（ESOP），同時B輪投資者也將繼續成為重組公司的股東。隨后CoinFLEX會發布公司將立即采取的下一步措施，包括對提案進行投票的具體細節。

此前報道，8月份CoinFLEX已在塞舌爾申請重組，將尋求存款人和法院的批準，以向存款人發行rvUSD代幣、CoinFLEX股份和鎖定的FLEX代幣。[2022/9/22 7:12:46]

?評估代碼庫，以確保符合當前的最佳做法和行業標準；

Wintermute：將在黑客出售 OP 時買回并100%歸還資金:6月9日消息，針對因做市商 Wintermute 技術失誤導致 2000 萬枚 OP 代幣被盜，Wintermute發布聲明表示，這完全是 Wintermute 的過錯，因此我們將在每次攻擊者出售 OP 時購買（昨天開始購買第一百萬枚OP 代幣），我們知道它可能會在代幣中造成價格波動，并將盡最大努力使影響平滑。[2022/6/9 4:12:25]

?確保合約邏輯符合客戶規格和使用意圖；

?將合約結構和執行情況與行業領先者搭建的同類智能合約進行對照；

?通過對整個代碼庫的逐行人工審查。

考慮到Harvest是基于CosmosSDK的模塊設計，CertiK的工程師按照CosmosSDK的官方指南，仔細檢查了范圍內的模塊。

此外，為了確保Harvest智能合約的可信度，同時盡量減少在合約中發現的非故意狀態行為的可能性，審計團隊分析了狀態機的定義，同時監控由消息觸發的狀態轉換行為。

?“這是Kava第三次將其智能合約的完整性委托給CertiK。最新的審計結果展示了Kava專業級的代碼質量，并展示了其對現代行業標準的承諾。作為值得信賴的區塊鏈安全服務商，我們很高興能繼續與KavaLabs保持持續的合作關系。"

——CertiK專業服務全球負責人YvanNasr?

值得注意的建議

Harvest.io全面審計共完成4項提交，所有提交都是資料性的，在所審查的合約中沒有發現重大或關鍵問題。

KavaLabs團隊在落實CertiK團隊提出的建議時，展現了專業的精神和高尚的協作精神，能夠確保其對即將上線的平臺的信心。

最后，雙方以相互透明的方式對每個案例進行了闡述，完整的審計報告可以在此進一步接受大眾審查：https://shield.certik.foundation/vendors/kava

?“很高興能與擁有高標準的審計團隊CertiK合作，共同完成Harvest的跨鏈貨幣市場模塊審計。Harvest將在一上線就處理數百萬美元的資金，所以我們必須讓它通過強大的測試和審計。

用戶的資金安全是第一位的。通過這個正式的審計是我們的最后一步，讓我們有信心Harvest的代碼不僅符合我們的標準，而且超越了更廣泛的DeFi行業的標準。”

——?KavaLabsCEOBrianKerr?

關于Kava

Kava是一個金融服務和應用的跨鏈DeFiHub。基于Cosmos-SDK構建的Kava區塊鏈具有互操作性，能夠在廣泛的加密網絡中為用戶提供金融服務和應用。

Harvest.io是世界上首個跨鏈貨幣市場，也是首批搭建在KavaDeFiHub的應用之一。Harvest使加密用戶能夠使用主流加密貨幣進行借貸和賺取收益。

關于CertiK

CertiK是一家以技術為主導的區塊鏈安全公司，由耶魯大學和哥倫比亞大學的計算機科學教授創立，旨在證明智能合約和區塊鏈協議的安全性和正確性。

CertiK每一次審計都應用了不同的方式和檢測方法，從手動、靜態和動態分析，以確保項目針對已知攻擊和潛在漏洞進行檢查。CertiK依靠經驗豐富的工程師和安全審計師團隊，在項目上應用測試方法和驗證，創建了一個更加安全和強大的軟件系統。

CertiK已經為100多家客戶提供了高質量的審計和咨詢服務，包括幣安的BGBP和PaxosGold等穩定幣以及?BandProtocol和Tellor等去中心化預言機。

來源：金色財經

Tags：AVAKAVAERTCERTkava幣未來目標價kava幣價格預測Fastest AlertsCERT立方根

波場