加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

火幣CTO程顯峰:Facebook推出的Move語言值得關注_EFI:defi幣官網

Author:

Time:1900/1/1 0:00:00

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

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

火幣DeFi實驗室新增Curve、Aave、Synthetix等10家區塊鏈項目加盟:火幣集團新組建的去中心化金融部門DeFi實驗室宣布Curve、Aave、Synthetix、Balancer、Zapper、Zerion、Loopring、Bitpie、Mykey和CoinGecko共十家頭部區塊鏈團隊已正式宣布加入其全球DeFi聯盟,成為聯盟第二批成員。至此,全球DeFi聯盟已有15名正式成員。

此前報道,8月中旬,該實驗室宣布發起成立全球DeFi聯盟,由全球中心化和去中心化金融服務商及平臺共同促成。全球DeFi聯盟由火幣DeFi實驗室聯合MakerDAO、Compound、NEST社區、dYdX共同發起,將共同推進DeFi的研發,建立通用協議和標準,促進全球跨境協作和生態系統的發展。[2020/9/15]

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

金色相對論丨火幣集團副總裁Will Huang:去中心化錢包可以保障保障用戶隱私與安全:在今日舉行的金色相對論中,火幣集團副總裁、火幣錢包CEO Will Huang談到如何保證數字資產安全時表示,保護自己私鑰安全是第一要義。此外用戶也要注意:

1、不要把資金長時間放在不知名、不靠譜的小交易所;

2、根據資產數量和用途分散存貯在去中心化軟件錢包和硬件錢包;

3、離線保存助記詞和私鑰,不要以任何形式透露給任何人此外,也要注意防范網絡風險和詐騙,比如核對網站域名,使用2FA驗證;

4、不貪圖便宜有防范意識,目前有一些騙子喜歡在用戶群以折扣價出售同名假幣等等,這些都需要用戶有判斷意識,不要輕易相信。

Will Huang表示,火幣錢包作為去中心化錢包,用戶助記詞/私鑰完全由用戶保管,用戶資產由且僅由用戶控制和管理;所有交易全部走鏈上,不存在提幣審核等人工干預,完全用戶自主操作。此外,火幣錢包依托火幣良好的安全聲譽以及強大的安全運維團隊,全方位確保用戶的隱私與安全,火幣錢包沒有賬戶體系,無法定位獲取到用戶的個人信息,對于注重隱私匿名的用戶是很好的選擇。[2020/4/7]

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

金色晨訊 | 袁煜明出任火幣中國CEO 日本交易所被黑客攻擊:1.李禮輝:區塊鏈等新技術正在重構金融服務模式。

2.火幣區塊鏈研究院院長袁煜明出任火幣中國CEO。

3.日本交易所Zaif因黑客攻擊損失近6000萬美元。

4.阿聯酋首都阿布扎比全球市場呼吁加密貨幣國際監管。

5.國際反洗錢組織或將推出虛擬貨幣反洗錢標準。

6.清華大學計算機系推出法定數字貨幣應用試驗引爭議。

7.比特幣ATM生產商General Bytes否認存在比特幣ATM惡意軟件。

8.美國NSA軟件泄露致非法加密采礦活動數量飆升。

9.首輛以比特幣形式付款的賓利車完成交易。[2018/9/20]

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

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

Tags:EFIDEFDEFI區塊鏈pefi幣在哪里可以交易defi幣官網DOGDEFI價格區塊鏈幣是什么幣

狗狗幣最新價格
2027年比特幣或被攻破?量子技術窮追不舍_區塊鏈:OneFinBank Coin

想要竊取比特幣?你要做的就是找到受害者16個字符的公鑰,并通過解決“橢圓曲線離散對數問題”來計算他們的私鑰。沒問題,如果用一臺普通的計算機,這將花費你大約6.5億年.

1900/1/1 0:00:00
8.20早間行情:比特幣再次沖擊1.1萬美金壓力位 主流幣縮量整理_MKR:makerdao代幣

比特幣在昨天放量突破10540美金后,一路上漲,今天早間再次小量上行,來到了10800-11000美金區間的壓力位置。從小時K線看,底部是逐步抬升的過程,顯示多頭略占優勢.

1900/1/1 0:00:00
一篇文章看透百度XuperChain系統架構_Chain:healthchain

本期「百度超級鏈學院」邀請來資深研發工程師,為各位開發者帶來超硬核解讀,揭秘百度XuperChain系統架構到底是怎樣的!背景百度XuperChain在2019年5月底正式宣布開源.

1900/1/1 0:00:00
大膽嘗試還是注定失敗?加密貨幣交易所INX Limited計劃通過IPO籌資_SEC:scrt幣sec

31QU編譯整理 文/小殼 據coindesk今日消息,美國證券交易委員會8月19日在官網上公布了一份招股說明書草案.

1900/1/1 0:00:00
關于火幣全球站FastTrack第七期投票(8月21日)細則_FAST:TRA

尊敬的用戶: 火幣全球站于新加坡時間8月21日正式開啟第七期FastTrack投票上幣,本期將沿用前幾期規則,對兩個候選項目進行一對一明票PK.

1900/1/1 0:00:00
BTC中長線低吸加倉的機會或將來臨_BTC:BTCB

日線整體仍處于三角區間內震蕩,當前已是第6次向下試探趨勢線支撐,反彈幅度越來越小,量能越來越弱,距離三角末端還有2周多的時間,在此期間BTC將會擇向變盤突破,操作上中長線還是等趨勢確立順勢而為.

1900/1/1 0:00:00
ads