8月21日,火幣CTO程顯峰在火星財經POW’ER2019全球開發者大會上表示,當前智能合約需要比以往更強大的編程語言理論支持,對Facebook新推出的編程語言Move表示關注,“Move可能推動線性邏輯等特性在編程語言中廣泛應用”。
智能合約自1995年尼克薩博首次提出至今已有24年時間,2013年以太坊白皮書的出現使智能合約得到前所未有的關注與發展,彼時智能合約的安全性也在不斷經受考驗。在此前智能合約語言里,數字資產記賬采用Value方式,而Value可被隨意拷貝,且由于以太坊EVM支持遞歸調用,造成代碼編寫時容易出現重入漏洞。2016年,TheDAO因該漏洞丟失360萬個以太坊代幣。
火幣生態鏈Heco上線項目HeCash總鎖倉量突破1.6億美金:1月8日,火幣生態鏈Heco鏈上最新數據顯示,在該生態鏈上線的算法穩定幣協議HeCash總鎖倉量突破1.6億美金,成為繼BAG項目后第二個鎖倉量破1億美金的生態鏈項目。
HeCash是建立在火幣生態鏈上開源的、無需審核的算法穩定幣協議。HeCash受Basis.cash啟發,結合火幣生態鏈的高效性能和低交易費用等特性,致力于為用戶帶來最佳的使用算法穩定幣體驗。[2021/1/8 16:43:50]
北京時間6月18日,Facebook發布加密項目Libra白皮書,此外Facebook還發布了名為Move的智能合約編程語言,該語言吸收了傳統理論“線性邏輯”類型,用Resource代替Value作為記賬方式,將數字資產定義為“資源類型”,同時解決了重放漏洞問題,大大增強了語言的安全性。
火幣已恢復TT充幣和提幣業務:據官方公告,Huobi Global現已恢復TT (ThunderCore) 的充幣和提幣業務。[2020/12/31 16:10:13]
Move語言一經推出被受到區塊鏈行業極客廣泛關注及追捧。程顯峰表示,火幣技術人員對于業內領先技術十分關注,現有計算機系統漏洞大多數是資源管理不當造成了,在此背景下以Move語言具有的線性邏輯特性十分重要,該語言可使開發者通過編譯器直接檢查資源是否泄漏。
動態 | 火幣周報:區塊鏈資產市值普遍下跌:火幣區塊鏈發布行業周報,研究顯示,本周區塊鏈資產市值普遍下跌,TOP100項目中94個項目市值有不同程度下跌。比特幣平均未確認交易數相比上周同期上升12.25%,以太坊平均未確認交易數相比上周同期增加21.24%。比特幣礦工費和以太坊礦工費大幅下降。TRON代碼活躍程度最高,Sponsify 成為telegram社區關注度最高的項目。[2018/8/7]
他進一步表示,線性邏輯早在上世紀八九十年代就被關注并討論,在線性邏輯里資源只能且必須被使用一次,這對智能合約資產安全安全是至關重要的。在目前的智能合約中,資產實際上是以信息形式存在的,可以被不斷復制,我們需要靠挖礦過程中的共識來規避雙重支付等漏洞,而在線性邏輯中,資產是一種資源,這將有效解決當前智能合約存在的固有漏洞。
對于區塊鏈開發者,程顯峰建議“如果你想做智能合約,你一定要了解這些東西。線性邏輯和類型系統將成為未來這個領域的標準配置。現在區塊鏈行業反過來在技術創新上已經引領了現在普通的互聯網,反過來互聯網會把這些東西吸取進來,然后推動它的發展。”
DragonEx開放平臺新產品上線公告 2019-08-19 親愛的用戶: DragonEx開放平臺將于2019年08月19日15:00上線新產品.
1900/1/1 0:00:00持倉LEO全場免手續費活動 2019-08-19 親愛的用戶: DragonEx的平臺幣DT已于8月16日上線Bitfinex,并開啟45天掛單交易免手續費的活動.
1900/1/1 0:00:00導讀 北京時間8月16日深夜,隸屬于洲際交易所集團旗下的數字通證期貨平臺Bakkt在官方博客發表文章稱已獲得紐約州金融服務廳的批準,將于9月23日正式上線BTC期貨合約.
1900/1/1 0:00:00據當地媒體CryptoKanoon,印度最高法院于今日繼續審理印度互聯網和移動通信協會和印度儲備銀行案件的聽證會.
1900/1/1 0:00:00風靡一時的Staking究竟價值幾何?如果說十年前橫空出世的比特幣開創了PoW時代,讓世界認識了“去中心化”,那么PoS的崛起,就是對于區塊鏈所蘊含的價值傳遞和個人權益的最好詮釋.
1900/1/1 0:00:00DragonEx上線GOI/USDT交易對 2019-08-19 親愛的用戶: DragonEx將于2019年8月20日18:00在創新區上線GOI/USDT交易對.
1900/1/1 0:00:00