ALU:火幣CTO程顯峰：Facebook推出的Move語言值得關注_value幣團隊

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

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

火幣火星計劃首期結束：超5.5萬人次參與 UID436940364成首位太空候選人:據官方消息，7月20日，火幣火星計劃通過Huobi Live直播抽取首位太空候選人。最終，UID為436940364的幸運用戶成為火星計劃首位太空候選人，并獲得火幣180天現貨交易0費率超級權益。據悉，該計劃首期活動起始于6月14日，截止于7月15日。活動期間，累計55,190人次參與；太空NFT共鑄造20,359個（均由火幣補貼Gas費用，合計超數百萬枚TRX）；火幣平臺各類獎勵發放20,107次，日均600余次。

此外，火星計劃第二期活動預計于7月底或8月初啟動。為圓普通人的太空夢，火幣于今年4月首次對外公布火星計劃——豪擲600萬美元推進商業航天與加密行業聯合，即通過系列活動篩選一位幸運用戶與火幣全球顧問委員會成員孫宇晨共赴太空之旅，帶領加密行業邁向更廣闊的星辰大海。[2023/7/20 11:07:19]

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

火幣全球站已暫停CSPR充提業務:據官方公告，由于CSRP錢包升級，火幣全球站現已暫停CSPR的充提業務，恢復時間將以公告另行通知。[2021/7/15 0:53:41]

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

火幣全球站UNI/USDT逐倉杠桿交易對的杠桿倍數調整為3倍:據火幣全球站公告，現已調整 UNI/USDT 逐倉杠桿交易對的杠桿倍數，由2倍杠桿升級調整為3倍。[2020/10/10]

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

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

Tags：MOVMOVEALUACEmovr幣最新消息movez幣值得投資嗎value幣團隊PEACE價格

幣贏