BTC/HKD+0.15%
ETH/HKD-0.64%
LTC/HKD-0.95%
DOT/HKD-1.43%
ADA/HKD-1.71%
SOL/HKD-0.04%
XRP/HKD+1.21%
DOGE/US-3.7%跨鏈DeFi借貸平臺KavaLabs已經通過CertiK對Harvest模塊的代碼系統進行了審計，成功驗證了應用的可信度。
用況簡介
Kava是一個基于CosmosSDK搭建的多資產、可互操作的DeFi平臺，可以提供抵押貸款和穩定幣USDX。
在幣安等金融科技巨頭的支持下，Kava正在通過首款應用Harvest.io擴大市場影響力，這是一個跨鏈貨幣市場產品，它將利用KavaDeFi的架構連接更廣泛的區塊鏈資產和虛擬貨幣。
代碼審查和審計流程
Crypto.com宣布上線XRP:7月14日消息，Crypto.com宣布上線XRP，可使用美元、歐元、英鎊等20多種法定貨幣交易。[2023/7/14 10:54:25]
CertiK利用動態分析、靜態分析和人工審查技術對Harvest.io進行了全面的檢查。審計過程中特別注意了以下幾點：
?針對常見和不常見的攻擊載體測試智能合約；
?評估代碼庫，以確保符合當前的最佳做法和行業標準；
?確保合約邏輯符合客戶規格和使用意圖；
?將合約結構和執行情況與行業領先者搭建的同類智能合約進行對照；
Web3電子郵件平臺Mailchain新增支持.bnb和.arb域名:5月22日消息，Web3電子郵件平臺Mailchain宣布通過與SPACE ID集成現已支持Arbitrum的.arb和BNB Chain的.bnb域名。域名所有者需要創建一個Mailchain賬戶，使用持有域名的地址進行綁定后，即可使用Mailchain發送或接收郵件并與應用、DAO、項目或社區進行交互。[2023/5/22 15:19:14]
?通過對整個代碼庫的逐行人工審查。
考慮到Harvest是基于CosmosSDK的模塊設計，CertiK的工程師按照CosmosSDK的官方指南，仔細檢查了范圍內的模塊。
七彩虹推出首款NFT系列，將于3月16日免費空投:金色財經報道，DIY硬件廠商七彩虹科技宣布正式推出首款NFT系列——Heir of thunder系列Passcard，該系列隸屬于CVN Lab，鑄造在以太坊上（ERC-721標準），將于3月16日向符合條件的參與者進行免費空投。該Passcard是七彩虹Web3及元宇宙社區的通行證。[2023/3/8 12:49:38]
此外，為了確保Harvest智能合約的可信度，同時盡量減少在合約中發現的非故意狀態行為的可能性，審計團隊分析了狀態機的定義，同時監控由消息觸發的狀態轉換行為。
Poloniex暫停對BSC網絡上Stablecoin支持:金色財經報道，加密貨幣交易所Poloniex宣布，從11月24日起，將停止BSC網絡上穩定幣的存取款功能。其中包括USDT、USDC、TUSD和BUSD。[2022/11/25 8:06:26]
?“這是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等去中心化預言機。
來源：金色財經
截止目前為止,有2231個比特幣地址持有至少1000個BTC。以當前價格計算,1000BTC約為1300萬美元.
1900/1/1 0:00:00http://news.sohu.com/20201026/n530365722.shtmlhttp://business.sohu.com/20201026/n530365722.
1900/1/1 0:00:00人類社會已經進入產業互聯網時代,數字科技將以更加迅猛的速度覆蓋到生產生活的方方面面,產業信息化、數字化浪潮下,超大規模萬物互聯帶來的網絡協同效應孕藏著巨大的財富和發展機遇.
1900/1/1 0:00:00http://news.sohu.com/a/427709325_547536http://news.sohu.com/a/427709325_547536http://news.sohu.
1900/1/1 0:00:00逸戈談幣：10.26BTC/ETH晚間間行情分析????從行情層面來看：BTC在經歷了一波拉升后回到13000附近震蕩修正,昨日整體空間相比于之前來說不算太大.
1900/1/1 0:00:00投資股市最大的風險其實并不是價格的上下起伏,而是你的投資未來會不會出現永久性的虧損。單純的股價下跌不僅不是風險,簡直就是機會.
1900/1/1 0:00:00
加密貨幣交易所
