BTC/HKD+0.31%
ETH/HKD-0.06%
LTC/HKD+1.24%
DOT/HKD+0.45%
ADA/HKD-0.18%
SOL/HKD+0.84%
XRP/HKD+1.67%
DOGE/US+0.67%跨鏈DeFi借貸平臺KavaLabs已經通過CertiK對Harvest模塊的代碼系統進行了審計，成功驗證了應用的可信度。
用況簡介
Kava是一個基于CosmosSDK搭建的多資產、可互操作的DeFi平臺，可以提供抵押貸款和穩定幣USDX。
在幣安等金融科技巨頭的支持下，Kava正在通過首款應用Harvest.io擴大市場影響力，這是一個跨鏈貨幣市場產品，它將利用KavaDeFi的架構連接更廣泛的區塊鏈資產和虛擬貨幣。
代碼審查和審計流程
韓國金融服務委員會：已決定優先考慮對加密投資者保護的立法:金色財經報道，據韓國當地媒體報道，在目前正在制定的更全面的“數字資產基本法”之前，韓國金融當局和立法者正在尋求通過一項旨在保護數字資產投資者和防止不公平貿易行為的初步法案。金融服務委員會（FSC）已決定優先考慮對保護加密投資者至關重要的立法，最早于明年生效，因為建立更廣泛更全面的監管框架可能需要更多時間。
此前報道，韓國執政黨將于11月召開會議就《數字資產基本法》草案收集意見。[2022/11/1 12:05:05]
CertiK利用動態分析、靜態分析和人工審查技術對Harvest.io進行了全面的檢查。審計過程中特別注意了以下幾點：
Chainalysis研究總監：網橋安全性是“未解決的技術挑戰”:金色財經報道，區塊鏈軟件公司Chainalysis研究主管Kimberly Grauer表示，加密行業需要克服跨鏈橋的安全問題。她說，“網橋安全性是該行業尚未解決的技術挑戰，跨鏈橋作為主要的去中心化金融 (DeFi) 協議形式之一，已成為黑客廣泛攻擊的目標”。據Grauer稱，這對投資者和用戶構成了“聲譽風險”。
根據Chainalysis的調查結果，10月已經成為加密黑客事件發生最頻繁的月份，相關損失超過7.18億美元。[2022/10/18 17:29:39]
?針對常見和不常見的攻擊載體測試智能合約；
Meta推遲暑期實習生的招聘:8月6日消息，據市場消息，Meta已經推遲了暑期實習生的招聘。[2022/8/6 12:05:56]
?評估代碼庫，以確保符合當前的最佳做法和行業標準；
?確保合約邏輯符合客戶規格和使用意圖；
?將合約結構和執行情況與行業領先者搭建的同類智能合約進行對照；
?通過對整個代碼庫的逐行人工審查。
考慮到Harvest是基于CosmosSDK的模塊設計，CertiK的工程師按照CosmosSDK的官方指南，仔細檢查了范圍內的模塊。
Jack Dorsey宣布卸任Twitter董事會職務:金色財經報道，Block首席執行官、前Twitter首席執行官Jack Dorsey宣布卸任Twitter董事會職務，該決定從周三的股東大會開始生效。自從Dorsey卸任首席執行官后，他離開董事會的計劃就一直在實施。此前，該公司指出，Dorsey將留在董事會，直到他在2022年的股東大會上任期屆滿。據悉，推特在今日召開股東大會，而此次股東大會不會就馬斯克的收購交易進行投票。
金色財經此前報道，Dorsey在去年年底離開Twitter首席執行官職位后專注于Block。[2022/5/26 3:41:56]
此外，為了確保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等去中心化預言機。
來源：金色財經
火星財經APP一線消息,10月27日-28,由萬向區塊鏈主辦的第六屆區塊鏈全球峰會在上海舉行。會上,中國銀行前行長李禮輝發表了《區塊鏈：技術優勢與產業前景》的主旨演講,他表示,推動區塊鏈技術和產.
1900/1/1 0:00:00在金色財經成立四周年之際,特別策劃——“同行者”線上區塊鏈高峰論壇繼續進行,論壇為期6天,其間大咖云集,全方位解讀行業.
1900/1/1 0:00:00行情分析： 從4小時圖來看,布林帶收口偏下行運行狀態,行情在布林帶下軌與中軌區間運行,現位于408,5五日均線和10日均線呈死叉運行,RSI三線拐頭向上,MACD空頭能量柱縮量.
1900/1/1 0:00:00溫玥宛：10.27國際黃金價格回撤,多單進場時！黃金TD看漲405害怕,是因為你內心空白,對市場屬性不透徹！質疑,說明你除了質疑來安慰內心的茫然別無方法！交易的規則,就是阻力之下空.
1900/1/1 0:00:00OKEx晚報將在每日晚間為您帶來最新的行情,以及相關行業動態。幫助投資人在最短的時間內了解當日動態消息,更好的握把每日行情。 行情速遞 10月27日訊,BTC今日由跌轉漲,日內漲幅1.23%.
1900/1/1 0:00:00一年和半后,這是首次公布,JPM硬幣-摩根大通的內部?stablecoin??-現在和使用過程中由圓四小時的跨境支付的一個主要的跨國高科技公司.
1900/1/1 0:00:00
以太坊價格
