8月21日,火幣CTO程顯峰在火星財經POW’ER2019全球開發者大會上表示,當前智能合約需要比以往更強大的編程語言理論支持,對Facebook新推出的編程語言Move表示關注,“Move可能推動線性邏輯等特性在編程語言中廣泛應用”。
智能合約自1995年尼克薩博首次提出至今已有24年時間,2013年以太坊白皮書的出現使智能合約得到前所未有的關注與發展,彼時智能合約的安全性也在不斷經受考驗。在此前智能合約語言里,數字資產記賬采用Value方式,而Value可被隨意拷貝,且由于以太坊EVM支持遞歸調用,造成代碼編寫時容易出現重入漏洞。2016年,TheDAO因該漏洞丟失360萬個以太坊代幣。
火幣將于21時起對6000萬USDT進行跨鏈調倉:據火幣官方披露,為持續滿足平臺不同鏈USDT的流動性需求,火幣將于21時起對6000萬USDT進行跨鏈調倉,此次調倉將會把6000萬TRC20 USDT轉換為ERC20 USDT。[2020/11/9 12:06:49]
北京時間6月18日,Facebook發布加密項目Libra白皮書,此外Facebook還發布了名為Move的智能合約編程語言,該語言吸收了傳統理論“線性邏輯”類型,用Resource代替Value作為記賬方式,將數字資產定義為“資源類型”,同時解決了重放漏洞問題,大大增強了語言的安全性。
公告 | 火幣場外交易平臺已于今日10時上線XRP交易:據火幣官方公告,火幣場外交易平臺已于今日10時上線XRP交易。[2019/3/6]
Move語言一經推出被受到區塊鏈行業極客廣泛關注及追捧。程顯峰表示,火幣技術人員對于業內領先技術十分關注,現有計算機系統漏洞大多數是資源管理不當造成了,在此背景下以Move語言具有的線性邏輯特性十分重要,該語言可使開發者通過編譯器直接檢查資源是否泄漏。
NEO上線火幣USDT市場創新區 漲幅達5.97%:今日下午2點NEO(小蟻)正式上線火幣Pro USDT市場創新區,現價650元,漲幅5.97%。
NEO,原名小蟻,NEO基于區塊鏈技術,將現實中的資產轉化為數字資產,通過智能合約實現智能管理,用戶選定數字證書認證機構實現身份認證。[2018/1/4]
他進一步表示,線性邏輯早在上世紀八九十年代就被關注并討論,在線性邏輯里資源只能且必須被使用一次,這對智能合約資產安全安全是至關重要的。在目前的智能合約中,資產實際上是以信息形式存在的,可以被不斷復制,我們需要靠挖礦過程中的共識來規避雙重支付等漏洞,而在線性邏輯中,資產是一種資源,這將有效解決當前智能合約存在的固有漏洞。
對于區塊鏈開發者,程顯峰建議“如果你想做智能合約,你一定要了解這些東西。線性邏輯和類型系統將成為未來這個領域的標準配置。現在區塊鏈行業反過來在技術創新上已經引領了現在普通的互聯網,反過來互聯網會把這些東西吸取進來,然后推動它的發展。”
尊敬的WBFex用戶: WBFex即將上線RCCC,在開放區上線RCCC/USDT交易對,具體情況如下:充值時間:2019/08/2210:00交易時間:2019/08/2315:00提幣時間:.
1900/1/1 0:00:008月23日,針對Tether將會發行錨定離岸人民幣的穩定幣這一消息,財經作家肖磊表示,Tether公司非常善于做公關,主要原因其實是Tether的主要用戶在中國.
1900/1/1 0:00:00古語有言,盛極必衰,物極必反。2019年的幣圈,IEO無疑是流行詞之一。在不到4個月的時間里,這種新型融資模式已經從OKEx、幣安、火幣等頭部交易所蔓延至眾多中小交易所,星星之火業已燎原.
1900/1/1 0:00:00根據美國專利商標局8月1日公布的一份文件顯示,沃爾瑪申請了基于區塊鏈的數字貨幣系統和方法專利。專利文件的主要內容包括以下幾個方面:一是專利的背景;二是通過與法定貨幣掛鉤來發行的數字貨幣;三是專利.
1900/1/1 0:00:00想了解第Ⅱ講課程的朋友,請掃圖中的二維碼。以下是第Ⅰ講課程的內容: 一、支撐位和壓力位 投資者在進實戰操作的時候,看到價格回調,心里難免有些擔心,此時最想知道價格回調到什么位置能夠停止下跌,即價.
1900/1/1 0:00:00尊敬的WBFex用戶: WBFex將于近期上線RCCC。 RCCC項目介紹: RCCC基于EOS開發,設計初衷就是讓藝術品愛好者和產業參與者進行方便快捷的信息交換及使用安全可靠的服務.
1900/1/1 0:00:00