以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > USDT > Info

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

Author:

Time:1900/1/1 0:00:00

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

用況簡介

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

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

代碼審查和審計流程

派盾:名為“IPO”的項目疑似發生Rug Pull,損失約10.2萬美元:6月20日消息,據派盾監測,區塊鏈孵化平臺IPO發生Rug Pull,損失約10.2萬美元;IPO Token下跌32%,被盜資金存放于0x35fe...fc7b地址。[2023/6/20 21:48:59]

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

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

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

研究:加密ETP在到2022年的數量增長50%:金色財經報道,Fineqia International Inc .的研究表明,ETP的數量在12月增加了53個,從1月的109個增加到162個。相反,到2022年,其管理的總資產降至價值的三分之一,從585億美元降至200億美元。BTC價格下跌65%,而ETH下跌68%。去年12月,ETP的管理資產下降了5%,而加密貨幣的價值下降了8%,降至約8億美元。這意味著2022年的總損失為64%,而去年1月為2.2萬億美元。[2023/1/18 11:17:33]

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

Aave創始人:Aave社區正準備在以太坊上部署Aave V3:金色財經報道,Aave創始人Stani Kulechov發推表示,“現在,Aave社區正準備在以太坊上部署Aave V3”。[2022/12/4 21:20:36]

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

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

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

Band Protocol已下架FTT并將其從BandChain中刪除:11月14日消息,跨鏈預言機Band Protocol在推特上表示,Band Protocol監控資產價格以確保它們符合Band標準。由于最近發生的事件和當前的市場情況,我們已將FTT下架并將其從BandChain中刪除,以保護我們的客戶和終端用戶。

此前11月10日消息,Band Protocol已從數據源中刪除FTX。[2022/11/14 13:02:52]

此外,為了確保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:AVAKAVAERTCERAvakuskava幣前景CERTceres幣能發財嗎

USDT
趨勢解幣:10/27目前的比特幣大盤終將何去何從?散戶怎樣應對最佳?_NFT

交易的過程本就是不斷分析、修正和執行的過程,其間交易的時間并不多,更多的是跟蹤和忍耐。這是一個綜合考察心態、考驗人性的過程,交易者的各種習性在交易過程中都會被展現無遺和放大.

1900/1/1 0:00:00
牛市還是熊市?專業交易員不在乎!每個交易員都應該知道的三種策略_TIGER

那些剛開始投資的人可能會認為,專業交易員夜以繼日地分析市場并選擇最佳交易,但事實根本不是這樣。頂級交易員與普通交易員的不同之處并不在于他們眼光犀利,而是他們能夠運用久經考驗的策略長期保持凈收益.

1900/1/1 0:00:00
10/26以太坊晚間最新行情分析及精準策略 斯妮解幣_ETH

斯妮前言——— ?????????????市場瞬息多變,要想在合約市場里長久的走下去,必須要保持一個冷靜的頭腦和良好的心態,一個成功的交易者所依靠的并不是一門獨特的技術指標分析.

1900/1/1 0:00:00
以太坊2.0即將到來,看漲or看跌?虎符平臺幣繼續暴跌,原因為何?_以太坊

寫在文前 虎符 Hoo暴跌之后再贏暴跌,玩Hoo近1個月,我終于被套了,常言道“常在河邊走哪有不濕鞋”。昨天0.13U和0.12U附近分別建倉,然后就看到了現在的0.11U.

1900/1/1 0:00:00
中國區塊鏈的發源地_區塊鏈

  大家晚上好,我是,今天我們要講的內容是:車庫咖啡—中國區塊鏈發源地  2011年區塊鏈技術進入中國,最初接觸這類技術的有兩類人,一類以挖礦為主,并在2011至2014年.

1900/1/1 0:00:00
BitMart 創始人兼CEO Sheldon 出席繁星之夜酒會并做開場演講_BIT

10月27日,「"BitMart·繁星之夜"——資本·NFT·存儲·波卡」區塊鏈酒會在上海外灘3號成功舉辦.

1900/1/1 0:00:00
ads