8月21日,火幣CTO程顯峰在火星財經POW’ER2019全球開發者大會上表示,當前智能合約需要比以往更強大的編程語言理論支持,對Facebook新推出的編程語言Move表示關注,“Move可能推動線性邏輯等特性在編程語言中廣泛應用”。
智能合約自1995年尼克薩博首次提出至今已有24年時間,2013年以太坊白皮書的出現使智能合約得到前所未有的關注與發展,彼時智能合約的安全性也在不斷經受考驗。在此前智能合約語言里,數字資產記賬采用Value方式,而Value可被隨意拷貝,且由于以太坊EVM支持遞歸調用,造成代碼編寫時容易出現重入漏洞。2016年,TheDAO因該漏洞丟失360萬個以太坊代幣。
TTI通證已接入火幣生態鏈Heco并完成的部署,即將正式上線:據官方消息,TTI通證接入火幣生態鏈已完成第一階段發展目標,現已進入第二階段,其Dapp也將于近期上線。
據悉,TTI目前已獲得Kenetic Capital、Digital Strategies 、ParafiCapital等多家投資機構數百萬美金融資。TTI將不斷豐富應用場景,并陸續支持使用TTI參與Heco鏈上DEX、借貸、預言機、跨鏈解決方案、穩定幣兌換、保險類等不同類型的優質項目存幣挖礦、借貸挖礦、流動性挖礦以及機槍池等。[2021/2/24 17:48:13]
北京時間6月18日,Facebook發布加密項目Libra白皮書,此外Facebook還發布了名為Move的智能合約編程語言,該語言吸收了傳統理論“線性邏輯”類型,用Resource代替Value作為記賬方式,將數字資產定義為“資源類型”,同時解決了重放漏洞問題,大大增強了語言的安全性。
動態 | 近250萬USDT從幣安轉移至火幣:根據Whale Alert報告,2,499,999個USDT剛剛從幣安轉移到一個未知地址,隨后又轉移至火幣。[2019/9/8]
Move語言一經推出被受到區塊鏈行業極客廣泛關注及追捧。程顯峰表示,火幣技術人員對于業內領先技術十分關注,現有計算機系統漏洞大多數是資源管理不當造成了,在此背景下以Move語言具有的線性邏輯特性十分重要,該語言可使開發者通過編譯器直接檢查資源是否泄漏。
公告 | 火幣Pro更新API簽名方案:火幣Pro發公告稱,因最近系統升級,同時更新了API簽名方案。新的簽名方案將在7月9日14:00生效。為了方便API用戶使用,提供了過渡期,時間為新加坡時間7月9日14:00至7月24日00:00。在過渡期間,火幣全球站將同時支持新舊兩種簽名驗證方式。在過渡期結束后,將只支持新的簽名驗證方式,所以API用戶需及時進行代碼修改。[2018/7/9]
他進一步表示,線性邏輯早在上世紀八九十年代就被關注并討論,在線性邏輯里資源只能且必須被使用一次,這對智能合約資產安全安全是至關重要的。在目前的智能合約中,資產實際上是以信息形式存在的,可以被不斷復制,我們需要靠挖礦過程中的共識來規避雙重支付等漏洞,而在線性邏輯中,資產是一種資源,這將有效解決當前智能合約存在的固有漏洞。
對于區塊鏈開發者,程顯峰建議“如果你想做智能合約,你一定要了解這些東西。線性邏輯和類型系統將成為未來這個領域的標準配置。現在區塊鏈行業反過來在技術創新上已經引領了現在普通的互聯網,反過來互聯網會把這些東西吸取進來,然后推動它的發展。”
由于Bitfinex為境外主體,所有管理層也并非美國居民。那么即便本次紐約高院下達了判決,在執法層面也會有相應的層層阻礙.
1900/1/1 0:00:00金色財經比特幣8月21日訊上周,達拉斯獨行俠隊成為了NBA聯盟里第二個接受比特幣支付門票和商品支付的球隊,第一個是薩克拉門托國王隊.
1900/1/1 0:00:00在時代變遷和科技進步的大背景下,區塊鏈技術作為新一代變革性的信息技術,正在各個領域內改變著人們的生活.
1900/1/1 0:00:001.李啟威調侃中本聰自證比特幣名字由來稱LTC由來是看檸檬茶公司名稱時靈光乍現李啟威發推特調侃疑似“中本聰”自證比特幣名字由來稱,Litecoin這個詞的起源不僅來自它是比特幣的“精簡”版本.
1900/1/1 0:00:002019年已經快走過2/3了,在比特幣的領漲下,今年整個行業都充滿了蓬勃的希望。IEO、Staking、DeFi……行業熱點一個接一個,但似乎沒有一個熱點與公鏈有關.
1900/1/1 0:00:00據DAppTotal.comDeFi專題頁面數據顯示:截至目前,已統計的30個DeFi項目共計鎖倉資金達11.2億美元,其中EOSREX鎖倉3.79億美元,占比33.94%.
1900/1/1 0:00:00