BTC/HKD+0.18%
ETH/HKD+0.31%
LTC/HKD+2.14%
DOT/HKD+4.66%
ADA/HKD+8.46%
SOL/HKD-0.06%
XRP/HKD+1.23%
DOGE/US+1.92%跨鏈DeFi借貸平臺KavaLabs已經通過CertiK對Harvest模塊的代碼系統進行了審計，成功驗證了應用的可信度。
用況簡介
Kava是一個基于CosmosSDK搭建的多資產、可互操作的DeFi平臺，可以提供抵押貸款和穩定幣USDX。
在幣安等金融科技巨頭的支持下，Kava正在通過首款應用Harvest.io擴大市場影響力，這是一個跨鏈貨幣市場產品，它將利用KavaDeFi的架構連接更廣泛的區塊鏈資產和虛擬貨幣。
代碼審查和審計流程
Mysten Labs首席執行官尋求為一個Web3基金籌集超1億美元資金:金色財經報道，Sui 開發公司 Mysten Labs 首席執行官 Evan Cheng 正在尋求為一個 Web3 基金籌集超過 1 億美元的資金。[2023/2/16 12:11:22]
CertiK利用動態分析、靜態分析和人工審查技術對Harvest.io進行了全面的檢查。審計過程中特別注意了以下幾點：
?針對常見和不常見的攻擊載體測試智能合約；
?評估代碼庫，以確保符合當前的最佳做法和行業標準；
知情人士：Genesis曾與幣安就潛在投資進行談判:11月22日消息，據消息人士透露，加密借貸機構Genesis在FTX本月申請破產后面臨流動性危機，一直在尋求籌集至少10億美元的新資金，其中包括就潛在投資與幣安進行談判，但到目前為止融資尚未實現。
Genesis代表在電子郵件中表示，“沒有立即申請破產的計劃，目標是在不需要任何破產申請的情況下，以協商一致的方式解決目前的情況。公司繼續與債權人進行建設性的對話”。（彭博社）[2022/11/22 7:55:02]
?確保合約邏輯符合客戶規格和使用意圖；
加密稅務報告應用Binocs完成400萬美元融資:9月22日消息，加密稅務報告應用Binocs完成400萬美元融資，BEENEXT和Arkam領投，Accel、Saison Capital、Premji Invest、Blume和Better Capital參投，所籌資金將用于在美國、英國和澳大利亞等市場擴張，部分資金將用于產品開發以及Binocs為零售和機構投資者提供的上市團隊。
Binocs目前在美國、英國、澳大利亞、南非和印度符合稅收要求，可以在30分鐘內提供稅務報告，并計劃下個月增加更多市場。（TechCrunch）[2022/9/22 7:13:27]
?將合約結構和執行情況與行業領先者搭建的同類智能合約進行對照；
Loud宣布成立一家新母公司，專注于NFT、加密游戲等領域:金色財經報道，電子競技和游戲公司Loud宣布成立一家新的母公司Spacecaps，其部門專注于Solana驅動的NFT、加密游戲以及對粉絲的代幣化激勵。
Loud聯合創始人Matthew Ho表示?， Web3提供了與粉絲建立更多互利關系并徹底改革電子競技團隊模式的潛在方法。
我們開始尋找直接面向消費者的方式，并創造直接為我們的受眾增加價值的體驗，這樣做，讓我們能夠找到一種更可持續的方式來實現貨幣化并解決這一巨大的問題。[2022/9/2 13:03:31]
?通過對整個代碼庫的逐行人工審查。
考慮到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等去中心化預言機。
來源：金色財經
BTC凌晨行情分析： 日線圖來看,布林帶張口向上運行,K線刺破上軌后并未企穩,行情迅速回落,連續收取了兩根下陰線,幣價運行于布林帶上軌下方,下方受MA5日均線支撐,雖多頭多次反彈都失敗告終.
1900/1/1 0:00:00不是井里沒有水,而是挖的不夠深,不是成功來的慢,而是放棄速度快。得到一件東西需要智慧,放棄一樣東西則需要勇氣。手指臟了,大可不必把手指砍掉;帽子小了,大可不必把頭削掉.
1900/1/1 0:00:00據Decrypt10月26日消息,智能合約審計公司Quantstamp表示,Ethereum2.0幾乎已經準備好發布了.
1900/1/1 0:00:00今天周二,市場開始回調的一天!昨晚主流幣帶領一眾潛力幣和山寨幣集體跳水,滿屏飄綠,多空激戰了3個小時,空軍暫時鳴金收兵,多方收復小部分失地。唯有大餅穩坐釣魚臺,坐看潮起潮落,笑看云卷云舒.
1900/1/1 0:00:00XT.COM“猜幣價牛熊,享‘U’然自得”有獎競猜系列活動第九期TP專場火熱開始啦！Tokenswap是基于Whitecoin跨鏈生態的去中心化數字資產兌換平臺.
1900/1/1 0:00:00hi,各位FIL礦工小伙伴們~這里是IPFS資訊快車,想進filecoin技術交流群的以及與圈內大佬深入溝通,深入了解FIL的(+V:FIL101).
1900/1/1 0:00:00
比特幣行情
