火幣CTO程顯峰：Facebook推出的Move語言值得關注_KAVA:MOVE

8月21日，火幣CTO程顯峰在火星財經POW’ER2019全球開發者大會上表示，當前智能合約需要比以往更強大的編程語言理論支持，對Facebook新推出的編程語言Move表示關注，“Move可能推動線性邏輯等特性在編程語言中廣泛應用”。

智能合約自1995年尼克薩博首次提出至今已有24年時間，2013年以太坊白皮書的出現使智能合約得到前所未有的關注與發展，彼時智能合約的安全性也在不斷經受考驗。在此前智能合約語言里，數字資產記賬采用Value方式，而Value可被隨意拷貝，且由于以太坊EVM支持遞歸調用，造成代碼編寫時容易出現重入漏洞。2016年，TheDAO因該漏洞丟失360萬個以太坊代幣。

火幣 DeFi Labs 已與 Kava Labs 達成戰略合作:據官方消息，火幣 DeFi Labs 已與 Cosmos 生態 DeFi 平臺 Kava Labs 達成戰略合作，目前Kava DeFi 平臺已支持 HBTC。

此外，近日于火幣 Global 上新挖礦專區上線的 \"鎖倉 HBTC, 領 Kava 獎勵\"，500 HBTC 的額度，在上線 5分鐘后即告售罄。

HBTC 是一種具備安全性且穩定錨定（1:1）的ERC20 BTC 資產，目前已被以太坊、HECO及 Cosmos 等公鏈支持，并已登陸20多家去中心化協議包含知名協議如 Kava、Curve、Harvest、C.R.E.A.M 等。

Kava 是一個提供多資產的 DeFi 平臺，它提供了穩定幣 (USDX)，借貸等一系列去中心化金融服務。[2021/3/15 18:45:36]

北京時間6月18日，Facebook發布加密項目Libra白皮書，此外Facebook還發布了名為Move的智能合約編程語言，該語言吸收了傳統理論“線性邏輯”類型，用Resource代替Value作為記賬方式，將數字資產定義為“資源類型”，同時解決了重放漏洞問題，大大增強了語言的安全性。

動態 | 火幣永續合約將于近期上線 收入將納入到HT的銷毀范圍內:2月15日，火幣全球站發布了2020年1月份HT運營月報。月報披露的近期規劃顯示，HBDM永續合約已開始內測，并將于近期上線。永續合約業務也將納入到HT的銷毀范圍內，具體方式和比例參照火幣全球站此前執行的公告。同時HBDM近期還將支持HT作為合約擔保資產，針對低風險用戶上線HT質押借幣合約資產，HT資產屬性得到進一步加強。市場分析人士表示，如果按照2019年火幣交割合約的增長速度，火幣永續合約預估將提升HT銷毀量30%以上。[2020/2/15]

Move語言一經推出被受到區塊鏈行業極客廣泛關注及追捧。程顯峰表示，火幣技術人員對于業內領先技術十分關注，現有計算機系統漏洞大多數是資源管理不當造成了，在此背景下以Move語言具有的線性邏輯特性十分重要，該語言可使開發者通過編譯器直接檢查資源是否泄漏。

公告 | 火幣全球站預計11月完成WICC主網切換:火幣全球站公告，火幣全球站將支持WICC的主網切換，切換工作預計將在11月中上旬完成[2018/10/18]

他進一步表示，線性邏輯早在上世紀八九十年代就被關注并討論，在線性邏輯里資源只能且必須被使用一次，這對智能合約資產安全安全是至關重要的。在目前的智能合約中，資產實際上是以信息形式存在的，可以被不斷復制，我們需要靠挖礦過程中的共識來規避雙重支付等漏洞，而在線性邏輯中，資產是一種資源，這將有效解決當前智能合約存在的固有漏洞。

對于區塊鏈開發者，程顯峰建議“如果你想做智能合約，你一定要了解這些東西。線性邏輯和類型系統將成為未來這個領域的標準配置。現在區塊鏈行業反過來在技術創新上已經引領了現在普通的互聯網，反過來互聯網會把這些東西吸取進來，然后推動它的發展。”

Tags：KAVAAVABTCMOVEkava幣能漲到多少AVA價格EBTCMarketMove

以太坊交易所